10 April 2004, Kyoto, Japan
Satellite Event of the
7th International Symposium on Functional
and Logic Programming (FLOPS2004), 7-9 April 2004, Nara, Japan
Description and Topics
This one-day informal meeting is intended to be a forum on semantic
and logical aspects of programming languages and related systems
including specification languages, formal calculi and their
ALPS will consist of two sessions:
- "Algebra" session, which discusses algebraic foundations, methods,
Topics include: domain theory, category theory,
algebraic specification, denotational semantics
- "Logic" session, which is devoted for logical foundations and
Topics include: proof theory, type theory, modal logic,
temporal logic, linear logic, logical frameworks
Campus Plaza Kyoto
(north west side of
station, next to the Post Office)
Conference Room 2 (2nd Floor)
A map of JR Kyoto Station is found
In this map
- Green 8 shows Post Office (next to the workshop venue)
- Green 14 shows the Kintestu Kyoto Station
- Blue 8,9,10 are the pratforms of JR Nara Line
Note for FLOPS participants: There is a frequent railway service
between Nara (the venue of FLOPS) and Kyoto which takes just 35 minutes
(Kintetsu line) or 40 minutes (JR line). Kintetsu Kyoto Station is
located on the south side of JR Kyoto Station.
Also there is a direct railway service from Kyoto to
Kansai International Airport (JR line, takes approx. 90 min.).
Programme and Abstracts
Featured speakers and topics:
- Thorsten Altenkirch (Why dependent types matter)
- Makoto Hamana (An initial algebra approach to
TRS with variable binders)
- Wolfram Kahl (Theory organisation for mechanised readable
calculational reasoning in allegories and heterogeneous Kleene algebras)
- Per Martin-Lof (A type theoretic analysis of Zermelo's axiom of choice)
- Carsten Schuermann (Functional programming in logical frameworks)
- Peter Selinger (Towards a model of higher-order quantum computation)
- Hideki Tsuiki (Bottomed streams in functional languages)
- Vincent van Oostrom ($\sqcup$)
The meeting will be open to everyone, and there will be no
However, due to space limitation, we need to know the rough number
If you are likely to come,
please send an email message with the subject line "ALPS participation" to
in advance (this also allows us to send you the latest information).
You can book accommodation around the workshop site through
Please directly contact JTB by e-mail at:
Since it is a very busy season, an early arrangement is strongly
For FLOPS participants:
Although there are frequent railway services between Nata and Kyoto,
for avoiding busy trafic on Saturday morning, it might be better to
come and stay around Kyoto station on the evening of 9th Friday
(and perhaps the evening of 10th too).
Masahito Hasegawa (RIMS, Kyoto University)
Atsushi Igarashi (Graduate School of Informatics, Kyoto University)
Masahiko Sato (Graduate School of Informatics, Kyoto University)
RIMS, Kyoto University
hassei at kurims.kyoto-u.ac.jp
The prominent 3,000 meter class mountainous regions
in the centre of Japan. Also known as "the roof of Japan".
The highest (3776 meter) mountain in Japan.
Note that some of the past FLOPS meetings were called
"Fuji International Symposium on Functional and Logic Programming"
after Mt. Fuji.
Unfortunately you cannot look at neither Japan Alps nor Mt. Fuji from
Kyoto and Nara, but there are good public transport to these
mountains if you love to visit them.
Instead, you might be interested in looking at (or even climbing)
Lambda (466 meter high) in Kyoto...
Google "Japan Alps" |
Google "Mt. Fuji" |
Google "Mt. Lambda"
Last Updated on 30 March 2004 by Masahito Hasegawa