ABOUT FLOC
HOME About FLoC Sponsors Mailing list Contact
PARTICIPATION
Registration Accommodation Student travel support US-based Student travel support Visa information Cancellation Policy Local information Reimbursement forms (new!)
MEETINGS
CAV CSF ICLP IJCAR ITP LICS RTA SAT Workshops (alpha.) Workshops (by conf.) Affiliated Events
PROGRAM
FLoC at a glance Meeting by meeting Day by day Room assignment Invited talks Accepted papers Social events FLoC Brochure (PDF)
!! LAST MINUTE NEWS !! !! ROOM CHANGES !!
ORGANIZATION
Steering Committee Programme Committee Organising Committee
MISCELLANEOUS
Call for Workshops

ITRS 2010 Accepted Papers

Vilhelm Sjöberg and Aaron Stump
Equality, Quasi-Implicit Products, and Large Eliminations
Steffen van Bakel
Sound and Complete Typing for Lambda-Mu
Luca Padovani
Session Types = Intersection Types + Union Types
Paola Giannini, Mariangiola Dezani-Ciancaglini and Elena Zucca
Intersection types for unbind and rebind  (Extended Abstract)
Joshua Dunfield
Untangling Typechecking of Intersections and Unions
Elena Giachino
On Semantic Subtyping and Safe Object-Oriented Sessions