CALL FOR PARTICIPATION - ICALP'05
32nd International Colloquium on
Automata, Languages and Programming
July 11-15, 2005, Lisboa, Portugal
http://icalp05.di.fct.unl.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
By the ICALP'05 Organizing Committee
Luis Caires
_______________________________________________
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell
