ISABELLE PROGRAM
Sunday, July 13th, 2014
View this program: with abstractssession overviewtalk overviewside by side with other conferences
08:45-10:15 Session 22B: Isabelle tutorial for beginners I
Location: FH, Zeichensaal 1
| 08:45 | Isabelle tutorial for beginners (part 1) (abstract) |
08:45-10:15 Session 22C: Isabelle workshop
Chair:
Location: FH, Seminarraum 138C
| 08:45 | A formally verified proof of the Central Limit Theorem (abstract) |
| 09:15 | Primitively (Co)recursive Definitions for Isabelle/HOL (abstract) |
| 09:45 | Pattern-based Subterm Selection In Isabelle (abstract) |
10:15-10:45Coffee Break
10:45-12:45 Session 26D: Isabelle tutorial for beginners II
Location: FH, Zeichensaal 1
| 10:45 | Isabelle tutorial for beginners (part 2) (abstract) |
10:45-12:45 Session 26E: Isabelle workshop
Chair:
Location: FH, Seminarraum 138C
| 10:45 | The CoCon Experiment (abstract) |
| 10:55 | The CAVA Automata Library (abstract) |
| 11:20 | From Types to Sets in Isabelle/HOL (abstract) |
| 11:45 | Towards abstract and executable multivariate polynomials in Isabelle (abstract) |
| 12:15 | Tutorial: Isabelle/jEdit for seasoned Isabelle users (abstract) |
13:00-14:30Lunch Break
14:30-16:00 Session 31C: Isabelle workshop
Chair:
Location: FH, Seminarraum 138C
| 14:30 | Proving Gödel’s Incompleteness Theorems (abstract) |
| 15:00 | Isabelle/jEdit NEWS (abstract) |
| 15:30 | Programming TLS in Isabelle/HOL (abstract) |
16:00-16:30Coffee Break
16:30-18:00 Session 34D: Isabelle workshop
Chair:
Location: FH, Seminarraum 138C
| 16:30 | Using Isabelle/HOL to Develop and Maintain Separation Invariants for an Operating System (Extended Abstract) (abstract) |
| 17:00 | A Simpl Shortest Path Checker Verification (abstract) |
| 17:20 | Towards Structured Proofs for Program Verification (Ongoing Work) (abstract) |
| 17:40 | Amortized Complexity Verified (abstract) |