[TYPES/announce] 2nd cfp: ITRS - abstract deadline: 8 April 2018

Michele Pagani pagani at irif.fr
Mon Mar 26 09:36:22 EDT 2018


2nd Call for Papers

ITRS 2018

Ninth Workshop on Intersection Types and Related Systems

Oxford, UK, 8 July 2018

Affiliated with FSCD 2018 in FLOC

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

ITRS 2018 will be held on 8 July, 2018, in Oxford, in affiliation with
FLOC 2018 (http://www.floc2018.org).
ITRS 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 SPEAKERS
- Damiano Mazza (CNRS - Université Paris 13, France)
- Pawel Parys (University of Warsaw, Poland)

IMPORTANT DATES

Abstract submission: 8 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 (Università di Torino, Italy)
Boris Duedder (University of Copenhagen, Denmark)
Joshua Dunfield (Queen's University, Canada)
Charles Grellois (Université Aix-Marseille, France)
Naoki Kobayashi (University of Tokyo, Japan)
Michele Pagani (IRIF, Université Paris Diderot, France), chair
Joe Wells (Heriot-Watt University, Scotland)

INFORMATION

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

-- 
Michele Pagani
Institut de Recherche en Informatique Fondamentale
Université Paris Diderot - Paris 7
--------------------------------------


More information about the Types-announce mailing list