Workshops

Pre-conference: 9-10 July 2005.
Post-conference: 16-17 July 2005.

The workshops site is in the Instituto Superior Tecnico (IST), at the Congress Center (this is a different place than the main ICALP'05 venue, which is the Gulbenkian Foundation). Please look at the getting around instructions to find your way to and from IST.

• ARSPA: 2nd Workshop on Automated Reasoning for Security Protocol Analysis (July 16)
  Pierpaolo Degano (co-chair) and Luca Vigano (co-chair)

• COSMICAH: 1st International Workshop on Verification of COncurrent Systems with dynaMIC Allocated Heaps (July 10)
  Dino Distefano, Radu Iosif, and Peter O'Hearn

• DCM: 1st International Workshop on New Developments in Computational Models (July 10)
  Maribel Fernandez (co-chair) and Ian Mackie (co-chair)

• PDMC: 4th International Workshop on Parallel and Distributed Methods in VerifiCation (July 10)
  Lubos Brim, Martin Leucker (co-chair), and Jaco van de Pol (co-chair)

• PCC: 4th International Workshop on Proof Theory, Computation, Complexity (July 16 and 17)
  Birgit Elbl, Reinhard Kahle, and Isabel Oitavem

• SD: Structures and Deduction---The Quest for the Essence of Proofs (July 16 and 17)
  Paola Bruscoli, Francois Lamarche (chair), Charles Stewart

• SOS: 2nd Workshop on Structural Operational Semantics (July 10)
  Peter D. Mosses and Irek Ulidowski

• WSA: Workshop on Semigroups and Automata (July 16)
  V. H. Fernandes, G.M. S. Gomes, J.-E. Pin (chair), and M. V.Volkov

Workshop Organization Chairs