LPAR 2024: 25TH CONFERENCE ON LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE AND REASONING
PROGRAM FOR THURSDAY, MAY 30TH: 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
10:00-10:30 Break
10:30-10:50
David Koon
12:30-14:00 Lunch (provided)
14:00-14:30
Rolf Hennicker, Alexander Knapp, Martin Wirsing
14:30-15:00
Christian Fermüller, Robert Freiman, Timo Lang
15:00-15:10
Hichem Rami Ait El Hara, François Bobot, Guillaume Bury
15:10-15:30
Aaron Hunter, Alberto Iglesias
15:30-16:00
S. Rain, L.S. Brugger, A. Petković Komel, L. Kovács, M. Rawson
16:00-16:30 Break
16:30-17:00
Robert Freiman, Carlos Olarte, Elaine Pimentel, Christian Fermüller
17:00-17:20
Naïm Moussaoui Remil, Caterina Urban, Antoine Miné
17:20-17:50
Johann Rosain, Richard Bonichon, Julie Cailler, Olivier Hermant
17:50-18:00
Isabela Dramnesc, Tudor Jebelean, Sorin Stratulat