473,289 Members | 1,952 Online
Bytes | Software Development & Data Engineering Community
Post Job

Home Posts Topics Members FAQ

Join Bytes to post your question to a community of 473,289 software developers and data experts.

POPL 2006 Call for Papers

dpw
************************************************** *******************
* ACM SIGPLAN-SIGACT Symposium *
* on *
* Principles of Programming Languages *
* *
* January 11-13, 2006 *
* Charleston Place Hotel *
* Charleston, South Carolina *
* *
* Call for Papers *
* *
* http://www.cs.princeton.edu/~dpw/popl/06/ *
************************************************** *******************

Important dates

* Submission deadline: 23:00 18 July, 2005 Samoan time
* Author review period: 23:00 12 Sept to 23:00 14 Sept, 2005, Samoan
time
* Author notification: 26 Sept, 2005
* Final paper due: To be announced.

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 on
principles and innovations are welcome, ranging from formal frameworks
to reports on practical experiences.

Submissions on a diversity of topics are sought, particularly ones that
identify new research directions. POPL 2006 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.

Submission guidelines

Due date & time: Submissions must be filed at the web site by 23:00
Monday 18 July, Apia, Samoa time. Some equivalents to this time are

* New York: 5:00 AM = 5h00 (19 July)
* San Francisco: 2:00 AM = 2h00 (19 July)
* Chicago: 4:00 AM = 4h00 (19 July)
* Paris: Noon (19 July)
* Hong Kong: 6:00 PM = 18h00 (19 July)
* UTC: 10:00 AM (19 July)

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

Authors should submit a 100-200 word abstract and a full paper by 23:00
Apia, Samoa Time on Monday, 18 July, 2005. Submissions should be no
more than 12 pages (including bibliography) in standard ACM SIGPLAN
conference format: two columns, nine-point font on a ten-point
baseline, with pages 20pc (3.33in) wide and 54pc (9in) tall, with a
column gutter of 2pc (0.33in). Detailed formatting guidelines are
available at http://www.acm.org/sigs/sigplan/authorInformation.htm,
along with formatting templates or style files for LaTeX. You don't
need to include categories, keywords, etc., though you are welcome to
do so. Also, note that the ACM copyright notice is not required of
submissions, only of accepted papers.

Authors wishing to supply additional material to the reviewers beyond
the 12-page limit can do so in clearly marked appendices, on the
understanding that reviewers are not required to read the appendices.
Submissions that do not meet these guidelines will not be considered.
The submission deadline and length limitations are firm.

Submissions will be carried out electronically via the Web, at the URL
given above. Papers must be submitted in either PDF format or as
PostScript documents that are interpretable by Ghostscript. 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. 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 will be given a 2-day period (23:00 12 Sept. to 23:00 14 Sept.
2005 Samoa time) to read and respond to the reviews for their papers
before the PC meeting. Authors of submitted papers will receive more
details from the submission site.

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
student membership of SIGPLAN free for one year. As members of SIGPLAN
they may apply for travel fellowships from the PAC fund.

Conference Chair

Greg Morrisett
Harvard University
33 Oxford Street
Cambridge, MA 02138 USA
greg at eecs dot harvard dot edu

Program Chair

Simon Peyton Jones
Microsoft Research Ltd,
7 JJ Thomson Ave,
Cambridge CB3 0FB, UK
si*****@microsoft.com

Program Committee

* Giuseppe Castagna, CNRS, LIENS, ENS Paris
* Manuel Chakravarty, University of New South Wales
* Karl Crary, Carnegie Mellon University
* Sophia Drossopoulou, Imperial College London
* Paul Feautrier, ENS Lyon
* Carl A Gunter, University of Illinois
* Rajiv Gupta, University of Arizona
* Fritz Henglein, DIKU, University of Copenhagen
* Trevor Jim, AT&T
* Shriram Krishnamurthi, Brown University
* Gary T Leavens, Iowa State
* Robert O'Callahan, Novell
* Peter O'Hearn, Queen Mary, University of London
* Andreas Podelski, Max Planck Institute, Saarbrücken
* Andrei Sabelfeld, Chalmers University
* Kostis Sagonas, Uppsala University
* Davide Sangiorgi, University of Bologna
* Philip Wadler, University of Edinburgh
* Stephanie Weirich, University of Pennsylvania
* Hongwei Xi, Boston University

