[TYPES/announce] POPL 2014: Final call for participation
Viktor Vafeiadis
viktor at mpi-sws.org
Fri Dec 20 05:42:20 EST 2013
* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
POPL 2014: Final call for participation
* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
San Diego, USA
January 22-24, 2014
http://popl.mpi-sws.org/2014/index.html
* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
We strongly encourage participants to register early and to stay
at the conference hotel. A limited block of hotel rooms are reserved
at $179 per night for non-students and $109 for students.
** An additional block of rooms at the discounted rate has
been procured, and the hotel discount cutoff has been
extended to Dec. 30. **
Registration URL:
https://regmaster3.com/2014conf/POPL14/register.php
Early registration deadline: December 31, 2013
* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
The main conference program is available at the URL below:
http://popl.mpi-sws.org/2014/schedule.html
There will be six POPL tutorials on Monday, January 20th:
http://popl.mpi-sws.org/2014/tutorials2.html
and a student poster session during the conference.
In addition, a number of events are co-located with POPL this year:
* VMCAI 2014: Verification, Model Checking, and Abstract Interpretation (19-21 January)
* PADL 2014: Practical Aspects of Declarative Languages (20-21 January)
* PEPM 2014: Partial Evaluation and Program Manipulation (20-21 January)
* PLMW 2014: Programming Language Mentoring Workshop (21 January)
* PLPV 2014: Programming Languages meets Program Verification (21 January)
* DCP 2014: Data-Centric Programming (25 January)
* OBT 2014: Off The Beaten Track (25 January)
* PiP 2014: Principles in Practice (25 January)
* PPREW 2014: Program Protection and Reverse Engineering Workshop (25 January)
* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
More information about the Types-announce
mailing list