CADE-28 ON MONDAY, JULY 12TH: TALK VIEW
Days:
previous day
next day
all days
View: with abstractssession overviewside by side with other conferences
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
09:00-10:00
Franz Brauße, Konstantin Korovin, Margarita Korovina, Norbert Th. Müller
09:00-10:00
Alessandro Cimatti, Alberto Griggio, Gianluca Redondi
10:30-12:30
Joanna Golińska-Pilarek, Michał Zawidzki, Taneli Huuskonen
10:30-12:30
Christoph Wernhard, Wolfgang Bibel
10:30-12:30
Fabio Papacchini, Cláudia Nalon, Ullrich Hustadt, Clare Dixon
13:00-15:00
Mnacho Echenim, Radu Iosif, Nicolas Peltier
13:00-15:00
Vivek Nigam, Giselle Reis, Samar Rahmouni, Harald Ruess
15:30-16:30 Reception
16:00-16:30 Topical ZoomRoom: Newbie's Meeting Place
16:00-16:30 Topical ZoomRoom: 17 Ways to make an ATP System Fast
16:00-16:30 Topical ZoomRoom: How can Anyone Trust a Theorem Prover?
16:00-16:30 Topical ZoomRoom: Step into the Darkside - Non-classical Logics
16:00-16:30 Topical ZoomRoom: Morality, Religion, Law, and ATP
10:00-10:30 Break
12:30-13:00 Break
15:00-15:30 Break