|
|
| Line 5: |
Line 5: |
| | Series = | | | Series = |
| | Field = Algorithms | | | Field = Algorithms |
| | Homepage = | | | Homepage = www.cs.ucsd.edu/popl/09 |
| | Start date = Jan 1, 2009 | | | Start date = Jan 21, 2009 |
| | End date = Jan 31, 2009 | | | End date = Jan 23, 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 |
| Line 17: |
Line 17: |
| }} | | }} |
|
| |
|
| <pre>
| | [[Category:Computability theory]] |
| *********************************************************************
| |
| * 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--
| |
| 11: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
| |
| 17 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&copyownerid=2 WikiCFP][[Category:Computability theory]]
| |
| [[Category:Programming languages]] | | [[Category:Programming languages]] |