The logo of ICE-TCS is courtesy of Emilka Bojanczyk.

ICE-TCS Theory Day 2011


20 May 2011, Reykjavik, Iceland

Room Herkules 6, Reykjavik University, Menntavegur 1

The ICE-TCS Theory Day for 2011 will consist of two sessions. The first session will celebrate Leslie Valiant's Turing Award. (You can read about Valiant's achievements here.) The second session will consist of contributed talks on topics in combinatorics and concurrency theory.

Session celebrating Leslie Valiant's Turing Award
13:00-13:30 Magnus M. Halldorsson
Leslie Valiant: Glimpses of a Thinker
13:30-14:00 Bjarni V. Halldorsson
"A theory of the learnable" - Probably approximately correct (PAC) learning
14:00-14:30 Coffee break
Concurrency/Combinatorics session
14:30-15:00 Anna Ingolfsdottir
Behavioural versus logical characterizations of processes
15:00-15:30 Henning Ulfarsson
Marked mesh patterns and connections with geometry
15:30-16:00 Luca Aceto
Expressiveness: What it is and why you should care

Please send comments and bug reports to Luca Aceto.