27th ICALP Satellite Workshops 2000: Geneva, Switzerland

Fourth International Workshop on Randomization and Approximation Techniques in Computer Science (RANDOM 2000)

Workshop on Approximation and Randomized Algorithms in Communication Networks

Workshop on Boolean Functions and Applications

Workshop on Intersection Types and Related Systems (ITRS 2000)

Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT'00)

International Workshop on Process Algebra and Performance Modeling

a service of Schloss Dagstuhl - Leibniz Center for Informatics