ICALP' 2000
27th International Colloquium on
Automata, Languages and Programming
July 9-15, 2000, Geneva, Switzerland

Workshops

To collocate with Icalp, workshops are an opportunity to explore special topics.
Simultaneous submissions to the workshops and to other conferences with published proceedings are not allowed except to ICALP2000 with the understanding that if the paper is accepted to ICALP2000 then the paper will have to be withdrawn from the appropriate workshop immediately by sending an email message to the workshop's organizer.

Workshops already planned for 2000 include:

RANDOM 2000   ARACNE   Workshop on Boolean Functions and Applications   Workshop on Intersection Types and Related Systems (ITRS '00) (Program)   Workshop on Graph Transformation and Visual Modeling Techniques   Workshop on Process Algebra and Performance Models (PAPM 2000)   Workshop on Issues in the Theory of Security (WITS '00)