______________________________________________________________________
34th International Colloquium on Automata, Languages and Programming
ICALP'07 - CALL FOR PARTICIPATION
*** EARLY REGISTRATION DEADLINE: 31 May 2007 ***
Conference July 9-13, 2007, Wroclaw, Poland
http://icalp07.ii.uni.wroc.pl/
______________________________________________________________________
The 34th 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 9th to the 13th of July 2007 in Wroclaw, Poland.
Visit the Conference web site for details about the scientific
program, the social events and information and instructions for
registering to the conference.
The full program and registration information can be found at the
conference website.
CO-LOCATED EVENTS
*****************
* LICS 2007: 22nd Annual IEEE Symposium on Logic in Computer Science
* Logic Colloquium 2007
* PPDP 2007: 9th International Symposium on Principles and Practice
of Declarative Programming.
IMPORTANT DATES
***************
* Early Registration : May 31, 2007
* Hotel reservations : see http://july2007.ii.uni.wroc.pl/hotels.html
(some already expired!)
* Conference : July 9 - 13, 2007.
INVITED SPEAKERS
****************
Joint ICALP/LICS
* Gordon Plotkin (University of Edinburgh, UK)
* Michael O. Rabin (Harvard University, US)
ICALP
* Bernard Chazelle (Princeton University, US)
* Ivan Damgaard (Aarhus University, Denmark)
* Fedor Fomin (University of Bergen, Norway)
* Fred Schneider (Cornell University, US)
SATELLITE ICALP/LICS Workshops
******************************
* DCM 2007: 3rd International Workshop on Development of Computational
Models
* FCS-ARSPA 2007: Joint Workshop on Foundations of Computer Security
and Automated Reasoning for Security Protocol Analysis
* GOCP 2007: International Workshop on Group-Oriented Cryptographic
Protocols
* LCC 2007: 9th International Workshop on Logic and Computational
Complexity
* PAuL 2007: International Workshop on Probabilistic Automata and Logics
* SOS 2007: 4th Workshop on Structural Operational Semantics
* TRSH 2007: Theory of Randomized Search Heuristics
* TMCNAA 2007: Workshop on Traced Monoidal Categories, Network Algebras,
and Applications
* WCAN 2007: 3rd Workshop on Cryptography for Ad-hoc Networks
SCIENTIFIC PROGRAM
******************
Full details are available at: http://icalp07.ii.uni.wroc.pl/
__________________________________________________________________________
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
