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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 3E9767F890; Sat, 29 Mar 2014 15:20:47 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of paolini@di.unito.it) identity=pra; client-ip=130.192.156.1; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="paolini@di.unito.it"; x-sender="paolini@di.unito.it"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.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=mail2-smtp-roc.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 (mail2-smtp-roc.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=mail2-smtp-roc.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: ApYBAOvVNlOCwJwBnGdsb2JhbABYg0GDYb97gSkOAQEBAQEICwkJFBgQgiYBBSMVCAEBJhACDyUCBRMDCwICCQMCAQIBRQYNCAEBh3Wtd3aDXwEFnmgRBoEpjHQKBwFXgm+BSY9fiiaLO4h4gWgJFw X-IPAS-Result: ApYBAOvVNlOCwJwBnGdsb2JhbABYg0GDYb97gSkOAQEBAQEICwkJFBgQgiYBBSMVCAEBJhACDyUCBRMDCwICCQMCAQIBRQYNCAEBh3Wtd3aDXwEFnmgRBoEpjHQKBwFXgm+BSY9fiiaLO4h4gWgJFw X-IronPort-AV: E=Sophos;i="4.97,756,1389740400"; d="scan'208";a="65303243" Received: from pianeta.di.unito.it (HELO mail.di.unito.it) ([130.192.156.1]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 29 Mar 2014 15:20:46 +0100 X-MailScanner-From: paolini@di.unito.it X-SpamCheck: not spam, SpamAssassin (not cached, score=-62.476, required 3, autolearn=not spam, AUTHENTICATEDUSER -100.00, AWL 36.83, BAYES_00 -1.90, MISSING_FROM 1.00, RCVD_IN_DNSWL_LOW -0.70, RDNS_NONE 0.79, SPF_PASS -0.00, SUBJ_ALL_CAPS 1.51, TO_EQ_FM_DIRECT_MX 0.00) X-AntiVirus: Email Clean X-dipinfo-MailScanner-ID: s2TE2Ghr006696 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 s2TE2Ghr006696 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES128-SHA bits=128 verify=NO AuthenticatedUser=paolini ); Sat, 29 Mar 2014 15:02:26 +0100 (CET) DKIM-Filter: OpenDKIM Filter v2.8.0 mail.di.unito.it s2TE2Ghr006696 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=di.unito.it; s=dipinfo2011; t=1396101862; bh=TSrO8f0jPDxrrYAa1IjGuPMGYa8I4KBx2G9NYytb4Fg=; h=Date:From:To:Subject:References:In-Reply-To; b=buoRSbwH/9TUWYZXbPhWbh0jTe9ucQWVuglm9V+ExXpGEut9WUwZELsXPkGOYkV0n hl9SDxyu89mwFGZjgNNrkPAz/1U8V8xf/i1JlavuGC4dHx2cZgdVyQlKdn9d+fD8tZ ROj5SHZe75phklXjJghWdEEoa80VaOYk26taL4Jw= Message-ID: <5336D26A.1020800@di.unito.it> Date: Sat, 29 Mar 2014 15:02:18 +0100 From: Luca User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:24.0) Gecko/20100101 Thunderbird/24.4.0 MIME-Version: 1.0 To: Luca Paolini References: <52723B7E.8050606@di.unito.it> <52CACE2F.1020300@di.unito.it> In-Reply-To: <52CACE2F.1020300@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] ITRS 2014 - DEADLINE EXTENSION ******************************************************************************* DEADLINE EXTENSION INTERSECTION TYPES AND RELATED SYSTEMS (ITRS) at the Vienna Summer of Logic 2014 http://vsl2014.at/itrs/ New deadline: April 14, 2014 ******************************************************************************* Due to multiple requests, we have decided to extend the submission deadline for ITRS 2014. Details of the new submission deadline are given below. 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: 11.04.2014 Paper submission: 14.04.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