[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]


========================================================================
                        CALL FOR PARTICIPATION

                             **ITRS 2010**

     Fifth Workshop on  Intersection Types and Related Systems

                     Edinburgh, UK, 9 July 2010
                           http://gdn.dsi.unifi.it/itrs/

                      affiliated with LICS 2010
                         pre-FLoC'10 workshop
========================================================================
ITRS 2010 is a venue for researchers working on
both the theory and practical applications of systems based on
intersection types and related approaches.
You are invited to participate.

REGISTRATION: use FLoC registration page
http://www.floc-conference.org/registration.html
EARLY REGISTRATION is open and lasts until May 17.

WORKSHOP PROGRAMME:

Invited Talks

     * Adriana Compagnoni (Stevens Inst. of Technology, New-Jersey)
       Church-style and Curry-style Subtyping

     * Simona Ronchi Della Rocca (Univ. degli Studi di Torino)
       A Logic Foundation for Intersection and Union Types


Contributed Talks

*Steffen van Bakel
Sound and Complete Typing for Lambda-Mu

*Joshua Dunfield
Untangling Typechecking of Intersections and Unions

*Elena Giachino
On Semantic Subtyping and Safe Object-Oriented Sessions

*Paola Giannini, Mariangiola Dezani-Ciancaglini and Elena Zucca
Intersection types for unbind and rebind

*Luca Padovani
Session Types = Intersection Types + Union Types

*Vilhelm Sjöberg and Aaron Stump
Equality, Quasi-Implicit Products, and Large Eliminations


For program schedule and more information: http://gdn.dsi.unifi.it/itrs/


-- 
Betti Venneri
Dipartimento di Sistemi e Informatica
Universita' di Firenze
Viale Morgagni, 65 -50134 Firenze (Italy)
http://www.dsi.unifi.it/~venneri

Reply via email to