CADE-28: THE 28TH INTERNATIONAL CONFERENCE ON AUTOMATED DEDUCTION
PROGRAM FOR SUNDAY, JULY 11TH: TALK VIEW
Days:
next day
all days

View: with abstractssession overview

8:00
8:30
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
07:45-08:00 Welcome and Announcements
08:00-10:00 PVS Tutorial
08:00-10:00 PFOR Tutorial
08:00-10:00
Muhammad Osama
08:00-09:00
Maria Paola Bonancina
08:00-10:00
Vesna Marinković, Filip Maric
08:00-10:00
Zoltán Kovács, Robert Vajda
09:00-10:00
Valentin Blot, Louise Dubois de Prisque, Chantal Keller, Pierre Vial
10:30-12:00 PVS Tutorial
10:30-12:00 PFOR Tutorial
10:30-12:00
Alfons Laarman
10:30-12:00
Zoltán Kovács, Jonathan H. Yu
10:30-12:00
Jørgen Villadsen, Asta Halkjær From, Patrick Blackburn
10:30-12:00
Walther Neuper, Klaus Miesenberger, Bernhard Stöger, Reinhard Koutny
12:30-14:00 PVS Tutorial
12:30-14:00 PFOR Tutorial
12:30-14:00 PDAR Workshop: Discussion
12:30-13:10
Stephan Gocht, Ruben Martins, Jakob Nordstrom
12:30-13:10
Hans-Jörg Schurr, Mathias Fleury, Haniel Barbosa, Pascal Fontaine
12:30-14:00
John Boyland
12:30-14:00
Pablo Donato, Benjamin Werner, Pierre-Yves Strub
13:15-14:00 PxTP Workshop: Business Meeting
14:30-16:00 PVS Tutorial
14:30-16:00 PFOR Tutorial
15:20-16:20
Ankit Kumar, Andrew Walter, Panagiotis Manolios
15:20-16:20
Clemens Eisenhofer, Martin Riener
16:20-16:40 ThEdu Workshop: Closing and Bussiness Meeting
10:00-10:30 Break
10:00-10:30 Break
10:00-10:30 Break
10:00-10:30 Break
12:00-12:30 Break
12:00-12:30 Break
12:00-12:30 Break
12:00-12:30 Break
14:00-14:30 Break
14:00-14:30 Break
14:00-14:30 Break
14:00-14:30 Break