[TYPES] ICALP'05 Invited Speakers and Workshop Announcements

[Luis Caires]

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).

_________________________________________________________________________

                            ICALP'05
                 32nd International Colloquium on
               Automata,  Languages and Programming
                  http://icalp05.di.fct.unl.pt/
 
INVITED SPEAKERS
----------------
 
Joint ICALP/PPDP
   Giuseppe Castagna (ENS Paris)
   John Mitchell (Stanford University)
 
ICALP
   Leonid Libkin (University of Toronto)
   Burkhard Monien (Universitat Paderborn)
   Adi Shamir (Weizmann Institute)
   Leslie Valiant (Harvard University)

TRACKS
------
 
(A) Algorithms, Automata, Complexity and Games
(B) Logic, Semantics, and Theory of Programming 
(C) Security and Cryptography Foundations
 
SATELLITE EVENTS
----------------
 
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
pages.

ARSPA: 2nd Workshop on Automated Reasoning for Security Protocol
Analysis
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
Models
Maribel Fernandez (co-chair) and Ian Mackie (co-chair)

PDMC: 4th International Workshop on Parallel and Distributed Methods in 
VerifiCation
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