AI Europe 2016

  Partnership between AISB and AI Europe 2016: Next December 5th and 6th in London, AI Europe will bring together the European AI eco-system by gathering new tools and future technologies appearing in professional fields for th...


Read More...

AISB convention 2017

  In the run up to AISB2017 convention (http://aisb2017.cs.bath.ac.uk/index.html), I've asked Joanna Bryson, from the organising team, to answer few questions about the convention and what comes with it. Mohammad Majid...


Read More...

Harold Cohen

Harold Cohen, tireless computer art pioneer dies at 87   Harold Cohen at the Tate (1983) Aaron image in background   Harold Cohen died at 87 in his studio on 27th April 2016 in Encintias California, USA.The first time I hear...


Read More...

Dancing with Pixies?...

At TEDx Tottenham, London Mark Bishop (the former chair of the Society) demonstrates that if the ongoing EU flagship science project - the 1.6 billion dollar "Human Brain Project” - ultimately succeeds in understanding all as...


Read More...

Computerised Minds. ...

A video sponsored by the society discusses Searle's Chinese Room Argument (CRA) and the heated debates surrounding it. In this video, which is accessible to the general public and those with interest in AI, Olly's Philosophy Tube ...


Read More...

Connection Science

All individual members of The Society for the Study of Artificial Intelligence and Simulation of Behaviour have a personal subscription to the Taylor Francis journal Connection Science as part of their membership. How to Acce...


Read More...
012345

Notice

AISB event Bulletin Item

CF participation: ICALP 2008 Automata, Languages and Programming

http://www.ru.is/icalp08

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/