17:00-17:15

Alexander Fedotov, Jeroen J.A. Keiren, Julien Schmaltz

17:15-17:30

R. Dureja, J. Baumgartner, R. Kanzelman, M. Williams, K.Y. Rozier

17:30-17:45

Florian Lonsing, Subhasish Mitra, Clark Barrett

17:45-18:00

Tommy Tracy II, Lucas Tabajara, Moshe Vardi, Kevin Skadron

18:00-18:15

Prantik Chatterjee, Subhajit Roy, Bui Phi Diep, Akash Lal

18:15-18:30

Denis Bueno, Arlen Cox, Karem A. Sakallah

18:30-18:45

Thomas Pani, Georg Weissenbacher, Florian Zuleger

18:45-18:55

S. Asadi, M. Blicha, A. Hyvärinen, G. Fedyukovich, N. Sharygina

19:05-19:35

Peter Schrammel

20:00-20:15

A. Cimatti, L. Geatti, N. Gigante, A. Montanari, S. Tonetta

20:15-20:30

M.F. Arif, D. Larraz, M. Echeverria, A. Reynolds, O. Chowdhury, C. Tinelli

20:30-20:45

Rüdiger Ehlers, Ivan Gavran, Daniel Neider

20:45-20:55

Zichao Zhang, Arthur Azevedo de Amorim, Limin Jia, Corina Pasareanu