Workshops
Workshops will take place in the two weekends before and after the ICALP'05
week: 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
António Ravara, Instituto Superior Técnico
Vasco Vasconcelos, Universidade de Lisboa
|