Affiliated Events

* Foundations of Object Oriented Languages (FOOL)
* January 14, 2006

* Partial Evaluation and Semantics-Based Program Manipulation (PEPM)
* January 9-10, 2006

* Practical Applications of Declarative Languages (PADL)
* January 9-10, 2006

* Programming Language Technologies for XML (PLAN-X)
* January 14, 2006

* Semantics, Program Analysis and Computing Environments
for Memory Management (SPACE 2006)
* January 14, 2006

* Verification, Model Checking and Abstract Interpretation (VMCAI)
* January 8-10, 2006

Nov 14 '05 #1
0 1202

This thread has been closed and replies have been disabled. Please start a new discussion.

Similar topics

0
by: Emine Ekin | last post by:
/*Apologize for multiple posts*/ FIRST CALL FOR PAPERS ADVIS 2006 Fourth Biennial International Conference on Advances in Information Systems 18-20 October, 2006 Izmir, Turkey
0
by: erez_acount | last post by:
***************************************************************************** Call For Papers The 2006 International Symposium on Memory Management (ISMM'06) Co-located with PLDI 2006 ...
0
by: Torsten Grust | last post by:
Call for Papers X I M E - P 2 0 0 6 3rd International Workshop on XQuery Implementation, Experience and Perspectives June 30, 2006 Collocated with ACM SIGMOD/PODS 2006, Chicago, USA ...
0
by: Torsten Grust | last post by:
Second Call for Papers X I M E - P 2 0 0 6 3rd International Workshop on XQuery Implementation, Experience and Perspectives June 30, 2006 Collocated with ACM SIGMOD/PODS 2006, Chicago, USA...
0
by: Armin Rigo | last post by:
Hi all, A shameless plug and reminder for EuroPython 2006 (July 3-5): * you can submit talk proposals until May 31st. * there is a refereed papers track; deadline for abstracts: May 5th....
0
by: sorin.lerner | last post by:
********************************************************************* * ACM SIGPLAN-SIGACT Symposium * * on ...
0
by: sorin.lerner | last post by:
********************************************************************* * ACM SIGPLAN-SIGACT Symposium * * on ...
0
by: sorin.lerner | last post by:
********************************************************************* * ACM SIGPLAN-SIGACT Symposium * * on ...
2
isladogs
by: isladogs | last post by:
The next Access Europe meeting will be on Wednesday 7 Feb 2024 starting at 18:00 UK time (6PM UTC) and finishing at about 19:30 (7.30PM). In this month's session, the creator of the excellent VBE...
0
by: MeoLessi9 | last post by:
I have VirtualBox installed on Windows 11 and now I would like to install Kali on a virtual machine. However, on the official website, I see two options: "Installer images" and "Virtual machines"....
0
by: DolphinDB | last post by:
The formulas of 101 quantitative trading alphas used by WorldQuant were presented in the paper 101 Formulaic Alphas. However, some formulas are complex, leading to challenges in calculation. Take...
0
by: DolphinDB | last post by:
Tired of spending countless mintues downsampling your data? Look no further! In this article, you’ll learn how to efficiently downsample 6.48 billion high-frequency records to 61 million...
0
by: Aftab Ahmad | last post by:
Hello Experts! I have written a code in MS Access for a cmd called "WhatsApp Message" to open WhatsApp using that very code but the problem is that it gives a popup message everytime I clicked on...
0
by: Aftab Ahmad | last post by:
So, I have written a code for a cmd called "Send WhatsApp Message" to open and send WhatsApp messaage. The code is given below. Dim IE As Object Set IE =...
0
by: ryjfgjl | last post by:
ExcelToDatabase: batch import excel into database automatically...
0
isladogs
by: isladogs | last post by:
The next Access Europe meeting will be on Wednesday 6 Mar 2024 starting at 18:00 UK time (6PM UTC) and finishing at about 19:15 (7.15PM). In this month's session, we are pleased to welcome back...
0
by: Vimpel783 | last post by:
Hello! Guys, I found this code on the Internet, but I need to modify it a little. It works well, the problem is this: Data is sent from only one cell, in this case B5, but it is necessary that data...

By using Bytes.com and it's services, you agree to our Privacy Policy and Terms of Use.

To disable or enable advertisements and analytics tracking please visit the manage ads & tracking page.