[TYPES/announce] Extended Deadline: ITRS 2010

[Betti Venneri]

==========================================================================
           ***Submission deadline extended to April 12, 2010***

                             **ITRS 2010**

          Fifth Workshop on  Intersection Types and Related Systems
              (A FLoC workshop affiliated with LICS 2010)
                    July 9, 2010, Edinburgh, UK
                   http://gdn.dsi.unifi.it/itrs/
==========================================================================

Call for papers:

http://gdn.dsi.unifi.it/itrs/index.php/call-for-papers/


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 types to characterize
computational properties.

SUBMISSIONS

The submission is in two stages.
(1) Before the workshop, authors are invited to submit an extended
abstract (max. 10 pages) in PDF format, using the Easychair submission
site  http://www.easychair.org/conferences/?conf=itrs2010.
Accepted papers will be presented at the workshop and included in the
preliminary proceedings, which will made available in electronic form.
(2) After the workshop, authors of accepted papers will be invited to
submit full versions, which will be referred for inclusion in final
post-proceedings. The post-proceedings will be  published as a special
issue of Electronic Proceedings in Theoretical Computer Science (EPTCS).
Submissions must be prepared in LaTeX using the EPTCS macro package
(http://style.eptcs.org/).

IMPORTANT DATES

Submission deadline (extended): April 12, 2010
Author notification: April 30, 2010
Final version for preliminary proceedings: May 26, 2010
Workshop: July 9, 2010
Submission for EPTC Post-Proceedings: September 30, 2010 (TBC)

PROGRAM COMMITTEE

Mariangiola Dezani-Ciancaglini (Univ.di Torino)
Joshua Dunfield (McGill Univ. Montreal)
Silvia Ghilezan (Univ. of Novi Sad)
Atsushi Igarashi (Kyoto Univ.)
Elaine Pimentel (Belo Horizonte Univ.)
Betti Venneri (Univ. di Firenze)  Chair
Joe Wells (Heriot-Watt Univ.Edinburgh).

______________________________________________