08:00-09:00

Pushmeet Kohli

09:15-09:35

A. Raad, J. Berdine, H.-H. Dang, D. Dreyer, P. O'Hearn, J. Villard

09:35-09:55

James Brotherston, Diana Costa, Aquinas Hobor, John Wickerson

09:55-10:15

Jaroslav Bendík, Kuldeep S. Meel

10:15-10:35

Ting Gan, Bican Xia, Bai Xue, Naijun Zhan, Liyun Dai

10:35-10:45

Claire Dross, Johannes Kanig

09:15-09:35

Shenghua Feng, Mingshuai Chen, Bai Xue, Sriram Sankaranarayanan, Naijun Zhan

09:35-09:55

Kittiphon Phalakarn, Toru Takisaka, Thomas Haas, Ichiro Hasuo

09:55-10:15

Hugo Bazille, Blaise Genest, Cyrille Jegourel, Jun Sun

10:15-10:25

Nima Roohi, Yu Wang, Matthew West, Geir Dullerud, Mahesh Viswanathan

10:25-10:45

Kiran Gopinathan, Ilya Sergey

09:15-09:35

Bernd Finkbeiner, Christopher Hahn, Jana Hofmann, Leander Tentrup

09:35-09:45

Abolfazl Lavaei, Mahmoud Khaled, Sadegh Soudjani, Majid Zamani

09:45-09:55

Xujie Si, Aaditya Naik, Hanjun Dai, Mayur Naik, Le Song

09:55-10:15

Marcell Vazquez-Chanlatte, Sanjit A. Seshia

10:15-10:25

L. D'Antoni, M. Helfrich, J. Kretinsky, E. Ramneantu, M. Weininger

10:25-10:45

Priyanka Golia, Subhajit Roy, Kuldeep S. Meel

10:45-10:55

Swen Jacobs