The Coq mailing list

[Luca Paolini <paolini AT di.unito.it>]

========================================================================
                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