POPL 2017
Sun 15 - Sat 21 January 2017

The 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2017) 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 still register for POPL 2017 and associated events although the early registration deadline is past.

The program for POPL 2017 and (most) associated events is available: you may start planning your conference.

Registration/information desk

The registration/information desk (for both registered user and on-site registrations) will be open for the duration of conference

Location:

On Sunday 15th: first floor (= one floor above the ground) of the 44-45 bar (see map)

From Mon 16th to Sat 21st: Auditorium Hall (see map).

Opening hours:

Every day from 8 a.m. to 4 p.m.

Please do not wait until the last moment to fetch your badge, especially on Wednesday the 18th: we are expecting about 700 participants.

Venue and Rooms

A plan of the venue and the rooms for each event is available on line. Click here for a printable version

POPL 2017 Proceedings

The full POPL 2017 proceedings are now available from ACM.

See also the (still growing) list of all associated events proceeding.

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 CEA List

Sat 21 Jan 2017 updated
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
Gold Supporter
Silver Supporter
Bronze Supporter
Bronze Supporter
Bronze Supporter
Bronze Supporter
Sponsor