Workshop on Algebra and Logic on Programming Systems (ALPS)

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 metatheories.

ALPS will consist of two sessions:

- "Algebra" session, which discusses algebraic foundations, methods, and applications.
Topics include: domain theory, category theory, algebraic specification, denotational semantics

- "Logic" session, which is devoted for logical foundations and applications.
Topics include: proof theory, type theory, modal logic, temporal logic, linear logic, logical frameworks


Campus Plaza Kyoto (north west side of JR Kyoto station, next to the Post Office)
Conference Room 2 (2nd Floor)

A map of JR Kyoto Station is found here. In this map

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:


The meeting will be open to everyone, and there will be no registration fee. However, due to space limitation, we need to know the rough number of participants. 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 JTB. Please directly contact JTB by e-mail at:
Since it is a very busy season, an early arrangement is strongly recommended.
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)


Masahito Hasegawa
RIMS, Kyoto University
hassei at
Japan Alps: The prominent 3,000 meter class mountainous regions in the centre of Japan. Also known as "the roof of Japan".

Mt. Fuji: 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.

Mt. Lambda: Instead, you might be interested in looking at (or even climbing) Mt. Lambda (466 meter high) in Kyoto...

[ Google "Japan Alps" | Google "Mt. Fuji" | Google "Mt. Lambda" ]

Last Updated on 30 March 2004 by Masahito Hasegawa