[TYPES/announce] POPL 2013: Call for papers

[Viktor Vafeiadis]

********************* POPL 2013: Call for papers ************************

40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
		http://popl.mpi-sws.org/2013/

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

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
Submission URL: https://popl2013.ens.fr (will open nearer the deadline)

Scope:

The annual Symposium on Principles of Programming Languages is a forum
for the discussion of all aspects of programming languages and systems,
with emphasis on how principles underpin practice. Both theoretical and
experimental papers are welcome, on topics ranging from formal frameworks
to experience reports. Papers discussing new ideas and areas are most
welcome, as are high-quality expositions or elucidations of existing
concepts that are likely to yield new insights ("pearls"). 

For more information and submission guidelines, please consult the 
POPL'13 website:
		http://popl.mpi-sws.org/2013/