[TYPES/announce] ITRS 2014, Call for Participation

[Luca Paolini]

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