IJCAR 2020: 10TH INTERNATIONAL JOINT CONFERENCE ON AUTOMATED REASONING
PROGRAM FOR WEDNESDAY, JULY 1ST: TALK VIEW
Days:
next day
all days

View: with abstractssession overview

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
11:30-12:30 FSCD-IJCAR Invited Speaker: R. Thiemann (all times are in CEST timezone - UTC+2)
13:00-13:30
Bernhard Gleiss, Laura Kovacs, Jakob Rath
14:00-14:30
Uwe Waldmann, Sophie Tourret, Simon Robillard, Jasmin Blanchette
13:00-13:30
R. Affeldt, C. Cohen, M. Kerjean, A. Mahboubi, D. Rouhling, K. Sakaguchi
13:30-14:00
Basil Fürer, Andreas Lochbihler, Joshua Schneider, Dmitriy Traytel
14:00-14:30
Clément Pit-Claudel, Peng Wang, Benjamin Delaware, Jason Gross, Adam Chlipala
15:15-16:15
John Harrison
16:45-17:00
J. Jakubuv, K. Chvalovský, M. Olšák, B. Piotrowski, M. Suda, J. Urban
17:30-17:45
Zarathustra Goertzel
16:45-17:15
Yiming Xu, Michael Norrish
17:15-17:30
Asta Halkjær From, Patrick Blackburn, Jørgen Villadsen
17:30-18:00
Basin, Dardinier, Heimes, Krstic, Raszyk, Schneider, Traytel