Webpage:
Time:
Monday, 12 January 2015 (All day) to Sunday, 18 January 2015 (All day)
Organisers:
POPL 2015: 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Tata Institute of Fundamental Research, Mumbai, India
January 12-18, 2015
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.
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 | |||||
- <a data-cke-saved-href="tutorials2.html" href="tutorials2.html" "="">POPL Tutorials (13 January)
- CPP: Certified Programs and Proofs (13-14 January)
- CoqPL: Coq for Programming Languages - A Coq users and developers meeting (18 January)
- OBT: Off the Beaten Track: New Frontiers for Programming Languages Research (18 January)
- PEPM: Partial Evaluation and Program Manipulation (13-14 January)
- PLMW: Programming Languages Mentoring Workshop (14 January)
- VMCAI: Verification, Model Checking and Abstract Interpretation (12-14 January)
- PLVNET: Programming Languages and Verification Technology for Networking (12 January)
- WEPL: IMPECS-POPL Workshop on Emerging Research and Development Trends in Programming Languages (18 January)
