From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q0RAiDiP027931 for ; Fri, 27 Jan 2012 11:44:13 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Aq8DAKB+Ik+CwJwBgWdsb2JhbABCrlMiAQEWJiWCFhUBBQgBATIGOxMhAkwNCAEBrUqEIQGOHweIfwENAQIBBAICBQcCAQ4GCAIEAgcCBQICAQQMFgOCaAIJAgECAQEGBQIGBAoCAhKBAwMCAwUIgz2nbA X-IronPort-AV: E=Sophos;i="4.71,579,1320620400"; d="scan'208";a="129066273" Received: from pianeta.di.unito.it ([130.192.156.1]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 27 Jan 2012 11:44:07 +0100 X-MailScanner-From: paolini@di.unito.it X-SpamCheck: not spam, SpamAssassin (not cached, score=-102.952, required 3, autolearn=not spam, AUTHENTICATEDUSER -100.00, AWL 0.55, BAYES_00 -2.60, RCVD_IN_DNSWL_LOW -1.00, RDNS_NONE 0.10, SPF_PASS -0.00) X-AntiVirus: Email Clean X-dipinfo-MailScanner-ID: q0R9vb5X026608 X-dipinfo-MailScanner-Information: Please contact Department of Computer Science technical staff for more information Received: from pianeta.di.unito.it ([130.192.156.1]) by pianeta.di.unito.it (INFO-DIP) with ESMTP id q0R9vb5X026608 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO AuthenticatedUser=paolini ); Fri, 27 Jan 2012 10:57:38 +0100 (CET) X-DKIM: OpenDKIM Filter v2.4.1 pianeta.di.unito.it q0R9vb5X026608 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=di.unito.it; s=dipinfo2011; t=1327658272; bh=IfivdA4Qo5LzRtxFJ7dfvDbH4uc54fNKqVHyD+L6RSE=; h=Message-ID:Date:From:MIME-Version:To:Subject:Content-Type: Content-Transfer-Encoding; b=GdRXtNGGAe0d1aynW4iNLn4zNsEvEPD8xgzCuXIyPvEa5ok3mi8OYq7fiAVQrPrYi z6c1T6af64kt63xHziB+dcyvMo9/aKDDKyaZ39M71EmvT0080O4iUoGxzizWH2atT0 1w8QFUmCxcvBi7JqTrCBH4xbsf7CRnPzlhRpe1oQ= Message-ID: <4F227511.30709@di.unito.it> Date: Fri, 27 Jan 2012 10:57:37 +0100 From: Luca Paolini User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:9.0) Gecko/20111229 Thunderbird/9.0 MIME-Version: 1.0 To: Luca Paolini Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 8bit X-Validation-by: paolini@di.unito.it Subject: [Caml-list] Workshop on Intersection Types and Related Systems (ITRS 2012) ********************************************************************** First CALL FOR PAPER Sixth Workshop on Intersection Types and Related Systems (ITRS 2012) June 29th, Dubrovnik (Croatia). http://itrs2012.di.unito.it/ Workshop held in conjunction with LICS 2012 ********************************************************************** Deadline: April 13th, 2012 --------------------------- ITRS 2010 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 http://itrs2012.di.unito.it/ ). SUBMISSION The submission is in two stages. (1) Before the workshop, authors are invited to submit an extended abstract (max. 10 pages) in PDF format. (2) After the workshop, authors of accepted papers will be invited to submit full versions, for 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/intesional types to characterize computational properties. PROGRAM COMMITTEE Stéphane Lengrand (École Polytechnique) Koji Nakazawa (Kyoto Univ.) Luke Ong (Oxford Univ.) Luca Paolini (Univ. Torino), chair Frank Pfenning (Carniege Mellon Univ.) Betti Venneri (Univ. di Firenze) INFORMATION For further information, please contact Luca Paolini Email: paolini AT di DOT unito DOT it