========================================================================
CALL FOR PARTICIPATION
**ITRS 2014**
7th Workshop on Intersection Types and Related Systems
Vienna, Austria, July 18th, 2014
http://vsl2014.at/meetings/ITRS-index.html
affiliated with RTA-TLCA 2014
in conjunction with FLoC 2014
at the Vienna Summer of Logic VSL
http://vsl2014.at/
========================================================================
ITRS 2014 is a venue for researchers working on
both the theory and practical applications of systems based on
intersection types and related approaches.
You are cordially invited to participate.
REGISTRATION:
http://vsl2014.at/registration/
EARLY REGISTRATION is open and lasts until June 8th.
WORKSHOP PROGRAMME:
Invited Talk:
* Luke Ong (University of Oxford, UK)
Intersection Types, Game Semantics and Higher-Order Model Checking
Contributed Talks:
*Richard Statman
A Finite Model Property for Intersection Types
*Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria and
Maddalena Zacchi
On Isomorphism of "Functional" Intersection and Union Types
*Kentaro Kikuchi
Uniform Proofs of Normalisation and Approximation for Intersection Types
*Charles Grellois and Paul-André Melliès
Indexed linear logic and higher-order model checking
*Marcin Benke, Viviana Bono and Aleksy Schubert
Lucretia — intersection type polymorphism for scripting languages
*Mário Pereira, Sandra Alves and Mário Florido
Liquid Intersection Types
*Ugo De Liguoro and Tzu-Chun Chen
Semantic Types for Classes and Mixins
*Jan Bessai, Boris Düdder, Andrej Dudenhefner and Moritz Martens
Delegation-based Mixin Composition Synthesis
--
Jakob Rehof
Department of Computer Science
Technische Universität Dortmund
Lehrstuhl für Software Engineering, Otto-Hahn-Str. 14, 44227 Dortmund
(Germany)
http://www-seal.cs.tu-dortmund.de/seal/pages/people/rehof/index_en.shtml
_______________________________________________
clean-list mailing list
[email protected]
http://mailman.science.ru.nl/mailman/listinfo/clean-list
