IJCAR 2020: 10TH INTERNATIONAL JOINT CONFERENCE ON AUTOMATED REASONING
PROGRAM FOR FRIDAY, JULY 3RD: TALK VIEW
Days:
previous day
next day
all days

View: with abstractssession overview

13:00
13:30
14:00
14:30
15:00
15:30
16:00
16:30
17:00
17:30
18:00
18:30
13:00-13:30
Y. Sheng, Y. Zohar, C. Ringeissen, J. Lange, P. Fontaine, C. Barrett
13:30-14:00
D. Calvanese, S. Ghilardi, A. Gianola, M. Montali, A. Rivkin
14:30-15:00
Maria Paola Bonacina, Sarah Winkler
13:30-14:00
Xavier Allamigeon, Ricardo David Katz, Pierre-Yves Strub
14:00-14:30
Dominik Kirst, Dominique Larchey-Wendling
14:30-15:00
Pengyu Nie, Karl Palmskog, Junyi Jessy Li, Milos Gligoric
16:30-17:00
Kazuhiko Sakaguchi
17:00-17:30
Andrew Reynolds, Andres Noetzli, Clark Barrett, Cesare Tinelli
17:45-18:15
Raúl Gutiérrez, Salvador Lucas
18:15-18:30
H. Bride, C.-H. Cai, J.S. Dong, R. Gore, Z. Hou, B. Mahony, J. McCarthy