[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[pept:178] ITRS'04 - Preliminary Call for Papers
---------------------------------------------------------------------
PRELIMINARY CALL FOR PAPERS
Workshop on Intersection Types and Related Systems (ITRS '04)
---------------------------------------------------------------------
University of Turku, Finland
Tuesday, 13 July 2004
http://itrs04.di.unito.it/
Co-located with the Joint Meeting of
ICALP '04, the 31st International Colloquium on
Automata, Languages, and Programming
(12 to 16 July 2004)
and
LICS '04, the 19th Login in Computer Science
(14 to 17 July 2000)
http://www.math.utu.fi/icalp-lics/
---------------------------------------------------------------------
IMPORTANT DATES/DEADLINES:
Submission of papers: Sunday, 11 April 2004
Notification of acceptance: Monday, 31 May 2004
Final version: TO BE ANNOUNCED
Workshop: Tuesday, 13 July 2004
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
polymorphism.
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
universal types.)
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 '04 workshop aims to 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 the
invited speaker, a panel discussion, and a short (approx. 25
minutes) talk for each accepted paper.
Copies of the proceedings will be distributed at the workshop.
The proceedings of ITRS'00 were published by Carleton Scientific.
The proceedings of ITRS'02 were published by Elsevier in the
Electronic Notes in Theoretical Computer Science series.
We are currently deciding about proceedings of ITRS'04.
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
languages.
INVITED SPEAKER (confirmed):
Joe Wells (Heriot-Watt University, Edinburgh, Scotland)
PROGRAM COMMITTEE:
Fabio Alessi (Universita' di Udine, Italy)
Torben Amtoft (Kansas State University, USA)
Steffen van Bakel (Imperial College, UK)
Ge'rard Boudol (INRIA Sophia Antipolis, France)
Mario Coppo (Chair) (Universita' di Torino, Italy)
Ferruccio Damiani (Universita' di Torino, Italy)
Assaf J. Kfoury (Boston University, USA)
Frank Pfenning (Carnegie Mellon University, USA)
SUBMISSION INSTRUCTIONS:
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.
PAPER ELECTRONIC FORMAT: The paper should be in pdf.
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.
WEB SUBMISSION PROCEDURE: instructions will be given soon.
AFTER THE SUBMISSION: All submissions will be reviewed by
at least three people. Notification of acceptance or rejection will
occur
by the date indicated above.
The authors of each
accepted paper are responsible for giving a talk on the paper at
the workshop.
VENUE:
The workshop is colocated with the Joint ICALP '04 and LICS'04
conferences,
which will be held at the University of Turku.
For more details see the ICALP '04 / LICS '04
web address given above.
CONTACT INFORMATION:
Web: http://itrs04.di.unito.it
Submission web: TO BE ANNOUNCED
Program chair: Mario Coppo
e-mail: coppo@xxxxxxxxxxx
telephone: +39 011 670 6738
fax: +39 011 751603
postal: Dipartimento di Informatica,
Universita' di Torino,
C.so Svizzera 185,
I-10149 Torino,
Italy
--
Dr. Ferruccio DAMIANI
Dipartimento di Informatica | Phone: (+39) 011 670 6719
Universita' degli Studi di Torino | Fax : (+39) 011 75 16 03
C.so Svizzera 185 | Email: damiani@xxxxxxxxxxx
I-10149 Torino, Italy | URL : http://www.di.unito.it/~damiani
___________________________________________________________________________
Please avoid sending me Word or PowerPoint attachments.
See http://www.fsf.org/philosophy/no-word-attachments.html