Satellite Events of FLOPS 2004

The following event are planned in conjunction with FLOPS 2004.

ALPS: Workshop on Algebra and Logic on Programming Systems


More workshop proposals are welcome (contact: Yukiyoshi Kameyama at flops@logic.is.tsukuba.ac.jp).

Back to FLOPS 2004 Top Page