From: Luca Paolini <paolini@di.unito.it>
To: agda@lists.chalmers.se, agents@cs.umbc.edu, aiia@dis.uniroma1.it,
aila@unicam.it, apng-all@apng.org,
appsem@tcs.informatik.uni-muenchen.de, asl@vassar.edu,
cade@itu.dk, caml-list@inria.fr, categories@mta.ca,
ccl@ps.uni-sb.de, clean-list@science.ru.nl, clp@comp.nus.edu.sg,
comlab@comlab.ox.ac.uk, complog@cs.nmsu.edu,
comprox@doc.ic.ac.uk, compulognet-parimp@dia.fi.upm.es,
concurrency@cwi.nl, cphc-conf@jiscmail.ac.uk, csd@lists.ut.ee,
curry-owner@lists.RWTH-Aachen.DE, dmanet@zpr.uni-koeln.de,
elsnet-list@let.uu.nl, excs@lists.ioc.ee,
fg214@informatik.uni-kiel.de,
finite-model-theory@lists.RWTH-Aachen.DE, fmics@inrialpes.fr,
gdr-im@gdr-im.fr, haskell-owner@haskell.org,
hol-info@lists.sourceforge.net, kgs-list@logic.at,
ki-inf@uni-koblenz.de, kr@kr.org, lfcs-interest@dcs.ed.ac.uk,
lfcs-interest@inf.ed.ac.uk, lics@informatik.hu-berlin.de,
linear@cs.stanford.edu, loco@csc.
Subject: Intersection Types and Related Systems (ITRS 2012) -- 2nd CFP
Date: Fri, 09 Mar 2012 09:00:54 +0100 [thread overview]
Message-ID: <4F59B8B6.70300@di.unito.it> (raw)
**********************************************************************
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
**********************************************************************
Abstract submission: April 13th, 2012
Author notification: April 30th
Final version due: June 10th
--------------------------------------
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
reply other threads:[~2012-03-09 8:00 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=4F59B8B6.70300@di.unito.it \
--to=paolini@di.unito.it \
--cc=agda@lists.chalmers.se \
--cc=agents@cs.umbc.edu \
--cc=aiia@dis.uniroma1.it \
--cc=aila@unicam.it \
--cc=apng-all@apng.org \
--cc=appsem@tcs.informatik.uni-muenchen.de \
--cc=asl@vassar.edu \
--cc=cade@itu.dk \
--cc=caml-list@inria.fr \
--cc=categories@mta.ca \
--cc=ccl@ps.uni-sb.de \
--cc=clean-list@science.ru.nl \
--cc=clp@comp.nus.edu.sg \
--cc=comlab@comlab.ox.ac.uk \
--cc=complog@cs.nmsu.edu \
--cc=comprox@doc.ic.ac.uk \
--cc=compulognet-parimp@dia.fi.upm.es \
--cc=concurrency@cwi.nl \
--cc=cphc-conf@jiscmail.ac.uk \
--cc=csd@lists.ut.ee \
--cc=curry-owner@lists.RWTH-Aachen.DE \
--cc=dmanet@zpr.uni-koeln.de \
--cc=elsnet-list@let.uu.nl \
--cc=excs@lists.ioc.ee \
--cc=fg214@informatik.uni-kiel.de \
--cc=finite-model-theory@lists.RWTH-Aachen.DE \
--cc=fmics@inrialpes.fr \
--cc=gdr-im@gdr-im.fr \
--cc=haskell-owner@haskell.org \
--cc=hol-info@lists.sourceforge.net \
--cc=kgs-list@logic.at \
--cc=ki-inf@uni-koblenz.de \
--cc=kr@kr.org \
--cc=lfcs-interest@dcs.ed.ac.uk \
--cc=lfcs-interest@inf.ed.ac.uk \
--cc=lics@informatik.hu-berlin.de \
--cc=linear@cs.stanford.edu \
--cc=loco@csc. \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).