[clean-list] 2nd CFP, Intersection Types and Related Systems 2014

Luca Paolini paolini at di.unito.it
Thu Feb 27 17:29:51 MET 2014


*******************************************************************************
2nd call for papers:
INTERSECTION TYPES AND RELATED SYSTEMS (ITRS)
at the Vienna Summer of Logic 2014
http://vsl2014.at/itrs/

Submission is open at:
   https://www.easychair.org/conferences/?conf=itrs2014

Deadline: March 31st, 2014
*******************************************************************************

ITRS 2014 (the Seventh Workshop on Intersection Types and Related
Systems) will be affiliated with TLCA (Typed Lambda Calculi and 
Applications, to be held jointly with RTA) as part of FLoC 2014 (the 
Sixth Federated Logic Conference) and will take place in Vienna on July 
18th 2014.
FLoC 2014 will be part of the Vienna Summer of Logic (VSL), the largest 
logic event in history, with over 2000 expected participants. FLoC 2014 
will host eight conferences and many workshops.

ITRS 2014 workshop aims to bring together researchers working on both 
the theory and practical applications of systems based on intersection 
types and related approaches.
(More details at the workshop website http://vsl2014.at/itrs/).

SUBMISSION AND PUBLICATION

Submission web site: https://www.easychair.org/conferences/?conf=itrs2014

(1) Before the workshop, authors are invited to submit an extended 
abstract (max. 10 pages) in PDF format.
(2) Accepted papers will be included on the general VSL'14 Proceedings 
USB-stick
(3) After the workshop, authors of accepted papers will be invited to 
submit full versions (we foresee inclusion in EPTCS).

TOPICS

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 for programming languages.
- Applications for other areas, such as database query languages and 
program extraction from proofs.
- Related approaches using behavioural/intensional types to characterize 
computational properties.

DATES

Abstract submission: 28.03.2014
Paper submission: 31.03.2014
Author notification: 28.04.2014
Final version: 29.05.2014

INVITED SPEAKER

     Luke Ong (Oxford University)

PROGRAM COMMITTEE

     Moritz Martens (Technical University of Dortmund)
     Luca Paolini (University of Torino)
     Frank Pfenning (Carnegie Mellon University)
     Jakob Rehof (Technical University of Dortmund) - chair
     Takeshi Tsukada (Tohoku University and Oxford University)
     Pawel Urzyczyn (University of Warsaw, Institute of Informatics)
     Joe Wells (Heriot-Watt University)
     Zhiwu Xu (PPS, Paris 7 and SKLCS, ISCAS)

INFORMATION

For further information, please contact Jakob Rehof
Email: jakob.rehof AT cs DOT tu-dortmund DOT de


More information about the clean-list mailing list