POPL 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
POPL 2017 is over. There were 722 registrants for the week, 571 of whom registered for POPL.
The program for POPL 2017 and (most) associated events is available: you can plan 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:
Sunday - Friday from 8 a.m. to 4 p.m.
Saturday from 8 a.m. to 12 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.
Events
Tutorials
The State of the Art in Gradual Typing
Jeremy G. Siek
Fast and Precise Type Checking for JavaScript: Are you in Flow?
Avik Chaudhuri
The Lean Theorem Prover
Leonardo de Moura, Gabriel Ebner, Jared Roesch, Sebastian Ullrich
Let's Implement Your New Analysis using Industrially Strengthened Frama-C Plugins
François Bobot, Loïc Correnson, Boris Yakobowski
Institutional support
POPL’17 is supported by the following institutions: