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 E6CE67F862; Thu, 27 Feb 2014 17:41:00 +0100 (CET) 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: AiwdAH1pD1OCwJwBnGdsb2JhbABag0GBIaMmAgGeSQ4BAQEBAQgLCQkUKIJJGwgBASYQAjsTAxgDAgECAUsNCAEBh3UNqG+EVQEFiVeTSwaNcwoHAYUOmW6LNIhygWcJFw X-IPAS-Result: AiwdAH1pD1OCwJwBnGdsb2JhbABag0GBIaMmAgGeSQ4BAQEBAQgLCQkUKIJJGwgBASYQAjsTAxgDAgECAUsNCAEBh3UNqG+EVQEFiVeTSwaNcwoHAYUOmW6LNIhygWcJFw X-IronPort-AV: E=Sophos;i="4.97,555,1389740400"; d="scan'208";a="50756041" 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; 27 Feb 2014 17:41:00 +0100 X-MailScanner-From: paolini@di.unito.it X-SpamCheck: not spam, SpamAssassin (not cached, score=-57.206, required 3, autolearn=not spam, AUTHENTICATEDUSER -100.00, AWL 43.60, 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: s1RGTpvJ018501 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 s1RGTpvJ018501 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES128-SHA bits=128 verify=NO AuthenticatedUser=paolini ); Thu, 27 Feb 2014 17:29:51 +0100 (CET) DKIM-Filter: OpenDKIM Filter v2.8.0 mail.di.unito.it s1RGTpvJ018501 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=di.unito.it; s=dipinfo2011; t=1393518609; bh=4f0lbq7n0B/0nT3PmSTYjjsQ1euT+JgPNd2becBE/MA=; h=Date:From:To:Subject; b=lZ3E9h9N44An2zZIU4STT+odA8vJgRfN42mYIJB8ibITQIPqjkuQ1aMaa2+Sv9VPP HrgWN26XvjFmR82zbun83PxX4WZIRp3YxdbCbyPUD3kykK3GSwarj6X9AiXvuOq0zE VLODq9g6iNFsVxNqUBTK/KCEStGLO3OeJY8iU8Lw= Message-ID: <530F67FF.4000406@di.unito.it> Date: Thu, 27 Feb 2014 17:29:51 +0100 From: Luca Paolini User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:24.0) Gecko/20100101 Thunderbird/24.3.0 MIME-Version: 1.0 To: Luca Paolini Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Validation-by: paolini@di.unito.it Subject: [Caml-list] 2nd CFP, Intersection Types and Related Systems 2014 ******************************************************************************* 2nd call for papers: INTERSECTION TYPES AND RELATED SYSTEMS (ITRS) at the Vienna Summer of Logic 2014 http://vsl2014.at/itrs/ Submission is open at: https://www.easychair.org/conferences/?conf=itrs2014 Deadline: March 31st, 2014 ******************************************************************************* ITRS 2014 (the Seventh Workshop on Intersection Types and Related Systems) will be affiliated with TLCA (Typed Lambda Calculi and Applications, to be held jointly with RTA) as part of FLoC 2014 (the Sixth Federated Logic Conference) and will take place in Vienna on July 18th 2014. FLoC 2014 will be part of the Vienna Summer of Logic (VSL), the largest logic event in history, with over 2000 expected participants. FLoC 2014 will host eight conferences and many workshops. ITRS 2014 workshop aims to bring together researchers working on both the theory and practical applications of systems based on intersection types and related approaches. (More details at the workshop website http://vsl2014.at/itrs/). SUBMISSION AND PUBLICATION Submission web site: https://www.easychair.org/conferences/?conf=itrs2014 (1) Before the workshop, authors are invited to submit an extended abstract (max. 10 pages) in PDF format. (2) Accepted papers will be included on the general VSL'14 Proceedings USB-stick (3) After the workshop, authors of accepted papers will be invited to submit full versions (we foresee inclusion in EPTCS). TOPICS Possible topics for submitted papers include, but are not limited to: - Formal properties of systems with intersection types. - Results for related systems, such as union types, refinement types, or singleton types. - Applications to lambda calculus and similar systems. - Applications to pi-calculus and similar systems. - Applications for programming languages. - Applications for other areas, such as database query languages and program extraction from proofs. - Related approaches using behavioural/intensional types to characterize computational properties. DATES Abstract submission: 28.03.2014 Paper submission: 31.03.2014 Author notification: 28.04.2014 Final version: 29.05.2014 INVITED SPEAKER Luke Ong (Oxford University) PROGRAM COMMITTEE Moritz Martens (Technical University of Dortmund) Luca Paolini (University of Torino) Frank Pfenning (Carnegie Mellon University) Jakob Rehof (Technical University of Dortmund) - chair Takeshi Tsukada (Tohoku University and Oxford University) Pawel Urzyczyn (University of Warsaw, Institute of Informatics) Joe Wells (Heriot-Watt University) Zhiwu Xu (PPS, Paris 7 and SKLCS, ISCAS) INFORMATION For further information, please contact Jakob Rehof Email: jakob.rehof AT cs DOT tu-dortmund DOT de