473,287 Members | 1,581 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,287 software developers and data experts.

POPL 07 Call for Papers

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

May 22 '06 #1
0 1598

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

Similar topics

0
by: Hubert Baumeister | last post by:
Fifth International Conference on eXtreme Programming and Agile Processes in Software Engineering XP2004 June 6-10, 2004, Garmisch-Partenkirchen, Germany http://www.xp2004.org/
0
by: dpw | last post by:
********************************************************************* * ACM SIGPLAN-SIGACT Symposium * * on ...
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: arigo | last post by:
Hi all, He're a reminder to submit a talk at EuroPython! Like each year, we have both the regular conference (see call at http://indico.cern.ch/conferenceCFA.py?confId=13919) and a somewhat...
0
by: Nicola Larosa | last post by:
PyCon Uno: Python first Italian conference about Python. Call for Papers =============== Important dedalines ------------------- * April 30, 2007 Submission of paper and tutorial...
0
by: icmla | last post by:
CALL FOR PAPERS The Sixth International Conference on Machine Learning and Applications ICMLA 2007 December 13-15, 2007 Cincinnati, OH, USA http://www.cs.csubak.edu/~icmla/icmla07/...
0
by: sorin.lerner | last post by:
********************************************************************* * ACM SIGPLAN-SIGACT Symposium * * on ...
0
by: Fortis Florin | last post by:
CALL FOR PAPERS: Workshop on Workflow and Process Management (WfPM'08), September 2008, Timisoara, Romania ...
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: 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: marcoviolo | last post by:
Dear all, I would like to implement on my worksheet an vlookup dynamic , that consider a change of pivot excel via win32com, from an external excel (without open it) and save the new file into a...
1
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: ArrayDB | last post by:
The error message I've encountered is; ERROR:root:Error generating model response: exception: access violation writing 0x0000000000005140, which seems to be indicative of an access violation...
1
by: PapaRatzi | last post by:
Hello, I am teaching myself MS Access forms design and Visual Basic. I've created a table to capture a list of Top 30 singles and forms to capture new entries. The final step is a form (unbound)...

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.