ANDREI-60: AUTOMATED NEW-ERA DEDUCTIVE REASONING EVENT IN IBERIA
PROGRAM

Days: Sunday, May 19th Monday, May 20th Tuesday, May 21st Wednesday, May 22nd Thursday, May 23rd

Sunday, May 19th

View this program: with abstractssession overviewtalk overview

14:00-15:30 Session 1
14:00
Opening, Welcome (abstract)
14:10
Living with Vampire And Sleeping with EasyChair (abstract)
15:30-16:00Coffee Break
16:00-17:30 Session 2
16:00
Vampire-60: 1939 or 2045? (abstract)
16:40
Evidence Algorithm, SAD systems, and automated theorem proving (abstract)
17:00
How is Vampire doing? (abstract)
18:00-22:00Welcome Reception
Monday, May 20th

View this program: with abstractssession overviewtalk overview

09:00-10:30 Session 3: Invited Talks
09:00
Temporal Logics for Multi-Agent Systems (abstract)
09:40
Basic Hilbert Bases (abstract)
10:00
Anti-unification for lambda-terms: a generic approach (abstract)
10:30-11:00Coffee Break
11:00-12:30 Session 4: Invited Talks
11:00
Some memories from mid-late 90s and how having Andrei as my PhD advisor impacted my life (abstract)
11:20
The Curse of Interpolation (abstract)
11:40
Rewrite Encodings in Dependent Type Theories: The Problem of Confluence (abstract)
12:30-14:00Lunch Break
14:00-15:30 Session 5: Invited Talks
14:00
Using Hilbert Bases for Reasoning about Multisets (abstract)
14:40
A Theory of Object Structures (abstract)
15:30-16:00Coffee Break
16:00-17:30 Session 6: Invited Talks
16:00
How to count chairs and bats in Description Logics (abstract)
16:20
Interpolation infusion in SMT-based model checking (abstract)
17:00
60 Shades of Grey in Vampire (abstract)
Tuesday, May 21st

View this program: with abstractssession overviewtalk overview

18:00-22:00Dinner
Wednesday, May 22nd

View this program: with abstractssession overviewtalk overview

10:00-10:30 Session 7: Invited Talks
10:00
Proof Schemata and Herbrand Systems   (abstract)
10:30-11:00Coffee Break
11:00-12:30 Session 8: Invited Talks
11:00
Witness algebra, or who needs category theory? (abstract)
11:40
Counter-model-based quantifier Instantiation in SMT (abstract)
12:30-14:00Lunch Break
14:00-15:30 Session 9: Invited Talks
14:00
Taylor Models for ERA (abstract)
14:20
Higher-order automated theorem proving -- Why has there been such a resistance? (abstract)
15:00
ENIGMA Given Clause Guidance (abstract)
15:30-16:00Coffee Break
16:00-17:30 Session 10: Invited Talks
16:00
Breaking the rules (abstract)
16:20
Abstraction-refinement automated reasoning (abstract)
16:40
Andrei ... Superman or Rocketman? (abstract)
Thursday, May 23rd

View this program: with abstractssession overviewtalk overview

10:30-11:00Coffee Break
11:00-12:30 Session 12: Invited Talks
11:00
Deskolemizing Andrew's Skolemization (abstract)
11:40
Conflict Resolution with WildCards (abstract)
12:00
Cooperation and Competition in Automated Theorem Proving (abstract)
12:20
Closing (abstract)
12:30-13:15Lunch Break
17:00-18:30 Social Event

See the description on the social program page.

18:30-21:30 Closing Dinner

See the description on the social program page.