42nd ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (original) (raw)
 |
Tata Institute of Fundamental Research, Mumbai, IndiaJanuary 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 theartifact 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
- Watch the PLMW videos.
- Download the POPL proceedings (one file).
- Browse the POPL proceedings (individual papers).
- POPL program
- Accepted artifacts
Co-located events
| Mon12 Jan | Tue13 Jan | Wed14 Jan | Thu15 Jan | Fri16 Jan | Sat17 Jan | Sun18 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, thelist of accepted artifacts, and the conference proceedings(also as one file). are available.