CFP: ITRS '00 (Workshop on Intersection Types & Related Systems)
Call for Papers
Intersection Types and Related Systems (ITRS '00)
University of Geneva, Switzerland
Saturday, 15 July 2000
Co-located with ICALP '00,
the 27th International Colloquium
on Automata, Languages, and Programming
(9 to 15 July 2000)
Submission of papers: Friday, 25 February 2000
Notification of acceptance: Friday, 31 March 2000
Proceedings version: Friday, 28 April 2000
Workshop: Saturday, 15 July 2000
OVERALL TOPIC AND FORMAT OF WORKSHOP:
Types support reliable reasoning in many areas such as programming
languages, logic, linguistics, etc. A _polymorphic_ type is one
that stands for some number of instance types. The use of type
systems for non-trivial purposes generally requires type
Intersection types, which were introduced roughly twenty years ago,
provide type polymorphism by listing type instances. This differs
from the more widely used universal types, which provide type
polymorphism by giving a type scheme that can be instantiated into
various type instances. (A similar relationship holds between union
types and existential types, the duals of intersection types and
Intersection types were initially intended for use in analyzing
and/or synthesizing lambda models as well as in analyzing
normalization properties. Over the last twenty years the scope of
theoretical research on intersection types has broadened (see
possible topics below). Recently, there have been a number of
breakthroughs in the use of intersection types (and similar
technology) for practical purposes such as program analysis.
The ITRS '00 workshop will bring together researchers working on
both the theory and practice of systems with intersection types and
related systems (e.g., union types, refinement types, etc.). The
workshop will last one full day and will contain a long talk by each
invited speaker, a panel discussion, and a short (approx. 25
minutes) talk for each accepted paper. The proceedings will be
published by Carleton University Press in their International
Informatics Series; copies will be distributed at the workshop.
POSSIBLE TOPICS FOR SUBMITTED PAPERS:
Researchers are invited to submit original papers on topics in the
spirit of the workshop. Possible topics for submitted papers
include, but are not limited to:
* Formal properties of systems with intersection types: principal
typings, normalization properties (for normal forms, head-normal
forms, weak head-normal forms, etc.), type inference algorithms.
* Results for clearly related systems, e.g., systems with union
types, refinement types, or singleton types.
* Connections with not-so-clearly related approaches such as
abstract interpretation and contraints.
* Applications to lambda calculus and similar systems, e.g.,
denotational semantics, analysis/synthesis of lambda models
(domains), characterization of operational properties, etc.
* Applications for programming languages, e.g., program analysis
(flow, strictness, totality, etc.), accurate type error
messages, increased flexibility with static typing, separate
compilation and modularity, optimizing transformations, types
for objects, etc.
* Applications for other areas, e.g., database query languages,
program extraction from proofs, type systems for natural
INVITED SPEAKERS (all confirmed):
Mariangiola Dezani-Ciancaglini (UniversitÓ di Torino, Italy)
John Reynolds (Carnegie Mellon University, USA)
Adriana Compagnoni (Stevens Institute of Technology, USA)
Maribel Fernßndez (╔cole Normale SupÚrieure, France)
Thomas Jensen (IRISA/CNRS, Rennes, France)
Jean-Louis Krivine (UniversitÚ Paris 7, France)
Jens Palsberg (Purdue University, Indiana, USA)
Simona Ronchi Della Rocca (UniversitÓ di Torino, Italy)
Betti Venneri (UniversitÓ di Firenze, Italy)
Joe Wells (Chair) (Heriot-Watt University, Edinburgh, Scotland)
TOPIC: A submitted paper must describe work that does not
substantially overlap with work that has been previously published
or is currently being considered elsewhere (e.g., another
workshop, conference, or journal). Feel free to consult the
program chair on the appropriateness of a topic or the possibility
of conflict with another publication.
PRINTED APPEARANCE: The paper must be written in English. The paper
(including bibliography) should not exceed 15 pages. The paper
should use reasonable font size and internal spacing. The printed
area should be in one column occupying 130 mm horizontally and 200
mm vertically. (WARNING: the printed area size is small! Do not
wait until the last minute to make this adjustment!) It is
recommended to include full proofs of any theorems in appendices
if they will not fit in 15 pages. However, any appendices beyond
the 15-page limit should not be needed for judging the paper and
will not be included in the proceedings.
PAPER ELECTRONIC FORMAT: The paper should be in PostScript. Every
effort should be made to ensure that only portable PostScript
features are used (e.g., avoid using non-standard built-in fonts).
For other formats, ask the program chair well in advance of the
ADMINISTRATIVE INFORMATION: The paper should include (1) the title,
(2) the list of authors, (3) a brief abstract (fewer than 200
words), (4) a short list of key words/topics, and (5) the name,
e-mail address, postal address, voice telephone number, and fax
number of the corresponding author. All of this information
should be repeated at the beginning of the submission e-mail
message in plain text (e.g., no TeX codes).
SUBMISSION E-MAIL FORMAT: The submission should be an e-mail message
sent to the submission address (see below) to arrive no later than
noon UTC on the day of the submission deadline (see above). This
e-mail message should contain first the administrative information
and then the paper. The paper should be included in the e-mail
message either in uuencoded format or as a properly labelled MIME
attachment. The name of the uuencoded file or MIME attachment
should begin with the surnames of the authors, in lowercase
letters, separated by "+".
AFTER THE SUBMISSION: Expect submissions to be acknowledged within a
day. All submissions will be reviewed by at least three people.
Notification of acceptance or rejection will occur by the date
indicated above. The revised paper for the proceedings together
with a signed copyright assignment must be received by us by the
date indicated above. The authors of each accepted paper are
responsible for giving a talk on the paper at the workshop.
The workshop is colocated with the ICALP '00 conference, which will
be held at the University of Geneva. Accomodations at a very
special ICALP rate have been reserved in a couple of hotels and very
inexpensive rooms will be available at the Student Housing. Lunch
will be served daily on campus and there will be morning and
afternoon refreshment breaks. For more details see the ICALP '00
web address given above.
Submission e-mail: firstname.lastname@example.org
Program chair: Joe Wells
telephone: +44 131 451 3869
telephone messages: +44 131 451 3328
fax: +44 131 451 3327
postal: Computing & Electrical Engineering Dept.
EDINBURGH, EH14 4AS