CADE-27: 27TH INTERNATIONAL CONFERENCE ON AUTOMATED DEDUCTION
PROGRAM FOR THURSDAY, AUGUST 29TH: TALK VIEW
Days:
previous day
next day
all days

View: with abstractssession overview

8:30
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
18:00
18:30
19:00
19:30
20:00
20:30
21:00
21:30
22:00
22:30
09:30-10:00
Patrick Trentin, Roberto Sebastiani
10:00-10:30 Coffee break
10:00-17:00 CASC-27
10:30-11:00
Mingshuai Chen, Jian Wang, Jie An, Bohua Zhan, Deepak Kapur, Naijun Zhan
11:00-11:30
Dennis Peuter, Viorica Sofronie-Stokkermans
11:30-12:00
Jürgen Giesl, Peter Giesl, Marcel Hark
12:00-12:30
D. Calvanese, S. Ghilardi, A. Gianola, M. Montali, A. Rivkin
12:30-14:00 Lunch
14:30-15:00
Brandon Bohrer, Manuel Fernandez, André Platzer
15:00-15:30
Katherine Cordwell, André Platzer
15:30-16:00 Coffee break
16:00-16:30
A. Niemetz, M. Preiner, A. Reynolds, Y. Zohar, C. Barrett, C. Tinelli
16:30-17:00
Martin Bromberger, Mathias Fleury, Simon Schwarz, Christoph Weidenbach
17:00-18:20 Woody Bledsoe Student Travel Awards and Business metting
19:00-22:30 Dinner