POPL 07 Call for Papers (France, Jan 07)

*********************************************************************
* ACM SIGPLAN-SIGACT Symposium *
* on *
* Principles of Programming Languages *
* *
* January 17-19, 2007 *
* Nice, France *
* *
* Call for Papers *
* *
* http://www.cs.ucsd.edu/popl/07 *
*********************************************************************


Important dates


* Submission deadline: 05:00 AM @ 15 July, 2006 EST (New York time)
* Submission url: To be announced. Check the main POPL 2007 website.
* Author notification: 23 Sept, 2006
* Final paper due: To be announced.


Scope & Paper Categories


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 Committee seeks submissions on the entire range of
topics. Furthermore POPL 2007 is not limited to topics discussed at
previous symposia.


POPL 2007 will include a new category of short papers and short
presentations. The objective is to provide authors with an
opportunity to present innovative ideas (without working out a full
paper) and to get feedback from a broad audience. Short papers should
therefore emphasize the novelty in their submission over others.


Finally the Program Committee reserves the right to accept long
submissions in both categories, that is, as either regular papers or
as short papers for short presentations. Authors of long submissions
who don't wish to be considered for short presentations and short
papers may indicate so during the submission process.


Submission guidelines


Due date & time: Submissions must be filed at the web site by 5:00 AM
New York time 15 July 2006.


Submission URL: To be announced. Check the main POPL 2007 website.


Both short and long submissions should use the standard ACM SIGPLAN
conference format. For detailed style guidelines, see


    http://www.acm.org/sigs/sigplan/authorInformation.htm


The page limit for a long submissions is 12 pages; for short
submissions it is 6 pages. The length limits in each category are
strictly enforced.


Submissions will be carried out electronically via the Web, at the URL
given above. Papers must be submitted in PDF format. They must be
printable on US Letter sized paper. Individuals for which this
requirement is a hardship should contact the program chair at least
one week before the deadline.


Submitted papers must adhere to SIGPLAN's republication policy.
Concurrent submissions to other journals, conferences, workshops, or
similar forums of publication are not allowed. In general, each paper
should explain its contributions in both general and technical terms,
clearly identifying what has been accomplished, explaining why it is
significant, and comparing it with previous work. Authors should
strive to make the technical content of their papers understandable to
a broad audience.


Authors of accepted papers will be required to sign the ACM copyright
form. Proceedings will be published by ACM Press.


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.


Conference Chair


  Martin Hoffmann
  Ludwig-Maximilians-Universitat
  Oettingenstr 67,
  80538, Munich, GERMANY


Program Committee Chair


  Matthias Felleisen
  College of Computer Science
  Northeastern University
  Boston, MA 02115
  USA


Program Committee


  Hans Boehm HP Laboratories
  Craig Chambers U Washington
  Patrick Cousot ENS, Paris
  Benjamin Goldberg NYU, New York
  Andy Gordon Microsoft Research, Cambridge
  Dan Grossman U Washington
  John Hatcliff Kansas State U
  Tom Henzinger EPFL, Lausanne
  Paul Hudak Yale
  Mark Jones Portland State University, Portland
  Gabriele Keller University of New South Wales
  Oege de Moor Oxford
  Eliot Moss U Massachusetts, Amherst
  Benjamin Pierce U Pennsylvania
  Jakob Rehof Universitat Dortmund
  Olin Shivers Georgia Tech, Atlanta
  Scott Smith Johns Hopkins, Baltimore
  Kevin Sullivan U Virginia
  Carolyn Talcott SRI International
  David Walker Princeton


Affiliated Events


* Declarative Aspects of Multicore Programming (DAMP)
        * January 16th, 2007


* Foundations of Object-Oriented Languages (FOOL)
        * January 20, 2007


* Partial Evaluation and Semantics-Based Program Manipulation (PEPM)
        * January 15-16, 2007


* Practical Applications of Declarative Languages (PADL)
        * January 14-15, 2007


* Programming Language Technologies for XML (PLAN-X)
        * January 20, 2007


* Types in Language Design and Implementation (TLDI)
        * January 16, 2007


* Verification, Model Checking and Abstract Interpretation (VMCAI)
        * January 14-16, 2007

Return to the comp.compilers page.
Search the comp.compilers archives again.