[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