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

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

09:00-09:15 Session 87A: Workshop opening
Chair:
Jakob Rehof
Location: MB, Zeichensaal 14
09:15-10:15 Session 88B: Invited talk
Chair:
Jakob Rehof
Location: MB, Zeichensaal 14
09:15
Luke Ong
Intersection Types, Game Semantics and Higher-Order Model Checking (abstract)
10:15-10:45Coffee Break
10:45-11:45 Session 90AG
Chair:
Jakob Rehof
Location: MB, Zeichensaal 14
10:45
Richard Statman
A Finite Model Property for Intersection Types (abstract)
11:15
Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria and Maddalena Zacchi
On Isomorphism of "Functional'' Intersection and Union Types (abstract)
11:45-12:00 Session 93A: Break
Chair:
Jakob Rehof
Location: MB, Zeichensaal 14
12:00-13:00 Session 94A
Chair:
Moritz Martens
Location: MB, Zeichensaal 14
12:00
Kentaro Kikuchi
Uniform Proofs of Normalisation and Approximation for Intersection Types (abstract)
12:30
Charles Grellois and Paul-André Melliès
Indexed linear logic and higher-order model checking (abstract)
13:00-14:30Lunch Break
14:30-15:30 Session 96AF
Chair:
Moritz Martens
Location: MB, Zeichensaal 14
14:30
Marcin Benke, Viviana Bono and Aleksy Schubert
Lucretia — intersection type polymorphism for scripting languages (abstract)
15:00
Mário Pereira, Sandra Alves and Mário Florido
Liquid Intersection Types (abstract)
16:00-16:30Coffee Break
16:30-17:30 Session 99AE
Chair:
Moritz Martens
Location: MB, Zeichensaal 14
16:30
Ugo De Liguoro and Tzu-Chun Chen
Semantic Types for Classes and Mixins (abstract)
17:00
Jan Bessai, Boris Düdder, Andrej Dudenhefner and Moritz Martens
Delegation-based Mixin Composition Synthesis (abstract)
17:30-17:45 Session 102A: Workshop closing
Chair:
Jakob Rehof
Location: MB, Zeichensaal 14