Program for Sunday, August 2nd: Talk View

PROGRAM FOR SUNDAY, AUGUST 2ND: TALK VIEW

View: with abstracts session overview

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

17:00

17:30

18:00

18:30

19:00

19:30

20:00

20:30

21:00

21:30

22:00

09:00-10:00

Lost in translation: how easy (automated reasoning) problems become hard due to bad encodings

Leonardo de Moura

10:00-10:30 Discussions

10:30-11:00 Coffee break

11:00-11:30

Using Vampire in Soundness Proofs of Type Systems

Sylvia Grewe, Sebastian Erdweg, Mira Mezini

11:30-12:00

Reasoning About Loops Using Vampire

Simon Robillard, Laura Kovacs, Wolfgang Ahrendt

12:30-14:00 Lunch break

14:00-14:30

The Uses of SAT Solvers in Vampire

Giles Reger, Martin Suda

14:30-15:00

Nice Models for AVATAR

Martin Suda

15:00-15:30

New Vampire Features as Extensions to TPTP

Evgenii Kotelnikov, Laura Kovacs, Reger Giles, Andrei Voronkov

15:30-16:00 Coffee break

16:00-17:00

Things that you can't do with a Vampire

Geoff Sutcliffe

17:00-17:30 Discussions

19:00-22:00 Workshop dinner