[TYPES] ICALP'05 Invited Speakers and Workshop Announcements

Luis Caires Luis.Caires at di.fct.unl.pt
Wed Jan 12 19:07:29 EST 2005

Dear all,

We are pleased to provide some updated information
about ICALP'05. Apologies for multiple postings.

PS. The deadline for submissions is approaching (Feb 13).


                 32nd International Colloquium on
               Automata,  Languages and Programming
   Giuseppe Castagna (ENS Paris)
   John Mitchell (Stanford University)
   Leonid Libkin (University of Toronto)
   Burkhard Monien (Universitat Paderborn)
   Adi Shamir (Weizmann Institute)
   Leslie Valiant (Harvard University)

(A) Algorithms, Automata, Complexity and Games
(B) Logic, Semantics, and Theory of Programming 
(C) Security and Cryptography Foundations
ICALP'05 will feature a combination of satellite events, which will
take place in the surrounding weekends. The purpose of the workshops
is to provide participants a forum for presenting novel ideas, and to
discuss in a small and interactive atmosphere.  More information will
become available soon in the conference web site, and workshop web

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

COSMICAH: 1st International Workshop on Verification of COncurrent 
Systems with dynaMIC Allocated Heaps
Dino Distefano (co-chair), Matthew Dwyer, Radu Iosif (co-chair),
John Hatcliff, and Peter O'Hearn (chair)

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

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

PCC: 4th International Workshop on Proof Theory, Computation, Complexity
Birgit Elbl, Reinhard Kahle, and Isabel Oitavem

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

SOS: 2nd Workshop on Structural Operational Semantics
Peter D. Mosses and Irek Ulidowski

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

More information about the Types-list mailing list