8:30 am–8:45 am |
Welcome Remarks |
|
8:45 am–10:15 am | ||
10:15 am–10:30 am |
Break |
|
10:30 am–12:00 pm |
Gregor Seiler, IBM Research - Zurich and ETH |
8:30 am–8:45 am |
Welcome Remarks |
|
8:45 am–10:15 am | ||
10:15 am–10:30 am |
Break |
|
10:30 am–12:00 pm |
Gregor Seiler, IBM Research - Zurich and ETH |