POPL 2017
Wed 18 - Fri 20 January 2017 Paris, France

The 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL) 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.

The symposium is organised by ACM SIGPLAN, in cooperation with ACM SIGACT and ACM SIGLOG.

Student volunteers

We are looking for student volunteers: check out the benefits and register here.

Supporters

POPL 2017 is looking for industrial supporters. See why supporting POPL is important for the community, and what are the benefits for supporters.

Events

Sunday
15th
Monday
16th
Tuesday
17th
Wednesday
18th
Thursday
19th
Friday
20th
Saturday
21st
VMCAI
Verification, Model Checking, and Abstract Interpretation
POPL
Principles of Programming Languages
CoqPL
Coq for Programming Languages
TTT
Type Theory Based Tools
CPP
Certified Programs and Proofs
N40AI
Next 40 Years of Abstract Interpretation
  PADL
Practical Aspects of Declarative Languages
OBT
Off the Beaten Track
  PEPM
Partial Evaluation and Program Manipulation
PiP2
Principles in Practice
  Tutorials PLMW
Programming Languages Mentoring
RDP
Reasoning about Declarative Programs
    PPS
Probabilistic Programming Semantics
Banquet SRC
Student Research Competition
Mon 3 Oct 2016
Research Papers Author Notification
Wed 5 Oct 2016
CPP 2017 Abstract submission deadline
Fri 7 Oct 2016
Artifact Evaluation Artifact registration deadline
Mon 10 Oct 2016
Artifact Evaluation Artifact submission deadline
Wed 12 Oct 2016
CPP 2017 Full paper submission deadline
Fri 14 Oct 2016
CoqPL 2017 Submission deadline
Tue 18 Oct 2016
PADL 2017 Notification
Fri 30 Sep 2016
PEPM 2017 Paper submission
All important dates
Social Media
Supporters
Gold Supporter
Gold Supporter
Gold Supporter
Gold Supporter
Gold Supporter
Bronze Supporter
Sponsor
Click for info