From: Viktor Vafeiadis <viktor@mpi-sws.org>
To: caml-list@yquem.inria.fr
Subject: [Caml-list] POPL 2013: Call for papers
Date: Tue, 29 May 2012 10:24:34 +0200 [thread overview]
Message-ID: <5D093993-5D53-41C9-9D0D-2830FA01147B@mpi-sws.org> (raw)
********************* POPL 2013: Call for papers ************************
40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
http://popl.mpi-sws.org/2013/
POPL dates: 23-25 January 2013
Co-located events: 20-22, 26 January 2013
Location: Rome, Italy
Paper registration: 6 July 2012, 11:59pm American Samoa time (UTC-11h)
Paper submission: 10 July 2012, 11:59pm American Samoa time (UTC-11h)
Author response: 10-13 September 2012
Notification: 1 October 2012
Submission URL: https://popl2013.ens.fr (will be opened nearer the deadline)
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. Papers discussing new ideas and areas are most
welcome, as are high-quality expositions or elucidations of existing
concepts that are likely to yield new insights ("pearls").
For more information and submission guidelines please consult the
POPL'13 website:
http://popl.mpi-sws.org/2013/
reply other threads:[~2012-05-29 8:24 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=5D093993-5D53-41C9-9D0D-2830FA01147B@mpi-sws.org \
--to=viktor@mpi-sws.org \
--cc=caml-list@yquem.inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).