Workshops

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
  URL: http://www.brics.dk/massive03/
• 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

URL: http://www.cogs.susx.ac.uk/users/vs/fgc/
• 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

URL: http://www.win.tue.nl/~evink/lcmas03.html
• 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

URL: http://www.cwi.nl/themes/ins4/icalp03-quantum/
• 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

URL: http://cs.unibo.it/secco03/
• 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

URL: http://ls4-www.cs.uni-dortmund.de/home/kemper/WorkshopOnStochasticPetriNets2003.html

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

URL: http://www.win.tue.nl/icalp2003/EA-cfp.html
• 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
  URL: http://www.macs.hw.ac.uk/~fairouz/Bruijn03/
• 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
  URL: http://www.cwi.nl/~sbohte/funn/funn.html

Organized in cooperation with the Dutch school for information and knowledge based systems (SIKS).