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 1BC7F7EE99; Mon, 6 Jan 2014 16:56:35 +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: AqwKAC3RylKCwJwBnGdsb2JhbABYg0ODU51mAQGYYIEhDgEBAQEBCAsJCRQogiYBBSMVCAEBJhACDyUCBRMDCwICCQMCAQIBRQYNCAEBiACod3aDXAEFiAeNahEGgSmNBAoHAVeCb4FIjz+KDIstiGaBZwkX X-IPAS-Result: AqwKAC3RylKCwJwBnGdsb2JhbABYg0ODU51mAQGYYIEhDgEBAQEBCAsJCRQogiYBBSMVCAEBJhACDyUCBRMDCwICCQMCAQIBRQYNCAEBiACod3aDXAEFiAeNahEGgSmNBAoHAVeCb4FIjz+KDIstiGaBZwkX X-IronPort-AV: E=Sophos;i="4.95,613,1384297200"; d="scan'208";a="43723174" 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; 06 Jan 2014 16:56:34 +0100 X-MailScanner-From: paolini@di.unito.it X-SpamCheck: not spam, SpamAssassin (not cached, score=-100.795, required 3, autolearn=not spam, AUTHENTICATEDUSER -100.00, AWL 0.01, 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: s06Fcncg024741 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 s06Fcncg024741 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO AuthenticatedUser=paolini ); Mon, 6 Jan 2014 16:38:52 +0100 (CET) DKIM-Filter: OpenDKIM Filter v2.8.0 mail.di.unito.it s06Fcncg024741 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=di.unito.it; s=dipinfo2011; t=1389022750; bh=pVGNOSel3C2uv6gKwxa2NSdZ8D4D/4l3Dfpc66BN7RY=; h=Date:From:To:Subject:References:In-Reply-To; b=iSyTqBXkbyak6AFos3DAwjspJgfwETbBMjjhQbZxWKcwhsr/N9KqQc4mw0oAcY4D9 LB4fIBgCLVoi/8IM16mUfpfwo5Xr0hZCIpijrEZnQox2cRxrbeqWW894LhEig3ztTP /M1/kjNCVd6qyGeog0ySHhLWeFidW4G+19ijlsc0= Message-ID: <52CACE2F.1020300@di.unito.it> Date: Mon, 06 Jan 2014 16:39:27 +0100 From: Luca User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:24.0) Gecko/20100101 Thunderbird/24.2.0 MIME-Version: 1.0 To: Luca Paolini References: <52723B7E.8050606@di.unito.it> In-Reply-To: <52723B7E.8050606@di.unito.it> Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit X-Validation-by: paolini@di.unito.it Subject: [Caml-list] 1st CFP, Intersection Types and Related Systems 2014 ******************************************************************************* INTERSECTION TYPES AND RELATED SYSTEMS (ITRS) at the Vienna Summer of Logic 2014 http://vsl2014.at/itrs/ 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 (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 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