Difference between revisions of "POPL 2009"

Latest revision as of 19:30, 1 April 2022

POPL 2009
The 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Event in series	POPL
Dates	21/01/2009 (iCal) - 23/01/2009
Homepage:	cseweb.ucsd.edu/conferences/popl/09/
Location
Location:	Savannah, Georgia, USA
Loading map... {"minzoom":false,"maxzoom":false,"mappingservice":"leaflet","width":"280px","height":"280px","centre":false,"title":"","label":"","icon":"","lines":[],"polygons":[],"circles":[],"rectangles":[],"copycoords":false,"static":false,"zoom":false,"defzoom":14,"layers":["OpenStreetMap"],"image layers":[],"overlays":[],"resizable":false,"fullscreen":false,"scrollwheelzoom":true,"cluster":false,"clustermaxzoom":20,"clusterzoomonclick":true,"clustermaxradius":80,"clusterspiderfy":true,"geojson":"","clicktarget":"","imageLayers":[],"locations":[{"text":"","title":"","link":"","lat":32.0790074,"lon":-81.0921335,"icon":""}],"imageoverlays":null}
Important dates
Abstracts:	Jul 8, 2008
Submissions:	Jul 15, 2008

Papers:	Submitted 160 / Accepted 36 (22.5 %)
Table of Contents

@@ Line 1: / Line 1: @@
 {{Event
- | Acronym = POPL 2009
+|Acronym=POPL 2009
- | Title = The 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
+|Title=The 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
- | Type = Conference
+|Type=Conference
- | Series =
+|Series=POPL
- | Field = Algorithms
+|Field=Programming Languages
- | Homepage =
+|Homepage=cseweb.ucsd.edu/conferences/popl/09/
- | Start date = Jan 1, 2009
+|Start date=21/01/2009
- | End date =  Jan 31, 2009
+|End date=23/01/2009
- | City= TBD
+|City=Savannah
- | State =
+|State=Georgia
- | Country = TBD
+|Country=USA
- | Abstract deadline = Jul 8, 2008
+|Abstract deadline=Jul 8, 2008
- | Submission deadline = Jul 15, 2008
+|Submission deadline=Jul 15, 2008
- | Notification =
+|Notification=
- | Camera ready =
+|Camera ready=
+|Submitted papers=160
+|Accepted papers=36
+|pageCreator=127.0.0.1
+|pageEditor=Said
+|contributionType=1
 }}
+[[Category:Computability theory]]
-<pre>
-*********************************************************************
-* ACM SIGPLAN-SIGACT Symposium *
-* on *
-* Principles of Programming Languages *
-* *
-* Thursday 10--Saturday 12 January 2008 *
-* San Francisco, California, USA *
-* *
-* Call for Papers *
-* *
-* http://www.cs.ucsd.edu/popl/08 *
-*********************************************************************
-NEW: POPL 2008 encourages the submission of pearls, which are elegant
-essays that illustrate an idea, often by developing a short
-program. Please see below for details.
-Important dates
-    Submission	 11:00 PM Apia Time Monday 16 July 2007
-    Author response 11:00 PM Apia Time Monday 17 September 2007--
-:00 PM Apia Time Wednesday 19 September 2007
-    Notification Friday 28 September 2007
-    Camera ready Thursday 1 November 2007
-    Conference	 Thursday 10--Saturday 12 January 2008
-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.
-Submissions on a diversity of topics are sought, particularly ones
-that identify new research directions. POPL 2008 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.
-Pearls and Advice to Authors
-Explaining a known idea in a new way may make as strong a contribution
-as inventing a new idea. We encourage the submission of pearls:
-elegant essays which illustrate an idea, often by developing a short
-program. There is no formal separation of categories, but a pearl
-should be labelled as such in its abstract. All papers, whether pearl
-or otherwise, will be judged on their correctness, significance,
-novelty, clarity, elegance, and beauty.
-Pearls have long been an accepted form of submission for the Journal
-of Functional Programming (JFP) and the International Conference on
-Functional Programming (ICFP). Advice on writing pearls can be
-found in the ICFP 2006 Call for Papers:
-http://icfp06.cs.uchicago.edu/icfp06-cfp.html
-Each paper, pearl or otherwise, 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. Advice on writing technical
-papers can be found on the SIGPLAN Author Information page:
-http://www.acm.org/sigs/sigplan/authorInformation.htm
-Unlike in 2007, there are no special categories of short and long
-submissions.
-Submission guidelines
-Submissions must be filed at the web site by 11:00 PM Monday 16 July,
-Apia, Samoa time. Some equivalents to this time are
-        * San Francisco: 3:00 AM (17 July)
-        * New York: 6:00 AM (17 July)
-        * Chicago: 5:00 AM (17 July)
-        * London: 11:00 AM (17 July)
-        * Paris: Noon (17 July)
-        * Hong Kong: 6:00 PM (17 July)
-        * UTC: 10:00 AM (17 July)
-For other time-zones/locations, see the Worldclock at the following
-URL:
-http://www.timeanddate.com/worldclock/fixedtime.html?month=7&day=16&year=2007&hour=23&min=0&sec=0&p1=282
-Submissions will be carried out electronically via the Web,
-at the Submission URL:
-http://quad.softconf.com/start/popl08/submit.html
-Authors should submit an abstract of at most 300 words and a full
-paper of no more than 12 pages (including bibliography and
-appendices). Submissions that do not meet these guidelines will not
-be considered. The submission deadline and length limitations are
-firm.
-Submissions should be 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, along with a LaTex class
-file and template, are available on the SIGPLAN Author Information
-page:
-http://www.acm.org/sigs/sigplan/authorInformation.htm
-You need not include categories or keywords in the submission, though
-you are welcome to do so. The ACM copyright notice is not required of
-submissions, only of accepted papers.
-Papers must be submitted in PDF format and printable on
-US Letter size 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 the SIGPLAN Republication Policy:
-http://acm.org/sigplan/republicationpolicy.htm
-Concurrent submissions to other journals, conferences, workshops, or
-similar forums of publication are not allowed.
-Authors of accepted papers will be required to sign the ACM copyright
-form. Proceedings will be published by ACM Press.
-Author Response Period
-Authors will be given a 48-hour period (from 11:00 PM Apia Time Monday
-September to 11:00 PM Apia Time Wednesday 19 September) 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 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
-George Necula
-Electrical Engineering and Computer Science Department
-University of California
-Berkeley, CA 94720, USA
-necula@cs.berkeley.edu
-Program Chair
-Philip Wadler
-School of Informatics, University of Edinburgh
-James Clerk Maxwell Building, King's Buildings
-Mayfield Road, Edinburgh EH9 3JZ
-popl-08@inf.ed.ac.uk
-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 Universitat Munchen
-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, Universitat Freiburg
-Peter Van Roy, Universite catholique de Louvain
-Jan Vitek, Purdue University
-Nobuko Yoshida, Imperial College London
-Steve Zdancewic, University of Pennsylvania
-	</pre>This CfP was obtained from [http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=1290&amp;copyownerid=2 WikiCFP][[Category:Computability theory]]
 [[Category:Programming languages]]

Difference between revisions of "POPL 2009"

Latest revision as of 19:30, 1 April 2022

Navigation menu

Search