From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 04B8B7F8FC; Fri, 30 May 2014 13:34:56 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of paolini@di.unito.it) identity=pra; client-ip=130.192.156.1; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="paolini@di.unito.it"; x-sender="paolini@di.unito.it"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of paolini@di.unito.it designates 130.192.156.1 as permitted sender) identity=mailfrom; client-ip=130.192.156.1; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="paolini@di.unito.it"; x-sender="paolini@di.unito.it"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail.di.unito.it) identity=helo; client-ip=130.192.156.1; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="paolini@di.unito.it"; x-sender="postmaster@mail.di.unito.it"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtkBAEVsiFOCwJwBnGdsb2JhbABZg1lVgm+/TgGBHw4BAQEBAQgLCQkUKIImAQUdBg8BBQgBATYCDyUCBRMDCwICCQMCAQIBRQYNCAEBiD4NsQ13hH8BBZ9mEQaBKooZgxaCdYFLlXuFQYt+iSpqAQ X-IPAS-Result: AtkBAEVsiFOCwJwBnGdsb2JhbABZg1lVgm+/TgGBHw4BAQEBAQgLCQkUKIImAQUdBg8BBQgBATYCDyUCBRMDCwICCQMCAQIBRQYNCAEBiD4NsQ13hH8BBZ9mEQaBKooZgxaCdYFLlXuFQYt+iSpqAQ X-IronPort-AV: E=Sophos;i="4.98,940,1392159600"; d="scan'208";a="64735236" Received: from pianeta.di.unito.it (HELO mail.di.unito.it) ([130.192.156.1]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 30 May 2014 13:34:55 +0200 X-MailScanner-From: paolini@di.unito.it X-SpamCheck: not spam (whitelisted), SpamAssassin (not cached, score=-71.178, required 3, autolearn=not spam, AUTHENTICATEDUSER -100.00, AWL 29.63, BAYES_00 -1.90, MISSING_FROM 1.00, RCVD_IN_DNSWL_LOW -0.70, RDNS_NONE 0.79, SPF_PASS -0.00, TO_EQ_FM_DIRECT_MX 0.00) X-AntiVirus: Email Clean X-dipinfo-MailScanner-ID: s4UBDjnW016418 X-dipinfo-MailScanner-Information: Please contact Department of Computer Science technical staff for more information Received: from mail.di.unito.it ([130.192.156.1]) by mail.di.unito.it (INFO-DIP) with ESMTP id s4UBDjnW016418 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES128-SHA bits=128 verify=NO AuthenticatedUser=paolini ); Fri, 30 May 2014 13:13:45 +0200 (CEST) DKIM-Filter: OpenDKIM Filter v2.8.0 mail.di.unito.it s4UBDjnW016418 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=di.unito.it; s=dipinfo2011; t=1401448455; bh=1irmLTxTekeOijcHO/1+V/1jYp8Pr4amaoAiWtqIHMU=; h=Date:From:To:Subject:References:In-Reply-To; b=pDQk0x1P/cWMMkVnBUeVk8NDDd+0ykK0TuJmaJ4jgj8FZg0zHN+3T7mjytnW7ZuHf qKLODaj7JLaqoIZ1p1jHj2vjyxgd5anrCsbRFFmRQteK400X+2lFEEpJd7MHeYMeS5 f8rgsDOdTcgGaQHEWHWbcoSuIY1y/NowyOenWv7M= Message-ID: <538867E9.9040009@di.unito.it> Date: Fri, 30 May 2014 13:13:45 +0200 From: Luca Paolini User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:24.0) Gecko/20100101 Thunderbird/24.5.0 MIME-Version: 1.0 To: Luca Paolini References: <52723B7E.8050606@di.unito.it> <52CACE2F.1020300@di.unito.it> <5336D26A.1020800@di.unito.it> In-Reply-To: <5336D26A.1020800@di.unito.it> Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit X-Validation-by: paolini@di.unito.it Subject: [Caml-list] ITRS 2014, Call for Participation ======================================================================== 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