LPAR23: LPAR-23: 23RD INTERNATIONAL CONFERENCE ON LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE AND REASONING
PROGRAM FOR TUESDAY, JANUARY 12TH: TALK VIEW
Days:
next day
all days

View: with abstractssession overview

16:00
16:30
17:00
17:30
18:00
18:30
19:00
19:30
16:00-16:05
Elvira Albert, Laura Kovacs
16:05-17:05
Robert Nieuwenhuis, Adrià Lozano, Albert Oliveras, Enric Rodríguez-Carbonell
17:05-17:15 Breakout (CET time)
17:15-17:35
Peter Oostema, Ruben Martins, Marijn Heule
17:35-17:55
Jarkko Savela, Emilia Oikarinen, Matti Järvisalo
17:35-17:55
Lasse Blaauwbroek, Josef Urban, Herman Geuvers
17:55-18:15
Jan H. Boockmann, Gerald Luettgen
18:15-18:30 Breakout (CET time)
18:30-18:50
Emanuel Kieronski, Adam Malinowski
18:50-19:10
Adrian Rebola Pardo, Georg Weissenbacher
19:10-19:30
Joseph Sweeney, Marijn J. H. Heule, Lawrence Pileggi
18:30-18:50
Alexandru Baltag, Sonja Smets
18:50-19:10
Ben Goldberger, Guy Katz, Yossi Adi, Joseph Keshet
19:10-19:30
Johannes Åman Pohjola, Arve Gengelbach