VSL 2014: VIENNA SUMMER OF LOGIC 2014

ISABELLE ON SUNDAY, JULY 13TH: TALK VIEW

View: with abstractssession overviewside by side with other conferences

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
08:45-10:15
Isabelle tutorial for beginners (part 1)
Tobias Nipkow
08:45-09:15
A formally verified proof of the Central Limit Theorem
Jeremy Avigad, Johannes Hölzl, Luke Serafin
09:15-09:45
Primitively (Co)recursive Definitions for Isabelle/HOL
Lorenz Panny, Jasmin Christian Blanchette, Dmitriy Traytel
09:45-10:15
Pattern-based Subterm Selection In Isabelle
Lars Noschinski, Christoph Traut
10:45-12:45
Isabelle tutorial for beginners (part 2)
Tobias Nipkow
10:45-10:55
The CoCon Experiment
Andrei Popescu, Peter Lammich
10:55-11:20
The CAVA Automata Library
Peter Lammich
11:20-11:45
From Types to Sets in Isabelle/HOL
Ondřej Kunčar, Andrei Popescu
11:45-12:15
Towards abstract and executable multivariate polynomials in Isabelle
Florian Haftmann, Andreas Lochbihler, Wolfgang Schreiner
12:15-12:45
Tutorial: Isabelle/jEdit for seasoned Isabelle users
Makarius Wenzel
14:30-15:00
Proving Gödel’s Incompleteness Theorems
Lawrence Paulson
15:00-15:30
Isabelle/jEdit NEWS
Makarius Wenzel
15:30-16:00
Programming TLS in Isabelle/HOL
Andreas Lochbihler, Marc Züst
16:30-17:00
Using Isabelle/HOL to Develop and Maintain Separation Invariants for an Operating System (Extended
Blasum et.al
17:00-17:20
A Simpl Shortest Path Checker Verification
Christine Rizkallah
17:20-17:40
Towards Structured Proofs for Program Verification (Ongoing Work)
Lars Noschinski
17:40-18:00
Amortized Complexity Verified
Tobias Nipkow
10:15-10:45 Coffee Break
13:00-14:30 Lunch Break
16:00-16:30 Coffee Break
Disclaimer | Powered by EasyChair Smart Program