[Om-announce] ICALP 2008: Call for Participation

Luca Aceto luca.aceto at gmail.com
Sun May 4 12:56:42 CEST 2008


___________________________________________________________________

            CALL FOR PARTICIPATION - ICALP'08

                   35th International Colloquium on
              Automata,  Languages and Programming

               July 6-13, 2008, Reykjavik, Iceland

                   http://www.ru.is/icalp08

___________________________________________________________________

The 35th International Colloquium on Automata, Languages and Programming,
the main conference and annual meeting of the European Association for
Theoretical Computer Science (EATCS) will be held from the 6th to the 13th
of July 2008 on the premises of Reykjavik University in Reykjavik, Iceland.
The main conference will take place from the 7th till the 11th of July, and
will be preceded and followed by 13 co-located events. (See
http://www.ru.is/icalp08/workshops.html for the list of events affiliated
with ICALP 2008.) In addition, the ETACS award 2008 to Leslie G. Valiant
(Harvard, USA) and the Goedel prize 2008 will be awarded at the conference.

Following the successful experience of the last three editions, ICALP 2008
will complement the established structure of the scientific program based on
Track A on Algorithms, Automata, Complexity and Games, and Track B on Logic,
Semantics, and Theory of Programming, corresponding to the two main streams
of the journal Theoretical Computer Science, with a special Track C on
Security and Cryptography Foundations The aim of Track C is to allow a
deeper coverage of a particular topic, to be specifically selected for each
year's edition of ICALP on the basis of its timeliness and relevance for the
theoretical computer science community.

The scientific programme for the conference is available at the following
URLs:

http://www.ru.is/icalp08/programme.html (programme overview)
http://www.ru.is/icalp08/Icalp08TrackAProg.html (track A)
http://www.ru.is/icalp08/programmeB.html (track B)
http://www.ru.is/icalp08/programmeC.html (track C).

Apart from the presentation of 126 selected contributions for the three
tracks, the conference will feature the following invited talks:

   * Ran Canetti (IBM T.J. Watson Research Center and MIT, USA)
    "*Composable Formal Security Analysis: Juggling Soundness, Simplicity
and Efficiency*"
   * Bruno Courcelle (Labri, Universite Bordeaux, France)
    "*Graph Structure and Monadic Second-order Logic: Language Theoretical
Aspects"*
   * Javier Esparza (Technische Universitaet Muenchen, Germany)
     "*Newtonian Program Analysis*"
   * Muthu Muthukrishnan (Google, USA)
     "*Internet Ad Auctions: Insights and Directions*"
   * Peter Winkler (Dartmouth, USA).

In addition, Peter Winkler will hold a master class on mathematical puzzles
on Tuesday, 8 July, and there will be talks by Leslie G. Valiant and the
recipient(s) of the Goedel
prize 2008 on Thursday, 10 July.

REGISTRATION
********************

Information on registration for the conference and affiliated events is
available at

http://www.ru.is/icalp08/registration.html

To register, visit the URL

http://skraning.iii.is/icalpreg.asp

We strongly recommend that you *register for the ICALP conference and book
accommodation before May 5th, as that date is the deadline for registering
at the lower fee.* After May 5th hotel rooms will also start to get released
since July is the prime holiday season in Iceland and the demand for hotel
accommodation is *very* high.

*NOTE:* For those who have *not* decided yet which workshop(s) they are
going to attend when registering for the conference, it is possible to
register for workshops at the lower fee until June 5th by sending an e-mail
to the Conference Secretariat at the address icalp2008 *AT* iii.is.


ORGANIZING COMMITTEE:
*********************

Luca Aceto
Magnus M. Halldorsson
Anna Ingolfsdottir

CONTACT ADDRESSES:
******************

Email: icalp08 *AT* ru.is
For further information see: http://www.ru.is/icalp08/


******************************
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://openmath.org/pipermail/om-announce/attachments/20080504/27622ff7/attachment.htm 


More information about the Om-announce mailing list