[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
*********************************************************************
* ACM SIGPLAN-SIGACT Symposium *
* on *
* Principles of Programming Languages *
* *
* January 10-12, 2008 *
* San Francisco USA *
* *
* Call for Participation *
* *
* http://www.cs.ucsd.edu/popl/08 *
*********************************************************************
Important dates
* Early registration deadline: December 13, 2007
* Conference: January 10-12, 2008
Hotel
All the conference events will take place at The Stanford Court
Hotel. We encourage attendees to stay at the conference
hotel. Information about the hotel can be found on the POPL web page:
http://www.cs.ucsd.edu/popl/08/
Scope
The annual Symposium on Principles of Programming Languages is a forum
for the discussion of fundamental principles and important innovations
in the design, definition, analysis, transformation, implementation
and verification of programming languages, programming systems, and
programming abstractions. Both experimental and theoretical papers are
welcome.
The program can be found here:
http://www.cs.ucsd.edu/popl/08/program.html
Student Attendees
Students who have a paper accepted for the conference are offered
SIGPLAN student membership free for one year. As members of SIGPLAN
they may apply for travel fellowships from the PAC fund
(http://www.acm.org/sigs/sigplan/PAC.htm).
General Chair:
George Necula
UC Berkeley
Department of Electrical Engineering and Computer Sciences
Program Chair:
Philip Wadler
University of Edinburgh
School of Informatics
Program Committee:
Amal Ahmed Toyota Technological Institute, Chicago
Lars Birkedal ITU Copenhagen
Guy Blelloch Carnegie-Mellon University
Gilad Bracha Cadence Design Systems
Byron Cook Microsoft Research
Thierry Coquand Chalmers University
Vincent Danos Paris VII
Robby Findler University of Chicago
Neal Glew Intel
Haruo Hosoya University of Tokyo
Matthew Hennessy University of Sussex
Ranjit Jhala University of California, San Diego
Tobias Nipkow Technische Universität München
James Noble Victoria University of Wellington
Sanjiva Prasad IIT Delhi
Zhong Shao Yale University
Yannis Smaragdakis University of Oregon
Eijiro Sumii Tohoku University
Peter Thiemann Universität Freiburg
Peter Van Roy Université Catholique de Louvain
Jan Vitek Purdue University
Nobuko Yoshida Imperial College London
Steve Zdancewic University of Pennsylvania
Affiliated Events
* Partial Evaluation and Semantics-Based Program Manipulation (PEPM)
* January 7-8, 2008
* Practical Applications of Declarative Languages (PADL)
* January 7-8, 2008
* Verification, Model Checking and Abstract Interpretation (VMCAI)
* January 7-9, 2008
* Using Proof Assistants for Programming Language Research or,
How to write your next POPL paper in Coq
* January 8, 2008
* Declarative Aspects of Multicore Programming (DAMP)
* January 9th, 2008
* Programming Language Technologies for XML (PLAN-X)
* January 9, 2008
* Thirty Years of Abstract Interpretation
* January 9, 2008
* Foundations of Object-Oriented Languages (FOOL)
* January 13, 2008
