30YAI Programme
January 8, 2008
8:00pm
Joint VMCAI + 30YAI "special evening workshop"
at The Log Cabin, Presidio, 1299 Storey Ave, San Francisco.
Not included in the registration, please register here.
at The Log Cabin, Presidio, 1299 Storey Ave, San Francisco.
Not included in the registration, please register here.
January 9, 2008 (see some pictures)
8:30-9:30
Welcome [Slides]
9:00-10:00
Neil Jones (DIKU) [Slides]
Manuel Heremenegildo (UPM) [Slides]
Andreas Podelski (University of Freiburg) [Slides]
10:00-10:30
Break
10:30-11:30
Mooly Sagiv (Tel-Aviv University) [Slides]
Chris Hankin (Imperial College) [Slides]
Francesco Ranzato (University of Padova) [Slides]
11:30-12:00
Panel Discussion
12:00-1:30pm
Lunch
1:30-3:30pm
Famantanantsoa Randimbivolona (Airbus France) [Slides]
Chris Hote (The Mathworks) [Slides]
Ganesan Ramalingam (Microsoft Research) [Slides]
Kwang Yi (Seoul National University) [Slides]
David Sands (Chalmers University) [Slides]
3:30-4:00pm
Break
4:00-4:30pm
Panel Discussion
4:40-5:40pm
Patrick Cousot (ENS)
The idea of this workshop is to bring together the research community of abstract interpretation, in connection with POPL08, VMCAI08 and PEPM08. The invited speakers are intended to cover the global spread of abstract interpretation worldwide during the last 30 years, including future trends and the most recent and exciting applications of abstract interpretation in industry. Each speaker will present the state of the art from his personal and geographical perspective on abstract interpretation, showing the major challenges and open problems that this theory has to face in the next future. Panel discussions are intended to bring together the community and fix the agenda for the next years.
