From mboxrd@z Thu Jan  1 00:00:00 1970
X-Sympa-To: caml-list@inria.fr
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 q2R8WNf1018023
	for <caml-list@sympa-roc.inria.fr>; Tue, 27 Mar 2012 10:32:25 +0200
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AuQCACl6cU+CwJwBmWdsb2JhbABFt1J2IgEBAQEBCAsLBxQngi0VAQUIAQEyBAEBOxMDGAMCAQIBWAEFAgEBiAamW4QtAY5JBopihi2WdpIFgVII
X-IronPort-AV: E=Sophos;i="4.73,656,1325458800"; 
   d="scan'208";a="137852190"
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 Mar 2012 10:32:24 +0200
X-MailScanner-From: paolini@di.unito.it
X-SpamCheck: not spam, SpamAssassin (not cached, score=-101.699, required 3,
	autolearn=not spam, AUTHENTICATEDUSER -100.00, AWL -0.91,
	BAYES_00 -1.90, MISSING_HEADERS 1.02, RCVD_IN_DNSWL_LOW -0.70,
	RDNS_NONE 0.79, SPF_PASS -0.00)
X-AntiVirus: Email Clean
X-dipinfo-MailScanner-ID: q2R88TA1005678
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 q2R88TA1005678
	 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO AuthenticatedUser=paolini );
	 Tue, 27 Mar 2012 10:08:29 +0200 (CEST)
X-DKIM: OpenDKIM Filter v2.4.1 pianeta.di.unito.it q2R88TA1005678
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=di.unito.it;
	s=dipinfo2011; t=1332835729;
	bh=AId3ZuylKSzYTh0ecJFIB3VoNNgvOiw7vj8oVxWsYao=;
	h=Message-ID:Date:From:MIME-Version:CC:Subject:Content-Type:
	 Content-Transfer-Encoding;
	b=DRXkIKu2SRUNe/ZGDkgUyQIVTCp8ynRJgDM/V85jNYPF44pXDVBE/iFrRY7kBiDv7
	 NMqwxMGsJ/GB21mdKj9A5LPzmwzDwlwBHBOoGRQ0ZZ1yK5ZOU+/41Yz6RIN6gL71wN
	 KOcITZkp9gnkBtDgXKRh2BAyjM2T4ISjoqhF1wVE=
Message-ID: <4F71757C.4020501@di.unito.it>
Date: Tue, 27 Mar 2012 10:08:28 +0200
From: Luca Paolini <paolini@di.unito.it>
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:11.0) Gecko/20120310 Thunderbird/11.0
MIME-Version: 1.0
CC: Luca Paolini <paolini@di.unito.it>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 8bit
X-Validation-by: paolini@di.unito.it
Subject: [Caml-list] Intersection Types and Related Systems (ITRS 2012) -- Final Call

**********************************************************************
                   Second 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

**********************************************************************

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.

IMPORTANT DATES

     Abstract Submission: April 13
     Author notification: April 30
     Abstract final version due: June 10
     EPTCS Post-proceedings Submission: before September 30th, 2012

SUBMISSION
The submission is in two stages.
(1) Before the workshop, authors are invited to submit an extended 
abstract (3-5 pages, max. 10 pages) in PDF format.
(2) After the workshop, authors of accepted papers will be invited to 
submit full versions, which will be referred for inclusion in EPTCS 
post-proceedings.

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@di.unito.it