[TYPES/announce] POPL 2014: Final call for participation

Viktor Vafeiadis viktor at mpi-sws.org
Sun Jan 12 14:18:46 EST 2014


POPL 2014: 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
San Diego, USA
January 22-24, 2014

http://popl.mpi-sws.org/2014/

*** Reminder: POPL is starting in one week! *** 

Colocated events:

- 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)
- POPL Tutorials (20 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)

News: 

- The POPL proceedings are available online.

- The schedule for the POPL tutorials on Monday 20 January is available:

		http://popl.mpi-sws.org/2014/tutorials2.html



More information about the Types-announce mailing list