FLoC on Tuesday, July 20th

previous day next day See also the by session program.
09:00‑10:00
Torsten Schaub
09:00‑10:00
Mark Proctor (JBoss)
09:00‑10:00
Keshav Pingali (UT Austin)
08:50‑09:00
09:00‑10:00
Cliff Jones (Newcastle University, UK)
10:00‑10:30
Coffee break
10:30‑11:15
Thom Frühwirth (University of Ulm)
12:05‑12:30
Matt Lilley (SecuritEase)
10:30‑11:00
Alexander Rabinovich
11:00‑11:30
Bernd Finkbeiner
11:30‑12:00
Georg Hofferek and Roderick Bloem
12:00‑12:30
Barbara Jobstmann
11:10‑11:50
Shuling Wang and Xu Wang
12:30‑14:00
Lunch
14:25‑14:40
Jon Sneyers (K.U.Leuven)
14:25‑14:50
Nicola Vitucci, Mario Arrigoni Neri and Giuseppina Gini
14:00‑15:00
Véronique Cortier (LORIA INRIA-Lorraine, France)
15:00‑15:30
Coffee break
16:20‑16:45
Ayman Adel Abdelsamie Abdelaal, Frank Raiser, Thom Frühwirth, and Roland Stelzer
16:45‑17:00
Peter Van Weert
16:30‑17:00
Armin Biere and Florian Lonsing
17:00‑17:30
Tobias Nipkow
17:30‑18:00
Action IC0901
15:30‑17:00
Demos & Discussion
15:30‑17:00
DCGs. Klaus Daessler