| |||||||||||||||||
POPL 2011 : The 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming LanguagesConference Series : Symposium on Principles of Programming Languages | |||||||||||||||||
Link: http://www.cse.psu.edu/popl/11/ | |||||||||||||||||
| |||||||||||||||||
Call For Papers | |||||||||||||||||
Scope
The annual Symposium on Principles of Programming Languages is a forum for the discussion of all aspects of programming languages and systems, with emphasis on how principles underpin practice. Both theoretical and experimental papers are welcome, on topics ranging from formal frameworks to experience reports. Important dates Paper submission July 14, 2010 (Wednesday) Author response period September 15-16, 2010 (Wednesday-Thursday) Author notification October 8, 2010 (Friday) Camera ready November 9, 2010 (Tuesday) Conference January 26-28, 2011 Organizers General Chair: Thomas Ball Microsoft Research One Microsoft Way, Redmond, WA 98052, USA. tball@microsoft.com Program Chair: Mooly Sagiv Schreiber 317, School of Computer Science Tel-Aviv University, Tel-Aviv 69978, Israel msagiv@post.tau.ac.il Program Committee: Radhia Cousot École Normale Supérieure Oege de Moor Oxford University Computing Laboratory Derek Dreyer Max Planck Institute for Software Systems Azadeh Farzan University of Toronto Kathleen Fisher AT&T Laboratories Matthew Fluet Rochester Institute of Technology Jeff Foster University of Maryland Stephen Freund Williams College Philippa Gardner Imperial College, London Dan Grossman University of Washington Sumit Gulwani Microsoft Research Tim Harris Microsoft Research Naoki Kobayashi Tohoku University Viktor Kuncak EPFL Ken McMillan Cadence Research Laboratories Anders Møller Aarhus University Peter Müller ETH Zurich Aleks Nanevski IMDEA Software David Naumann Stevens Institute of Technology Prakash Panangaden McGill University G. Ramalingam Microsoft Research Jan Vitek Purdue University Eran Yahav IBM Research Hongseok Yang Queen Mary, University of London Steve Zdancewic University of Pennsylvania Workshops Chair: Matthew Might University of Utah Treasurer: Bor-Yuh Evan Chang University of Colorado, Boulder Publicity: Swarat Chaudhuri Pennsylvania State University Jan Christiansen Christian-Albrechts University, Kiel |
|