Satellite events of interest to the EATCS community will be held in the weekends preceding and following ICALP2003.
Pre-conference workshops (June 28-29)
- Algorithms for Massive Data Sets Cancelled!
Tutorials on algorithms for massive data sets, in particular addressing
data streams, by S. Muthu Muthukrishnan (Rutgers University and AT&T Shannon Labs), and cache oblivious transfers, by Erik D. Demaine (MIT).
Organisers: Gerth Brodal, and Rolf Fagerberg
- FGC Foundations of Global Computing
Workshop focussing on the fundamental aspects of global computing,
including calculi and models, security and algorithms, grid computing
and peer-to-peer systems.
Organiser: Vladimiro Sassone
- LCMAS Logic and Communication in Multi-Agent Systems
Workshop centered around the use of formal tools for the modelling,
specification and verification of multi-agent systems and for
reasoning about communication and updating in this context.
Organisers: Wiebe van der Hoek, Mike Wooldrige, Alessio Lomuscio, and Erik de Vink
- Quantum Computing
One day workshop for the theoretical computer science community at
large, aiming to give a flavour of the challenges and development of
this emerging field.
Organiser: Harry Buhrman
- SecCo Security Issues in Coordination Models, Languages and Systems
Workshop seeking to bridge the gap between security and coordination
research communities and covering topics of authentication, integrity,
privacy, etc. in coordination models, open distributed systems, mobile
ad-hoc networks, etc.
Organisers: Gianluigi Zavattaro, and Riccardo Focardi
- Stochastic Petri-Nets
Workshop to further the theory and application of stochastic modelling
and model-based analysis of systems using timed and stochastic Petri
nets as well as stochastic automata and process algebras.
Organiser: Peter Kemper
Post-conference workshops (July 4-5)
- Evolutionary Algorithms
Workshop promoting the topic of evolutionary algorithms in the
theoretical computer science community, providing tutorials and
overviews on several aspects of evolutionary computing, and reporting
on new developments and trends in the field.
Organiser: Thomas Baeck, and Marc Schoenaur
- Mathematics, Logic and Computation
Workshop in honour of N.G. de Bruijn at the occasion of his 85th
anniversary, concentrating on computational aspects of mathematics
such as lambda calculus and type theory, theorem proving and proof
checking, computer mathematics.
Organisers: Fairouz Kamareddine, and Herman Geuvers
- FUNN 2003
Workshop on the FUture of Neural Networks, focussing on the
foundational aspects of new developments such as biological plausible
neural nets, heterogeneous neural network aggregation, graphical
formalisms and independent component analysis.
Organisers: Sander Bohte, Joost Kok, Erkki Oja, and Michiel van Wezel
Organized in cooperation with the Dutch school for information and knowledge based systems (SIKS).