IJCAR 2024: INTERNATIONAL JOINT CONFERENCE ON AUTOMATED REASONING
PROGRAM FOR FRIDAY, JULY 5TH: TALK VIEW
Days:
previous day
next 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
18:00
18:30
19:00
19:30
09:00-10:00
Geoff Sutcliffe
10:00-10:30
Jingyi Mei, Tim Coopmans, Marcello Bonsangue, Alfons Laarman
11:30-12:00
Tanguy Bozec, Nicolas Peltier, Quentin Petitjean, Mihaela Sighireanu
12:00-12:30
Enguerrand Prebet, André Platzer
14:00-14:30
Agata Ciabattoni, Matteo Tesi
14:30-15:00
Matteo Acclavio
15:30-16:00
Jan Rooduijn, Dexter Kozen, Alexandra Silva
14:00-14:30
G. Sutcliffe, C. Suttner, L. Kotthoff, C.R. Perrault, Z. Khalid
14:30-15:00
Marton Hajdu, Laura Kovacs, Michael Rawson, Andrei Voronkov
15:00-15:30
Martin Bromberger, Florent Krasnopol, Sibylle Möhle, Christoph Weidenbach
15:30-16:00
Filip Bártek, Karel Chvalovský, Martin Suda
16:30-16:50
T. Hader, D. Kaufmann, A. Irfan, S. Graham-Lengrand, L. Kovacs
16:50-17:10
Samuel Chassot, Viktor Kunčak
17:10-17:30
Maximilian Heisinger, Simone Heisinger, Martina Seidl
17:30-18:00 TermCOMP and CASC Results
18:00-19:30 Business Meeting
10:30-11:00 Coffee Break
12:30-14:00 Lunch Break
16:00-16:30 Coffee Break