[TYPES] ICALP'05 CALL FOR PARTICIPATION
Luis.Caires at di.fct.unl.pt
Mon May 23 17:36:52 EDT 2005
CALL FOR PARTICIPATION - ICALP'05
32nd International Colloquium on
Automata, Languages and Programming
July 11-15, 2005, Lisboa, Portugal
*** PROGRAM NOW AVAILABLE ***
*** 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
(A) Algorithms, Automata, Complexity and Games
(B) Logic, Semantics, and Theory of Programming
(C) Security and Cryptography Foundations
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)
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.
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.
ICALP'05 will feature a combination of satellite events, which will
take place in the surrounding weekends. Consult the website for
ARSPA: 2nd Workshop on Automated Reasoning for Security Protocol
COSMICAH: 1st International Workshop on Verification of COncurrent
Systems with dynaMIC Allocated Heaps
DCM: 1st International Workshop on New Developments in Computational
PDMC: 4th International Workshop on Parallel and Distributed Methods in
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
More information about the Types-list