PROGRAM FOR FRIDAY, OCTOBER 11TH: TALK VIEW
Days:
previous day
all days
View: with abstractssession overview
9:00
9:30
10:00
10:30
11:00
11:30
12:00
12:30
13:00
13:30
14:00
14:30
15:00
15:30
16:00
16:30
17:00
17:30
09:00-09:30
June Andronick
10:00-10:30 Coffee Break
11:00-11:30
Alexandros Evangelidis, David Parker
11:30-12:00
Long H. Pham, Quang Loc Le, Quoc-Sang Phan, Jun Sun
12:00-12:30
Sandro Stucki, César Sánchez, Gerardo Schneider, Borzoo Bonakdarpour
10:30-11:00
Anh V. Vu, Mizuhito Ogawa
11:00-11:30
A. Charguéraud, J.-C. Filliâtre, C. Lourenço, M. Pereira
12:00-12:30
P. Körner, J. Bendisposto, J. Dunkelau, S. Krings, M. Leuschel
12:30-14:00 Lunch
14:00-14:30
Graeme Smith, Nicholas Coughlin, Toby Murray
14:30-15:00
Jon Haël Brenas, Rachid Echahed, Martin Strecker
15:00-15:30
Lennart Beringer, Andrew W. Appel
14:00-14:30
Yuyan Bao, Gary T. Leavens, Gidon Ernst
14:30-15:00
Kasampalis et.al
15:30-16:00 Coffee Break
16:30-17:00
M. Tappler, B.K. Aichernig, G. Bacci, M. Eichlseder, K.G. Larsen
17:00-17:30
Tran, Manzanas Lopez, Musau, Yang, Nguyen, Xiang, Johnson
16:00-16:30
Jonas Westman, Mattias Nyberg
17:00-17:30
Cui Su, Soumya Paul, Jun Pang