======================================================================== 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 [For admin and other information see: http://www.mta.ca/~cat-dist/ ]