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

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.

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

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
Wed 14 Sep 2016
Research Papers Start of rebuttal period
Fri 16 Sep 2016
Research Papers Rebuttal response
Tue 27 Sep 2016 updated
PEPM 2017 Abstract submission
Fri 30 Sep 2016 updated
PEPM 2017 Paper submission
Mon 3 Oct 2016
Research Papers Author Notification
Fri 7 Oct 2016
Artifact Evaluation Artifact registration deadline
Mon 10 Oct 2016
Artifact Evaluation Artifact submission deadline
Fri 14 Oct 2016
CoqPL 2017 Submission deadline
All important dates
Supporters
Gold Supporter
Gold Supporter
Gold Supporter
Gold Supporter
Gold Supporter
Bronze Supporter
Sponsor
Click for info