From: Viktor Vafeiadis <viktor@mpi-sws.org>
To: Haskell List <haskell@haskell.org>,
coq-club@inria.fr, caml-list@yquem.inria.fr,
types-announce@lists.seas.upenn.edu, agda@lists.chalmers.se,
mlton-user@mlton.org, eapls@jiscmail.ac.uk,
nj-pls@lists.seas.upenn.edu, sml-evolution@cs.uchicago.edu,
ecoop-info@ecoop.org
Subject: [Caml-list] POPL'13: Call for proposals for co-located events
Date: Mon, 20 Feb 2012 14:05:52 +0100 [thread overview]
Message-ID: <F75B9701-9D9E-46D2-80BF-E163A377A33E@mpi-sws.org> (raw)
*** POPL'13: Call for proposals for co-located events ***
Event dates: 20 -- 22, 26 January 2013
Location: Rome, Italy
Deadline: 22 April 2012
Notification: 30 May 2012
Proposals are invited for workshops and other events to be
co-located with POPL 2013. Events can either be sponsored
by SIGPLAN or supported through in-cooperation status.
For more information and submission details, please visit:
http://matt.might.net/events/popl/2013/call-for-events/
http://popl.mpi-sws.org/2013/
reply other threads:[~2012-02-20 13:06 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=F75B9701-9D9E-46D2-80BF-E163A377A33E@mpi-sws.org \
--to=viktor@mpi-sws.org \
--cc=agda@lists.chalmers.se \
--cc=caml-list@yquem.inria.fr \
--cc=coq-club@inria.fr \
--cc=eapls@jiscmail.ac.uk \
--cc=ecoop-info@ecoop.org \
--cc=haskell@haskell.org \
--cc=mlton-user@mlton.org \
--cc=nj-pls@lists.seas.upenn.edu \
--cc=sml-evolution@cs.uchicago.edu \
--cc=types-announce@lists.seas.upenn.edu \
/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).