SPLST'11 PROGRAMME TIMETABLE
Wednesday, Oct 5 | Thursday, Oct 6 | Friday, Oct 7 | |
---|---|---|---|
8:45 - 9:00 | Registration | ||
9:00 - 10:30 | Invited talk Thorsten Altenkirch |
Session 4: Program Analysis, Runtime Verification | Invited talk András Hajdu |
10:30 - 11:00 | Coffee break | Coffee break | Coffee break |
11:00 - 12:30 | Session 1: Language Design and Compilation | Invited talk Ilkka Niemelä | Session 7: Testing |
12:30 - 14:00 | Lunch | Lunch | Lunch |
14:00 - 15:30 | Session 2: Development Tools | Session 5: Misc | Theory Days (at Tõrve, Jõgevamaa) |
15:30 - 16:00 | Coffee break | ||
16:00 - 16:30 | Coffee break | Session 6: Process Metrics | |
16:30 - 17:00 | Session 3: Agents, Architecture | ||
17:00 - 17:30 | |||
17:30 - 18:30 | Excursion & Banquet | ||
18:30 - ... |
Last changed
October 3, 2011 23:47 EET
by
local organizers, splst11(at)cs.ioc.ee
SPLST'11 page:
http://cs.ioc.ee/splst11/