[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
2nd CALL FOR PARTICIPATION 2009 International Workshop on Foundations of Object-Oriented Languages (FOOL '09) Sponsored by ACM SIGPLAN Saturday, 24 January 2009 Savannah, Georgia, USA Following POPL '09 http://www.cs.cmu.edu/~aldrich/FOOL09/ -------------------------------------------------------------------------- INVITED SPEAKERS: Peter Thiemann Generalized Interfaces for Java Jeff Foster Adding Static Typing to Ruby TECHNICAL PROGRAM: CZ: Multiple Inheritance Without Diamonds Donna Malayeri Dynamic Interfaces Simon Gay, Antonio Ravara and Vasco Vasconcelos Flattening versus direct semantics for Featherweight Jigsaw Giovanni Lagorio, Marco Servetto and Elena Zucca Growing a Syntax Eric Allen, Ryan Culpepper, Janus Dam Nielsen, Jon Rafkind and Sukyoung Ryu Modular Verification with Shared Abstractions Uri Juhasz, Noam Rinetzky, Arnd Poetzsch-Heffter, Mooly Sagiv and Eran Yahav Recency Types for Dynamically-Typed, Object-Based Languages Phillip Heidegger and Peter Thiemann -------------------------------------------------------------------------- The search for sound principles for object-oriented languages has led to a better understanding of the key concepts of object-oriented languages and to important developments in type theory, semantics, program verification, and program development. The FOOL workshops bring together researchers to share new ideas and results in these areas. The next workshop, FOOL '09 will be held in Savannah, Georgia, USA on Saturday, 24 January 2009, the day after POPL. The program includes two invited speakers, six contributed talks, and lunch. To register for the workshop, use the standard POPL registration form, available through: http://www.regmaster.com/conf/popl2009.html To keep down the cost of registration, we will not be providing printed proceedings. All papers will be available online before the workshop, so you may print any papers you wish to have on hand. -------------------------------------------------------------------------- Program Chair Jonathan Aldrich (Carnegie Mellon University) e-mail: jonathan.aldr...@cs.cmu.edu Program Committee * Viviana Bono (Università di Torino) * Gilad Bracha (Cadence Design Systems) * Sophia Drossopoulou (Imperial College London) * Atsushi Igarashi (Kyoto University) * Ondřej Lhoták (University of Waterloo) * Ole Lehrmann Madsen (Aarhus University) * Sean McDirmid (Microsoft Advanced Technology Center) * Peter Müller (Microsoft Research) * Jeremy Siek (University of Colorado at Boulder) * Mandana Vaziri (IBM Research) -------------------------------------------------------------------------- Steering Committee * Viviana Bono (Universita` di Torino) * Kathleen Fisher (AT&T Labs) * Atsushi Igarashi (Kyoto University) * Benjamin Pierce (University of Pennsylvania) * John Reppy (University of Chicago) * Christopher Stone (Harvey Mudd College) [Chair] * Philip Wadler (University of Edinburgh) -------------------------------------------------------------------------- ------------------------------------------------------------------------ Christopher A. Stone / Associate Professor st...@cs.hmc.edu Computer Science Department, Harvey Mudd College www.cs.hmc.edu/~stone 301 Platt Boulevard, Claremont, CA 91711 (909) 607-8975