The Coq mailing list

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

****************** POPL 2013: Final call for papers **********************

40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

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

POPL dates:   23-25 January 2013
Co-located events: 20-22, 26 January 2013
Location:      Rome, Italy

Submission URL: https://popl2013.di.ens.fr/ (NOW OPEN)

For more information and submission guidelines:
WEB: http://popl.mpi-sws.org/2013/
Twitter: http://twitter.com/POPL2013