6 Mar 2020
Torino, Italy
Due to overlapping deadlines of relevant events to the community, and to several requests, the ITRS 2020 deadline is extended to *January the 20th.* ITRS 2020 Call for contributions Tenth Workshop on Intersection Types and Related Systems 6 March 2020, Turin Affiliated with Types 2020 https://types2020.di.unito.it/itrs.html Aims and Scope Intersection types were introduced near the end of the 1970s to overcome the limitations of Curry's type assignment system and to provide a characterization of the strongly normalizing terms of the Lambda Calculus. Although intersection types were initially intended for use in analyzing and/or synthesizing lambda models as well as in analyzing normalization properties, over the last twenty years the scope of the research on intersection types and related systems has broadened in many directions. The ITRS 2020 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. ITRS workshops have been held every two years; Information about the previous events is available at the ITRS home page. Paper Submissions Authors are invited to submit an abstract (2 pages bibliography excluded) in PDF format, through EasyChair. Publishing of a full paper is planned in post-proceedings to appear in EPTCS (pending approval), therefore we recommend using the EPTCS macro package to prepare submissions. Informal proceedings will be made available at the workshop. Invited Speaker * Jeremy Siek (Indiana University Bloomington) Important Dates: *Abstract submission: 20 January (new), 2020* Author notification: 1 February, 2020 Final version: 15 February, 2020 Workshop: 6 March, 2020 Program Committee: Ugo de' Liguoro (University of Turin) Jeremy Siek (Indiana University Bloomington) Andrej Dudenhefner (Saarland University) Antonio Bucciarelli (Université Paris Diderot) Daniel de Carvalho (Innopolis University) Kazushige Terui (Kyoto University) Silvia Ghilezan (University of Novi Sad) Organizers: Ugo de' Liguoro (University of Turin, Italy) Riccardo Treglia (University of Turin, Italy) Steering Committee: Mariangiola Dezani-Ciancaglini (University of Turin, Italy) Jakob Rehof (University of Dortmund, Germany) Joe Wells (Heriot-Watt University, Scotland) -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html Archive: http://www.illc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam