There are a little over 300 people signed up for ICALP and over 150 other colleagues will attend only some of the satellite events. This makes ICALP 2008 one of the best attended editions of the conference ever.
Full details about the conference and its 12 affiliated pre- and post-conference events are available at http://www.ru.is/icalp08. (See http://www.ru.is/icalp08/workshops.html for the workshops.) The programme of talks for the main conference may be found at
icalp2008programme.pdf(detailed programme) and
ataglance.pdf(programme at a glance).
- Comprehensive lectures (4h) on
- Introductory lectures (1h) on
The ICALP conference will have a very rich programme of contributed papers, which were selected from the programme committees from the 472 submissions they received. Here I limit myself to listing the invited talks that will be delivered at the conference and its affiliated workshops.
Sunday, 6 July, 2008:
08:40-09:30 M. Sotomayor, My encounters with David Gale (Match-up, Room 201)
09:00-09:45 Ashish Goel: Incentives based robust reputation and recommendation systems (Foundations of Information Management in Networks, Room 233)
09:00-10:00 Vincent Danos. A stochastic calculus of binding -- applications to the modelling of cellular signalling (SOS, Room 231a)
09:00-10:00 Andrej Bauer. Mathematically structured but not necessarily functional programming (MSFP, Room 235)
09:45-10:30 Maurizio Lenzerini: Integration and filtering of heterogeneous information (Foundations of Information Management in Networks, Room 233)
11:00-11:45 Muthu Muthukrishnan: Streaming and sampling algorithms for information aggregation in networks (Foundations of Information Management in Networks, Room 233)
11:00-11:50 K. Mehlhorn, Assigning papers to reviewers (Match-up, Room 201)
11:45-12:30 Giuseppe Persiano: Security of networks of low capability devices (Foundations of Information Management in Networks, Room 233)
14:00-14:45 Christian Scheideler: Algorithms for scalable and robust information systems (Foundations of Information Management in Networks, Room 233)
14:00-14:50 A. Roth, Kidney exchange: design and evolution of a computer-assisted matching mechanism (Match-up, Room 201)
14:00-15:00 Joseph Sifakis. Component-based construction of heterogenous real-time systems in BIP (Joint ICE and SOS, Room 231a)
14:00-15:00 Dan Piponi. Some elementary algebra and calculus of types and "antidiagonal" types. (MSFP, Room 235)
16:00-17:00 Dale Miller. Formalizing SOS specifications in logic (SOS, Room 231a)
Monday, 7 July, 2008:
09:00-10:00: Muthu Muthukrishnan, Internet Ad Auctions: Insights and Directions (ICALP, Room 131a-b)
Tuesday, 8 July, 2008:
09:00-10:00 Ran Canetti, Composable Formal Security Analysis: Juggling Soundness, Simplicity and Efficiency (ICALP, Room 131a-b)
16:30-18:00 Peter Winkler, Masterclass on Mathematical Puzzles (ICALP, Room 131a-b)
Wednesday, 9 July, 2008:
09:00-10:00 Bruno Courcelle, Graph Structure and Monadic Second-order Logic: Language Theoretical Aspects (ICALP, Room 131a-b)
Thursday, 10 July, 2008:
09:00-10:00 Peter Winkler, Optimality and Greed in Dynamic Allocation (ICALP, Room 131a-b)
16:30-18:00 Award ceremony, including talks by
- Daniel A. Spielman (Yale, USA) and Shang-Hua Teng (Boston University, USA)) --- Recipients of the 2008 Gödel Prize
- Leslie G. Valiant (Harvard, USA) --- Recipient of the 2008 EATCS Award
Friday, 11 July, 2008:
09:00-10:00 Javier Esparza, Newtonian Program Analysis (ICALP, Room 131a-b)
Saturday, 12 July, 2008:
09:15-10:15: Roger Wattenhofer. Algorithms for sensor networks, what is it good for? (Algosensors, Room 231a)
09:30-10:30 Terry Rudolph: Quantum computing, matrix permanents and why Bob Coecke isn't the only person who gets to do quantum mechanics by drawing trivial looking graphs (Quantum Physics and Logic/Development of Computational Models, Room 201)
Sunday, 13 July, 2008:
09:00-10:00: Helmut Schwichtenberg. Decorating proofs. (Classical Logic and Computation Invited, Room 233)
14:00-15:00: Stéphane Lengrand. Inhabiting negative types. (Classical Logic and Computation Invited, Room 233)
16:00-17:00 Andreas Winter: The Mother of All Protocols: Restructuring Quantum Information's Family Tree (Quantum Physics and Logic/Development of Computational Models, Room 201)
As you can see, there is going to be an embarrassment of riches and it won't be easy to choose what invited talks to attend during the workshop days.
My co-organizers and I hope that the participants will enjoy all aspects of the conference. In pure scientific fashion, I will keep my fingers crossed until the event is over :-)
If you are participating in ICALP and you'd like to provide guest posts reporting on the conference, send them to me and I'll be happy to post your contributions. It is highly unlikely that I will have time to post anything myself, apart from possibly reports on the EATCS General Assembly and on the Award Ceremony. In fact, as a local organizer, I wonder how many talks I'll be able to attend myself.
Despite the stress of being a local organizer, I am looking forward to this event.