LPAR-21: 21ST INTERNATIONAL CONFERENCE ON LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE AND REASONING
PROGRAM FOR THURSDAY, MAY 11TH: 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
09:00-10:00
Jeffrey Fischer, Rupak Majumdar
11:00-11:30
Emmanuel Hainry, Romain Péchoux
14:00-14:30
Stefano Bistarelli, Fabio Martinelli, Ilaria Matteucci, Francesco Santini
14:30-15:00
Dmitry Mordvinov, Grigory Fedyukovich
15:00-15:30
F. Blahoudek, A. Duret-Lutz, M. Klokočka, M. Kretinsky, J. Strejcek
16:00-16:15
Krzysztof Apt, Dominik Wojtczak
16:15-16:30
Olli Saarikivi, Margus Veanes
10:00-10:30 Break
12:30-14:00 Lunch
15:30-16:00 Break