******************************************************************************* INTERSECTION TYPES AND RELATED SYSTEMS (ITRS) at the Vienna Summer of Logic 2014 http://vsl2014.at/itrs/
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 (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 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 ------------------------------------------------------------------------------ Rapidly troubleshoot problems before they affect your business. Most IT organizations don't have a clear picture of how application performance affects their revenue. With AppDynamics, you get 100% visibility into your Java,.NET, & PHP application. Start your 15-day FREE TRIAL of AppDynamics Pro! http://pubads.g.doubleclick.net/gampad/clk?id=84349831&iu=/4140/ostg.clktrk _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
