Program for Sunday, May 19th

PROGRAM FOR SUNDAY, MAY 19TH

Days:

14:00	Konstantin Korovin, Laura Kovacs and Giles Reger Opening, Welcome PRESENTER: Konstantin Korovin
14:10	Andrei Voronkov Living with Vampire And Sleeping with EasyChair

15:30-16:00Coffee Break

16:00	Christoph Weidenbach Vampire-60: 1939 or 2045? ABSTRACT. First-Order Theorem Proving: Challenges, Insights, and Applications.
16:40	Alexander Lyaletski Evidence Algorithm, SAD systems, and automated theorem proving
17:00	Giles Reger How is Vampire doing?

18:00-22:00Welcome Reception