皆様、
6月にポルトガルで開催されるintersection typesに関するワークショップITRS 2016の 論文募集案内をお送りします。 RTAとTLCAが合併してできたFSCD 2016の併設ワークショップです。 皆様からの論文投稿をお待ちしております
小林直樹 東京大学大学院情報理工学系研究科コンピュータ科学専攻 〒113-0033 東京都文京区本郷7-3-1 Phone: 03-5841-4124 Fax: 03-5841-4124 email: [email protected]
INTERSECTION TYPES AND RELATED SYSTEMS (ITRS 2016)
http://www-kb.is.s.u-tokyo.ac.jp/ITRS2016/
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.
IMPORTANT DATES
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).
PROGRAM COMMITTEE
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)
INFORMATION
For further information, please contact Naoki Kobayashi Email: koba AT is DOT s DOT u-tokyo DOT ac DOT jp