POPL 2017
Sun 15 - Sat 21 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.

Latest news

You can now register for POPL 2017 and associated events. The early registration deadline is Saturday, December the 17th.

The list of POPL 2017 accepted papers and program are available.

Call for student volunteers

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

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
SCM
Secure Compilation Meeting
CPP
Certified Programs and Proofs
N40AI
Next 40 Years of Abstract Interpretation
TTT
Type Theory Based Tools
PADL
Practical Aspects of Declarative Languages
OBT
Off the Beaten Track
  PEPM
Partial Evaluation and Program Manipulation
PiP
Principles in Practice
  Tutorials PLMW
Programming Languages Mentoring
RDP
Reasoning about Declarative Programs
    PPS
Probabilistic Programming Semantics
Banquet SRC
Student Research Competition

Invited speakers

Tutorials

POPL’17 is supported by the following institutions:

CNRS Inria
Sorbonne Universités Université Pierre et Marie Curie LIP6
UP7D IRIF
Université Paris Saclay Université Paris Sud LRI Labex Digicosme

Thu 8 Dec 2016
Off the Beaten Track 2017 Notification
Sat 17 Dec 2016
VMCAI 2017 Early Registration
Sat 17 Dec 2016 23:59
POPL Early registration deadline
Fri 23 Dec 2016
PPS 2017 Final papers due
Mon 16 - Tue 17 Jan 2017
PEPM 2017 PEPM Workshop
Tue 17 Jan 2017
PPS 2017 Workshop, colocated with POPL
Sat 21 Jan 2017
CoqPL 2017 Workshop
Sat 21 Jan 2017
Off the Beaten Track 2017 Workshop
All important dates
Supporters
Gold Supporter
Gold Supporter
Gold Supporter
Gold Supporter
Gold Supporter
Silver Supporter
Bronze Supporter
Bronze Supporter
Bronze Supporter
Bronze Supporter
Sponsor