09:00-09:15

Vijay Ganesh, Arie Gurfinkel

09:15-10:15

Nokiro Arai

11:00-11:20

Alyzia-Maria Konsta, Alberto Lluch Lafuente, Christoph Matheja

11:20-11:40

Alessandro Abate, Mirco Giacobbe, Diptarko Roy

11:40-12:00

Toru Takisaka, Libo Zhang, Changjiang Wang, Jiamou Liu

12:00-12:10

Tobias Meggendorfer, Maximilian Weininger

14:00-14:20

A. Ozdemir, S. Pailoor, A. Bassa, K. Ferles, C. Barrett, I. Dillig

14:20-14:40

Charlie Murphy, Zachary Kincaid

14:40-15:00

Peter Habermehl, Vojtěch Havlena, Michal Hečko, Lukáš Holík, Ondrej Lengal

15:00-15:20

Mengyu Zhao, Shaowei Cai, Yuhang Qian

15:20-15:30

Nikolaj Bjørner, Lev Nachmanson

16:00-16:20

P.A. Abdulla, M.F. Atig, S. Das, B. Jonsson, K. Sagonas

16:20-16:40

Ziqing Luo, Stephen F. Siegel

16:40-17:00

Eden Frenkel, Tej Chajed, Oded Padon, Sharon Shoham

17:00-17:20

Noah Bertram, Tean Lai, Justin Hsu

17:20-17:40

Jingyi Mei, Marcello Bonsangue, Alfons Laarman

17:40-17:50

Armborst, Bos, van den Haak, Huisman, Rubbens, Sakar, Tasche

17:50-18:00

James R. Wilcox, Yotam M. Y. Feldman, Oded Padon, Sharon Shoham