[TYPES/announce] POPL 2008 Call For Participation

Sorin Lerner lerner at cs.ucsd.edu
Fri Dec 7 14:51:33 EST 2007


*********************************************************************
*                  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


More information about the Types-announce mailing list