POPL 2015: 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages Tata Institute of Fundamental Research, Mumbai, India January 12-18, 2015

Scope

The annual Symposium on Principles of Programming Languages is a forum for the discussion of all aspects of programming languages and programming systems. Both theoretical and experimental papers are welcome, on topics ranging from formal frameworks to experience reports.

For more information, please see the call for papers. This year, authors of accepted POPL papers may submit their artifacts to the artifact evaluation committee. A document that details principles underlying organizational and reviewing policies can be found here. A document containing frequently asked questions about the reviewing and submission process, especially as it pertains to double-blind reviewing, can be found here.

POPL is sponsored by:

Important Information

Tweets by @popl2015

Co-located events

Mon 12 Jan	Tue 13 Jan	Wed 14 Jan	Thu 15 Jan	Fri 16 Jan	Sat 17 Jan	Sun 18 Jan
VMCAI			POPL			CoqPL
PLVNET	CPP					OBT
	PEPM					WEPL
	Tutorials	PLMW

• POPL Tutorials (Rooms: HBA/AG69/B333, 13 January)
• POPL Student Posters (HBA Foyer, 15 January, 5:30pm-6:30pm)
• CPP: Certified Programs and Proofs (Room: D406, 13-14 January)
• CoqPL: Coq for Programming Languages - A Coq users and developers meeting (Room: D406, 18 January)
• OBT: Off the Beaten Track: New Frontiers for Programming Languages Research (Room: AG69, 18 January)
• PEPM: Partial Evaluation and Program Manipulation (Room: AG80, 13-14 January)
• PLMW: Programming Languages Mentoring Workshop (Room: HBA, 14 January)
• VMCAI: Verification, Model Checking and Abstract Interpretation (Room: AG66, 12-14 January)
• PLVNET: Programming Languages and Verification Technology for Networking (Room: AG69, 12 January)
• WEPL: IMPECS-POPL Workshop on Emerging Research and Development Trends in Programming Languages (Room: AG66, 18 January)

Dates

Paper registration	3 July 2014, 15:00 US EDT (UTC-4)   (Call for papers)
Paper submission	8 July 2014, 15:00 US EDT (UTC-4)
Submission URL	https://popl15.hotcrp.com/ (Closed: there were 227 submissions)
Author response period	6 Sep. 2014, 12:00 US EDT - 10 Sep. 2014, 12:00 US EDT (UTC-4)
Author notification	30 September 2014
Call for tutorials	Submission Deadline: 22 September; Notification: 1 October
Call for student posters	Submission Deadline: 29 September; Notification: 1 October
Early registration deadline	19 December 2014 (Extended!!!, for reduced conference fees)
Registration URL	https://regmaster4.com/2015conf/POPL15/register.php
Main conference	15-17 January 2015
Co-located events	12-14,18 January 2015

Please visit the Local Information page where you will find information about the venue, nearby hotels and getting a visa to travel to India. The preliminary conference program, the list of accepted papers, the list of accepted artifacts, and the conference proceedings (also as one file). are available.

Organization