[TYPES/announce] Call for papers: INTERSECTION TYPES AND RELATED SYSTEMS (ITRS 2016)
koba at kb.is.s.u-tokyo.ac.jp
Tue Jan 12 20:13:52 EST 2016
INTERSECTION TYPES AND RELATED SYSTEMS (ITRS 2016)
Call for Papers
ITRS 2016 (the Eighth Workshop on Intersection Types and Related
Systems) will be held on 25 June, 2016, in Porto, in affiliation with
FSCD 2016 (1st International Conference on Formal Structures for
Computation and Deduction, http://fscd2016.dcc.fc.up.pt/).
ITRS 2016 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 and similar systems.
- Applications to pi-calculus and similar systems.
- Applications to programming languages and program verification.
- Applications to other areas, such as database query languages and program extraction from proofs.
- Related approaches using behavioural/intensional types to characterize computational properties.
Abstract submission: 28 March, 2016
Paper submission: 31 March, 2016
Author notification: 28 April, 2016
Final version: 29 May, 2016
Workshop: 26 June, 2016
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=itrs2016). 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).
Steffen van Bakel (Imperial College, UK)
Giuseppe Castagna (CNRS, Paris Diderot University, France)
Joshua Dunfield (University of British Columbia, Canada)
Naoki Kobayashi (University of Tokyo, Japan), chair
Jakob Rehof (University of Dortmund, Germany)
Simona Ronchi Della Rocca (University of Tulin, Italy)
Sylvain Salvati (INRIA Bordeaux, France)
Pawel Urzyczyn (University of Warsaw, Poland)
For further information, please contact Naoki Kobayashi
Email: koba AT is DOT s DOT u-tokyo DOT ac DOT jp
More information about the Types-announce