Saturday, March 20th
| 09:00 |
CMCS (maybe only afternoon) |
Tutorials |
|
| T. Reps (Univ. of Wisconsin), M. Sagiv (Tel Aviv University),
R. Wilhelm (Univ. des Saarlandes, Saarbrücken)
Shape analysis with applications (afternoon only) |
N. Jones (Copenhagen University)
Computability and complexity from a programming perspective |
||
| 12:30 |
Registration |
||
| 14:00 |
CMCS (to be announced) |
Tutorials (continued) |
|
| 17:30 |
Close |
||