INTERSECTION TYPES AND RELATED SYSTEMS (ITRS 2018)

		https://www.irif.fr/~michele/itrs2018

                 	   Call for Papers
                        ===============


ITRS 2018 (the Ninth Workshop on Intersection Types and Related
Systems) will be held on 8 July, 2018, in Oxford, in affiliation with
FLOC 2018 (http://www.floc2018.org).
5ITRS 2018 workshop aims to bring together researchers working on both
the theory and practical applications of systems based on intersection
types and related approaches.

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, pi-calculus and similar systems.
- Applications for programming languages, program analysis, and program verification.
- Applications for other areas, such as database query languages and program extraction from proofs.
- Related approaches using behavioural/intensional types and/or denotational semantics to characterize computational properties.
- Quantitative refinements of intersection types.


INVITED SPEAKER
- Damiano Mazza (CNRS - University Paris 13, France)
- Pawel Parys (University of Warsaw, Poland)

IMPORTANT DATES

Abstract submission: 8 April, 2018 (EXTENDED TO 15 April, 2018)
Paper submission: 15 April, 2018
Author notification: 15 May, 2018
Final version: 28 May, 2018
Workshop: 8 July, 2018


SUBMISSION AND PUBLICATION

The submission is in two stages.

(1) Before the workshop, authors are invited to submit an extended
abstract (max. 10 pages) in PDF format through EasyChair
(https://easychair.org/conferences/?conf=itrs2018). Accepted papers will be
presented at the workshop and included in preliminary proceedings.

(2) After the workshop, authors of accepted papers will be invited to submit full versions,
which will be refereed for inclusion in post-proceedings (which we plan to publish in EPTCS).

PROGRAM COMMITTEE

Ugo de' Liguoro (University of Torino, Italy)
Boris Duedder (University of Copenhagen, Denmark)
Joshua Dunfield (Queen's University, Canada)
Charles Grellois (University of Aix-Marseille, France)
Naoki Kobayashi (University of Tokyo, Japan)
Michele Pagani (IRIF, University Paris Diderot, France), chair
Joe Wells (Heriot-Watt University, Scotland)

INFORMATION

For further information, please contact Michele Pagan
Email: pagani AT irif DOT fr