VSL 2014: VIENNA SUMMER OF LOGIC 2014
COQ PROGRAM
Friday, July 18th, 2014

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

08:45-10:15 Session 86A: New and advanced Coq features
Location: MB, Hörsaal 14A
08:45
Presentation of Three Neat Tricks in Coq 8.5 (abstract)
09:15
Towards a better-behaved unification algorithm for Coq (abstract)
09:45
Proof-relevant rewriting strategies in Coq (abstract)
10:15-10:45Coffee Break
10:45-12:45 Session 90AC: Invited talk & useful tools
Location: MB, Hörsaal 14A
10:45
What is Homotopy Type Theory? (abstract)
11:45
QuickChick: Property-Based Testing for Coq (abstract)
12:15
Proof-Pattern Search in Coq/SSReflect (abstract)
13:00-14:30Lunch Break
14:30-16:00 Session 96AA: Formalizations in Coq
Location: MB, Hörsaal 14A
14:30
Formalization of Error-correcting Codes using SSReflect (abstract)
15:00
Autosubst: Automation for de Bruijn Substitutions (abstract)
15:30
Automating Abstract Logics (abstract)
16:00-16:30Coffee Break
16:30-18:00 Session 99AA: New IDEs & Coq 8.5 update
Location: MB, Hörsaal 14A
16:30
Asynchronous interaction for Coq (abstract)
17:00
Coqoon: towards a modern IDE for Coq (abstract)
17:30
Update on Coq 8.5 (abstract)