VSL 2014: VIENNA SUMMER OF LOGIC 2014
DTP PROGRAM
Sunday, July 13th, 2014

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

09:00-10:15 Session 23G: Invited Talk
Location: FH, Seminarraum 325/1
09:00
Alan Jeffrey
FRP, LTL and GUIs (abstract)
10:15-10:45Coffee Break
10:45-13:00 Session 26S: Contributed Talks
Location: FH, Seminarraum 325/1
10:45
Benedikt Ahrens and Régis Spadotti
Terminal semantics for codata types in intensional Martin-Löf type theory (abstract)
11:15
Richard Dapoigny and Patrick Barlatier
A Unifying Framework for Primitive Ontological Relations in Dependent Type Theory (abstract)
11:45
Cezar Ionescu and Patrik Jansson
Domain Specific Languages of Mathematics (abstract)
12:15
Hsiang-Shang Ko and Jeremy Gibbons
Relational ornaments (abstract)
13:00-14:30Lunch Break
14:30-16:00 Session 31P: Contributed Talks
Location: FH, Seminarraum 325/1
14:30
João Paulo Pizani Flor and Wouter Swierstra
An Embedded Hardware Description Language using Dependent Types (abstract)
15:00
Edward Amsden, Ryan Newton and Jeremy Siek
Type-Directed Editing for Dependently-Typed Programs. (abstract)
15:30
Hannes Mehnert and David Raymond Christiansen
Tool Demonstration: An IDE for Programming and Proving in Idris (abstract)
16:00-16:30Coffee Break
16:30-18:00 Session 34R: Contributed Talks
Location: FH, Seminarraum 325/1
16:30
Ahmad Salim Al-Sibahi
Scrapping Your Dependently-Typed Boilerplate is Hard (abstract)
17:00
Alvaro Tasistro
On a style of presentation of type systems (abstract)
17:30
Nicola Botta, Cezar Ionescu, Patrik Jansson and Edwin Brady
Sequential decision problems and a computational theory of avoidability (abstract)