[TYPES] ICALP'05 CALL FOR PARTICIPATION

[Luis Caires]

                  CALL FOR PARTICIPATION - ICALP'05

                 32nd International Colloquium on
               Automata,  Languages and Programming
                July 11-15, 2005, Lisboa, Portugal

                  *** PROGRAM NOW AVAILABLE ***

            web: icalp05(dot)di(dot)fct(dot)unl(dot)pt

    *** EARLY REGISTRATION DEADLINE 31 May 2005 APPROACHING  ***

The 32nd International Colloquium on Automata, Languages and
Programming, the main conference and annual meeting of the European
Association for Theoretical Computer Science EATCS, will take place
from the 11th to the 15th of July 2005 in Lisbon, Portugal.

During 5 conference days and two weekends, ICALP'05 will give you the
opportunity to choose between 113 regular papers, 7 invited lectures,
including the EATCS Award Lecture, and 8 thematic workshops. 

The full program and registration information can be found at the
conference website.

TRACKS
------

(A) Algorithms, Automata, Complexity and Games
(B) Logic, Semantics, and Theory of Programming 
(C) Security and Cryptography Foundations

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)

SPECIAL EVENTS
--------------

EATCS Award Ceremony

The EATCS Award is given in recognition of a distinguished
career in theoretical computer science.
During ICALP 2005, Robin Milner (Cambridge) will receive
the EATCS Distinguished Achievements Award 2005.  

TCS 30th Anniversary Ceremony

Special attention will be given to the 30th anniversary of
the journal Theoretical Computer Science.
During the ceremony, a prize will be awarded to the author
of the most highly cited article published in
TCS since Volume 1: Issue 1.

CO-LOCATED CONFERENCE
---------------------

PPDP'05, the 7th ACM-SIGPLAN International Conference on Principles
and Practice of Declarative Programming, will be co-located with
ICALP'05, taking place from 11-13 July 2005.

SATELLITE EVENTS
----------------

ICALP'05 will feature a combination of satellite events, which will
take place in the surrounding weekends. Consult the website for
further details.

ARSPA: 2nd Workshop on Automated Reasoning for Security Protocol
Analysis

COSMICAH: 1st International Workshop on Verification of COncurrent 
Systems with dynaMIC Allocated Heaps

DCM: 1st International Workshop on New Developments in Computational
Models

PDMC: 4th International Workshop on Parallel and Distributed Methods in 
VerifiCation

PCC: 4th International Workshop on Proof Theory, Computation, Complexity

SD: Structures and Deduction---The Quest for the Essence of Proofs

SOS: 2nd Workshop on Structural Operational Semantics

WSA: Workshop on Semigroups and Automata