LPAR-21: 21ST INTERNATIONAL CONFERENCE ON LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE AND REASONING
IWIL-2017 ON SUNDAY, MAY 7TH: TALK VIEW

View: with abstractssession overviewside by side with other conferences

13:00
13:30
14:00
14:30
15:00
15:30
16:00
16:30
17:00
17:30
13:00-14:00
Giles Reger, Martin Suda, Andrei Voronkov
14:30-15:00
Alexander Steen, Max Wisniewski, Christoph Benzmüller
15:00-15:30
Alexander Steen, Max Wisniewski, Hans-Jörg Schurr, Christoph Benzmüller
16:00-16:30
Julio Cesar Lopez Hernandez, Konstantin Korovin
16:30-17:00
Giles Reger, Martin Suda
14:15-14:30 Short Break
15:30-16:00 Break