08:00-09:00

David Dill

09:15-09:25

Zhong, Cheang, Qadeer, Grieskamp, Blackshear, Park, Zohar, Barrett, Dill

09:25-09:35

Daejun Park, Yi Zhang, Grigore Rosu

09:35-09:55

Elvira Albert, Pablo Gordillo, Albert Rubio, Maria A Schett

09:55-10:05

Backes et.al

10:05-10:25

Shubham Sahai, Rohit Sinha, Pramod Subramanyan

10:25-10:45

Pablo Buiras, Roberto Guanciale, Swen Jacobs, Andreas Lindner, Hamed Nemati

09:15-09:35

Kristina Miller, Chuchu Fan, Sayan Mitra

09:35-09:55

Sriram Sankaranarayanan

09:55-10:15

Xin Chen, Chao Peng, Wang Lin, Zhengfeng Yang, Yifan Zhang, Xuandong Li

10:15-10:25

Alex Devonport, Mahmoud Khaled, Murat Arcak, Majid Zamani

10:25-10:35

D.J. Fremont, J. Chiu, D.D. Margineantu, D. Osipychev, S.A. Seshia

10:35-10:45

Nikola Benes, Lubos Brim, Jakub Kadlecaj, Samuel Pastva, David Šafránek

09:15-09:35

Hari Govind Vediramana Krishnan, Yuting Chen, Sharon Shoham, Arie Gurfinkel

09:35-09:55

Vasileios Klimis, Bernhard Reus, George Parisis

09:55-10:15

Stephen F. Siegel, Yihao Yan

10:15-10:25

František Blahoudek, Alexandre Duret-Lutz, Jan Strejček

10:25-10:35

J. Baumeister, B. Finkbeiner, S. Schirmer, M. Schwenger, C. Torens

10:35-10:45

B. Finkbeiner, M. Gieseking, J. Hecking-Harbusch, E.-R. Olderog