The Coq mailing list

[Viktor Vafeiadis <viktor AT mpi-sws.org>]

***************************************************
* 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)