The ITRS 2010 workshop aims to bring together researchers working on both the theory and practical applications of systems based on intersection types and related approaches. 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 types to characterize computational properties. SUBMISSION The submission is in two stages. (1) Before the workshop, authors are invited to submit an extended abstract (max. 10 pages) in PDF format: go to the Easychair ITRS 2010 submission site <https://www.easychair.org/login.cgi?conf=itrs2010> and follow the instruction there. Accepted papers will be presented at the workshop and included in the preliminary proceedings, which will made available in electronic form. (2) After the workshop, authors of accepted papers will be invited to submit full versions, which will be referred for inclusion in final post-proceedings. The post-proceedings will be published as a special issue of *Electronic Proceedings in Theoretical Computer Science* (EPTCS<http://www.eptcs.org/>). Submissions must be prepared in LaTeX using the EPTCS macro package ( http://style.eptcs.org/). IMPORTANT DATES *Submission of extended abstracts: March 31, 2010 - midnight CET (GMT+1) Author notification: April 30, 2010 Final version for preliminary proceedings: May 26, 2010 Workshop: July 9, 2010 Submission for EPTC post-proceedings: September 30, 2010 (TBC)* PROGRAM COMMITTEE Mariangiola Dezani-Ciancaglini (Univ.di Torino) Joshua Dunfield (McGill Univ. Montreal) Silvia Ghilezan (Univ. of Novi Sad) Atsushi Igarashi (Kyoto Univ.) Elaine Pimentel (Belo Horizonte Univ.) Betti Venneri (Univ. di Firenze) Chair Joe Wells (Heriot-Watt Univ.Edinburgh). *INFORMATION * For further information, please contact Betti Venneri Email: venn...@dsi.unifi.it -- Elaine. ------------------------------------------------- Elaine Pimentel - DMat/UFMG Address: Departamento de Matematica Universidade Federal de Minas Gerais Av Antonio Carlos, 6627 - C.P. 702 Pampulha - CEP 30.161-970 Belo Horizonte - Minas Gerais - Brazil Phone: 55 31 3409-5970/3409-5994 Fax: 55 31 3409-5692 http://www.mat.ufmg.br/~elaine -------------------------------------------------
_______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
