Re: [TYPES/announce] Call for papers: POPL 2010

  to find m4e between 11-12 or 13.30-15.00 in my office

---

Dept of Computer Science, University of Leicester, Leicester LE1 7RH, UK
Email: [email protected]         WWW: http://www.cs.le.ac.uk/people/fdv1


On Mon, 8 Dec 2008, Swarat Chaudhuri wrote:

> [ The Types Forum (announcements only),
>     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
>
> *********************************************************************
> *                  37th ACM SIGPLAN-SIGACT Symposium
> *                               on
> *               Principles of Programming Languages
> *
> *                      January, 2010
> *                      Spain (details to be announced later).
> *
> *                      Call for Papers
> *
> *                http://www.cse.psu.edu/popl/10
> *
> *********************************************************************
>
> Important dates:
>
> Abstract submission                 8 July 2009 (Wednesday)
> Paper submission                    15 July 2009 (Wednesday)
> Author response period              17-18 September 2009 (Thursday-Friday)
> Author notification                 1 October 2009 (Thursday)
> Camera ready                        2 November 2009 (Monday)
> Conference                          January 2010 (detailed dates
> to be announced)
>
>
> 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.
>
>
> Advice to Authors
>
> Submissions on a diversity of topics are sought, particularly ones
> that identify new research directions.  POPL 2009 is not limited to
> topics discussed in previous symposia. Authors concerned about the
> appropriateness of a topic may communicate by electronic mail with the
> program chair prior to submission.
>
> Explaining a known idea in a new way may make as strong a contribution
> as inventing a new one.  Continuing a tradition established in POPL
> 2008, we encourage the submission of pearls: elegant essays that
> illustrate an idea, for example by developing a short program.
> (Advice on writing pearls can be found in the ICFP 2008 Call for
> Papers.)  However, there is no formal separation of categories and no
> need to explicitly label pearls as such: ALL papers, whether pearl or
> otherwise, will be judged on a combination of correctness,
> significance, novelty, clarity, and elegance.
>
> Each paper should explain its contributions in both general and
> technical terms, identifying what has been accomplished, explaining
> why it is significant, and comparing it with previous work.  Authors
> should strive to make their papers understandable to a broad audience.
> More advice on writing technical papers can be found on the SIGPLAN
> Author Information page.
>
>
> Submission Guidelines
>
> Authors should submit an abstract of at most 300 words and a full
> paper of no more than 12 pages (including bibliography and
> appendices).  The submission deadline and length limitations are firm.
> Submissions that do not meet these guidelines may not be considered.
>
> Submissions should be in standard ACM SIGPLAN conference format: two
> columns, nine-point font on a ten-point baseline, with columns 20pc
> (3.33in) wide and 54pc (9in) tall, with a column gutter of 2pc
> (0.33in). Detailed formatting guidelines are available on the SIGPLAN
> Author Information page
> (http://www.sigplan.org/authorInformation.htm), along with a LaTeX
> class file and template.
>
> Papers must be submitted in PDF format and printable on US Letter size
> paper. Individuals for whom this requirement is a hardship should
> contact the program chair at least one week before the deadline.
>
> Submitted papers must adhere to the SIGPLAN Republication
> Policy. Concurrent submissions to other conferences, workshops,
> journals, or similar forums of publication are not allowed.
>
> The ACM copyright notice is not required of submissions, only of
> accepted papers.  Authors of accepted papers will be required to sign
> the ACM copyright form. Proceedings will be published by ACM Press.
> Categories and keywords need not be included in the submission.
>
> The URL for submission of abstracts and papers will be announced
> nearer to the deadline.
>
>
> Author Response Period
>
> Authors will have a 48-hour period to read and respond to the reviews
> of their papers before the PC meeting. Details of the response process
> will be announced by e-mail a few days beforehand.
>
>
> Student Attendees
>
> Students with accepted papers or posters are encouraged to apply for a
> SIGPLAN PAC grant that will help to cover travel expenses to POPL. Details
> on the PAC program and the application can be found at
> http://www.sigplan.org/PAC.htm. PAC also offers support for companion
> travel.
>
>
> Conference Chair:
>
> Manuel Hermenegildo
> Director, IMDEA-Software
> C.S. Department
> T.U. of Madrid (UPM)
> herme at fi.upm.es
>
>
> Program Chair:
>
> Jens Palsberg
> UCLA Computer Science Department
> 4531K Boelter Hall
> Los Angeles, CA 90095, USA
> palsberg at ucla.edu
>
>
> Program Committee:
>
> Alex Aiken             (Stanford University)
> Rajeev Alur             (University of Pennsylvania)
> Cristiano Calcagno         (Imperial College, London)
> Juan Chen             (Microsoft Research)
> Wei-Ngan Chin             (National University of Singapore)
> Mads Dam              (Royal Institute of Technology,
>                                         Stockholm)
> Erik Ernst                 (Aarhus University)
> John Field                 (IBM T. J. Watson Research Center)
> Cormac Flanagan           (UC Santa Cruz)
> Roberto Giacobazzi             (Universita' degli Studi di Verona)
> Rachid Guerraoui         (EPFL)
> Sorin Lerner             (UC San Diego)
> Calvin Lin             (University of Texas, Austin)
> Atsushi Ohori             (Tohoku University)
> Jens Palsberg             (UCLA)
> Andrey Rybalchenko        (Max Planck Institute for Software Systems)
> Amr Sabry                (Indiana University)
> Mooly Sagiv            (Tel-Aviv University)
> Peter Sewell            (University of Cambridge)
> Tayssir Touili            (CNRS-LIAFA)
>
>
> ***************************************************************************
>
>
>
_________________________________________________________________________________
mozart-users mailing list                               [email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users