VSL 2014: VIENNA SUMMER OF LOGIC 2014
VAMPIRE PROGRAM
Wednesday, July 23rd, 2014

View this program: with abstractssession overviewtalk overviewside by side with other conferences

10:15-10:45Coffee Break
10:45-13:00 Session 166F: Vampire Tutorial and Regular Talks
Chair:
Andrei Voronkov
Location: FH, Seminarraum 134
10:45
Laura Kovacs and Andrei Voronkov
First-Order Theorem Proving with Vampire (abstract)
12:00
Ashutosh Gupta
Proofs in Vampire (abstract)
12:30
Giles Reger, Martin Suda and Andrei Voronkov
Playing with AVATAR (abstract)
13:00-14:30Lunch Break
14:30-16:00 Session 172D: Invited Talk by Jasmin Blanchette, Discussions
Chair:
Josef Urban
Location: FH, Seminarraum 134
14:30
Jasmin Christian Blanchette
My Life with an Automatic Theorem Prover (abstract)
15:30
Andrei Voronkov and Laura Kovacs
Discussions (abstract)
16:00-16:30Coffee Break
16:30-18:00 Session 175F: Vampire Regular Talks
Chair:
Laura Kovacs
Location: FH, Seminarraum 134
16:30
Armin Biere, Ioan Dragan, Laura Kovacs and Andrei Voronkov
SAT solving experiments in Vampire (abstract)
17:00
Evgeny Kotelnikov, Laura Kovacs and Andrei Voronkov
First Class Boolean Type in First-Order Theorem Proving and TPTP (abstract)
17:30
Ashutosh Gupta, Laura Kovacs, Bernhard Kragl and Andrei Voronkov
Reasoning in First-Order Theories with Extensionality (abstract)