From: Viktor Vafeiadis <viktor@mpi-sws.org>
To: coq-club@inria.fr, caml-list@yquem.inria.fr
Subject: [Caml-list] POPL 2013 + workshops: Call for participation
Date: Wed, 12 Dec 2012 17:41:39 +0100 [thread overview]
Message-ID: <0B968226-FBE8-4BC0-B875-9CAAB4081C39@mpi-sws.org> (raw)
***************************************************
* POPL 2013: Principles of Programming Languages *
* Hotel Parco dei Principi, Rome, Italy *
* 23-25 January, 2013 *
***************************************************
Main web site: http://popl.mpi-sws.org/2013/
Twitter: https://twitter.com/POPL2013
Registration: https://regmaster3.com/2013conf/POPL13/register.php
Deadline for early registration: **December 31, 2012**
Conference & hotel logistics: http://popl13.di.univr.it
Conference program: http://popl.mpi-sws.org/2013/program.html
******* Student events *******
- TutorialFest (21 January; free, but registration required)
http://wrigstad.com/popl13/tutorialfest.html
- PLMW: Programming Language Mentoring Workshop (22 January)
http://www.doc.ic.ac.uk/~gds/PLMW/
- Short student talks @ student sessions (23 + 25 January)
http://wrigstad.com/popl13/
****** Other co-located events ******
- VMCAI: Verification, Model Checking, and Abstract Interpretation (20-22
January)
- SVARM: Workshop on Synthesis, Verification, and Analysis of Rich Models -
Meeting of COST Action IC0109 Rich Model Toolkit (20-21 January)
- PADL: International Symposium on Practical Aspects of Declarative
Languages (21-22 January)
- PEPM: Partial Evaluation and Program Manipulation (21-22 January)
- ID: Interference and Dependence (21 January)
- BEAT: Workshop on Behaviors and Types (22 January)
- DDFP: Workshop on Data Driven Functional Programming (22 January)
- PLPV: Programming Languages meets Program Verification (22 January)
- PLMW: Programming Language Mentoring Workshop (22 January)
- PPREW: Program Protection and Reverse Engineering Workshop (26 January)
- OBT: Off The Beaten Track: Underrepresented Problems for Programming
Language Researchers (26 January)
reply other threads:[~2012-12-12 16:41 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=0B968226-FBE8-4BC0-B875-9CAAB4081C39@mpi-sws.org \
--to=viktor@mpi-sws.org \
--cc=caml-list@yquem.inria.fr \
--cc=coq-club@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).