UITP PROGRAM
Thursday, July 17th, 2014
View this program: with abstractssession overviewtalk overviewside by side with other conferences
09:15-10:15 Session 65C: UITP Invited Talk 1 (Geoff Sutcliffe: "TPTP Process Instruction Language")
Location: FH, Seminarraum 107
| 09:15 | The TPTP Process Instruction Language, with Applications (abstract) |
10:15-10:45Coffee Break
10:45-13:00 Session 66AH: UITP Contributed Talks (Proof Strategies, HCI Focus Groups, Proof Visualization, Term Rewriting)
Location: FH, Seminarraum 107
| 10:45 | Tinker, tailor, solver, proof (abstract) |
| 11:15 | How to Put Usability into Focus: Using Focus Groups to Evaluate the Usability of Interactive Theorem Provers (abstract) |
| 11:45 | Advanced Proof Viewing in PROOFTOOL (abstract) |
| 12:15 | The Certification Problem Format (abstract) |
13:00-14:30Lunch Break
14:30-15:30 Session 75AH: UITP Invited Talk 2 (Enrico Tassi: "Asynchronous Processing in Coq")
Location: FH, Seminarraum 107
| 14:30 | Asynchronous Processing of Formal Documents in Coq (abstract) |
15:30-16:00 Session 78A: UITP Contributed Talks - (Coq)
Location: FH, Seminarraum 107
| 15:30 | PIDE for Asynchronous Interaction with Coq (abstract) |
16:00-16:30Coffee Break
16:30-19:00 Session 79A: VSL Joint Award Ceremony 1
Chair:
Location: MB, Kuppelsaal
| 16:30 | Foundations and Technology Competitions Award Ceremony (abstract) |
| 17:30 | FLoC Olympic Games Award Ceremony 1 (abstract) |
| 18:15 | FLoC Closing Week 1 (abstract) |
16:30-18:00 Session 80B: UITP Contributed Talks - (Isabelle, IDE, Equational Reasoning)
Location: FH, Seminarraum 107
| 16:30 | System description: Isabelle/jEdit in 2014 (abstract) |
| 17:00 | A Logic-Independent IDE (abstract) |
| 17:30 | UTP2: Higher-Order Equational Reasoning by Pointing (abstract) |
21:00-23:59 Session 89: VSL Student Reception 1
Location: Transporter