[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
********************************************************************* CALL FOR PARTICIPATION TLDI 2011 ACM SIGPLAN Workshop on Types in Language Design and Implementation 25 January 2011 Austin, TX, USA To be held in conjunction with POPL 2011 http://www.mpi-sws.org/~dreyer/tldi2011/ ********************************************************************* IMPORTANT DATES Deadline for student travel grant applications: December 17, 2010 Hotel reservation deadline: December 21, 2010 Notification of student travel awards: December 27, 2010 Early registration deadline: December 31, 2010 VENUE TLDI'11 and all POPL'11 affiliated events will take place at the Omni Austin Hotel in downtown Austin, TX. REGISTRATION To register for TLDI'11, follow the link from the POPL 2011 page, at https://regmaster3.com/2011conf/POPL11/register.php SCOPE The role of types and proofs in all aspects of language design, compiler construction, and software development has expanded greatly in recent years. Type systems, type-based analyses and type-theoretic deductive systems have been central to advances in compilation techniques for modern programming languages, verification of safety and security properties of programs, program transformation and optimization, and many other areas. The ACM SIGPLAN Workshop on Types in Language Design and Implementation brings researchers together to share new ideas and results concerning all aspects of types and programming, and is now an annual event. WORKSHOP PROGRAM Session 1: Invited Talk (9:30 - 10:30) Type Design Patterns for Computer Mathematics Georges Gonthier (Microsoft Research, Cambridge) Break (10:30-11:00) Session 2 (11:00-12:30) Singleton: A General-Purpose Dependently-Typed Assembly Language Simon Winwood and Manuel Chakravarty A Type and Effect System for Deadlock Avoidance in Low-Level Languages Prodromos Gerakios, Nikolaos Papaspyrou and Konstantinos Sagonas Extended Alias Type System using Separating Implication Toshiyuki Maeda, Haruki Sato and Akinori Yonezawa Lunch (12:30-14:30) Session 3: Invited Talk (14:30-15:30) Type Safety from the Ground Up Chris Hawblitzel (Microsoft Research, Redmond) Break (15:30-16:00) Session 4 (16:00-17:30) AuraConf: A Unified Approach to Authorization and Confidentiality Jeffrey Vaughan Information Flow Enforcement in Monadic Libraries Dominique Devriese and Frank Piessens The Essence of Monotonic State Alexandre Pilkiewicz and François Pottier