PROGRAM FOR FRIDAY, JUNE 26TH: 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-10:00
Valerie Issarny
10:30-11:00
Sylvain Conchon, Alain Mebsout, Fatiha Zaidi
11:00-11:30
Daniel Kroening, Matt Lewis, Georg Weissenbacher
11:30-11:45
Yuan Feng, Ernst Moritz Hahn, Andrea Turrini, Lijun Zhang
11:45-12:15
Karam Abdelkader, Orna Grumberg, Corina Pasareanu, Sharon Shoham
12:15-12:30
David Schneider, Michael Leuschel, Tobias Witt
14:00-14:30
Gianluca Amato, Simone Di Nardo Di Maio, Maria Chiara Meo, Francesca Scozzari
14:30-15:00
Tim Nelson, Andrew D. Ferguson, Shriram Krishnamurthi
15:00-15:30
Xue-Yang Zhu, Rongjie Yan, Yu-Lei Gu, Jian Zhang, Wenhui Zhang, Guangquan Zhang
16:00-16:30
Aliakbar Safilian, Tom Maibaum, Zinovy Diskin
16:30-17:00
Musab A. Alturki, Omar Alzuhaibi