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
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
Terminal semantics for codata types in intensional Martin-Löf type theory (abstract)
11:15
A Unifying Framework for Primitive Ontological Relations in Dependent Type Theory (abstract)
11:45
Domain Specific Languages of Mathematics (abstract)
12:15
Relational ornaments (abstract)
13:00-14:30Lunch Break
14:30-16:00 Session 31P: Contributed Talks
Location: FH, Seminarraum 325/1
14:30
An Embedded Hardware Description Language using Dependent Types (abstract)
15:00
Type-Directed Editing for Dependently-Typed Programs. (abstract)
15:30
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
Scrapping Your Dependently-Typed Boilerplate is Hard (abstract)
17:00
On a style of presentation of type systems (abstract)
17:30
Sequential decision problems and a computational theory of avoidability (abstract)