CADE-28: THE 28TH INTERNATIONAL CONFERENCE ON AUTOMATED DEDUCTION
PROGRAM FOR TUESDAY, JULY 13TH: TALK VIEW
Days:
previous day
next day
all days

View: with abstractssession overview

8:00
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
07:45-08:00 Announcements
08:00-10:00
Lee Barnett, Armin Biere
08:00-10:00
C. Alrabbaa, F. Baader, S. Borgwardt, P. Koopmann, A. Kovtunova
08:00-10:00
Franz Baader, Patrick Koopmann, Francesco Kriegel, Adrian Nuradiansyah
10:00-16:30 The CADE-28 ATP System Competition (CASC-28)
10:30-12:30
Fajar Haifani, Sophie Tourret, Christoph Weidenbach
10:30-12:30
Gabriel Ebner, Jasmin Blanchette, Sophie Tourret
10:30-12:30
Petra Hozzová, Laura Kovács, Andrei Voronkov
10:30-12:30
Visa Nummelin, Alexander Bentkamp, Sophie Tourret, Petar Vukmirović
13:00-15:00
Alexander Bentkamp, Jasmin Blanchette, Sophie Tourret, Petar Vukmirović
13:00-15:00
P. Vukmirović, A. Bentkamp, J. Blanchette, S. Cruanes, V. Nummelin, S. Tourret
13:00-15:00
Hans-Jörg Schurr, Mathias Fleury, Martin Desharnais
10:00-10:30 Break
12:30-13:00 Break
15:00-15:30 Break