ANDREI-60: AUTOMATED NEW-ERA DEDUCTIVE REASONING EVENT IN IBERIA
PROGRAM FOR SUNDAY, MAY 19TH
Days:
next day
all days

View: session overviewtalk overview

14:00-15:30 Session 1
14:00
Opening, Welcome
14:10
Living with Vampire And Sleeping with EasyChair
15:30-16:00Coffee Break
16:00-17:30 Session 2
16:00
Vampire-60: 1939 or 2045?

ABSTRACT. First-Order Theorem Proving: Challenges, Insights, and Applications.

16:40
Evidence Algorithm, SAD systems, and automated theorem proving
17:00
How is Vampire doing?
18:00-22:00Welcome Reception