POPL 2017

Date: Jan 15, 2017 – Jan 21, 2017
Location: Paris, France
URL: http://popl17.sigplan.org/

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.

Invited speakers

  • The Influence of Dependent Types - Stephanie Weirich
  • 40 Years of Abstract Interpretation - Patrick CousotRoberto Giacobazzi 
  •  Rust: from POPL to practice - Aaron Turon

Tutorials

  • Avik Chaudhuri - Fast and Precise Type Checking for JavaScript: Are you in Flow?
  • François Bobot - Let's Implement Your New Analysis using Industrially Strengthened Frama-C Plugins
  • The Lean Theorem Prover - Leonardo de Moura, Gabriel Ebner, Jared Roesch, Sebastian Ullrich
  • The State of the Art in Gradual Typing - Jeremy Siek
  • Symposium
  • 2017
Submitted by Anonymous on
Feedback
Feedback
If you experience a bug or would like to see an addition or change on the current page, feel free to leave us a message.
Image CAPTCHA
Enter the characters shown in the image.
This question is for testing whether or not you are a human visitor and to prevent automated spam submissions.