Write a Blog >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais/Lisbon, Portugal

POPL 2019 TutorialFest will be on Monday, 14 January 2018.

Continuing the tradition of previous years, POPL 2019 will host a set of tutorials ranging on different topics relevant to the POPL community.

Mon 14 Jan

POPL-2019-TutorialFest
09:00 - 10:30: TutorialFest - Engineering Distributed Systems via Protocols and Commitments I at TutorialFest 2
POPL-2019-TutorialFest09:00 - 10:30
Talk
Amit ChopraLancaster University, UK, Munindar P. SinghNorth Carolina State University
POPL-2019-TutorialFest
09:00 - 10:30: TutorialFest - Linear and Graded Modal Types for Fine-Grained Program Reasoning I at TutorialFest 3
POPL-2019-TutorialFest09:00 - 10:30
Talk
Dominic OrchardUniversity of Kent, UK, Harley D. Eades IIIAugusta University, Vilem-Benjamin LiepeltUniversity of Kent, UK
POPL-2019-TutorialFest
09:00 - 10:30: TutorialFest - Programming Cyber-Physical Systems With Logic I at TutorialFest 4
POPL-2019-TutorialFest09:00 - 10:30
Talk
André PlatzerCarnegie Mellon University
POPL-2019-TutorialFest
09:00 - 10:30: TutorialFest - QuickChick: Property-Based Testing in Coq I at TutorialFest 1
POPL-2019-TutorialFest09:00 - 10:30
Talk
Benjamin C. PierceUniversity of Pennsylvania, Leonidas LampropoulosUniversity of Pennsylvania
POPL-2019-TutorialFest
11:00 - 12:30: TutorialFest - Engineering Distributed Systems via Protocols and Commitments II at TutorialFest 2
POPL-2019-TutorialFest11:00 - 12:30
Talk
Amit ChopraLancaster University, UK, Munindar P. SinghNorth Carolina State University
POPL-2019-TutorialFest
11:00 - 12:30: TutorialFest - Linear and Graded Modal Types for Fine-Grained Program Reasoning II at TutorialFest 3
POPL-2019-TutorialFest11:00 - 12:30
Talk
Dominic OrchardUniversity of Kent, UK, Harley D. Eades IIIAugusta University, Vilem-Benjamin LiepeltUniversity of Kent, UK
POPL-2019-TutorialFest
11:00 - 12:30: TutorialFest - Programming Cyber-Physical Systems With Logic II at TutorialFest 4
POPL-2019-TutorialFest11:00 - 12:30
Talk
André PlatzerCarnegie Mellon University
POPL-2019-TutorialFest
11:00 - 12:30: TutorialFest - QuickChick: Property-Based Testing in Coq II at TutorialFest 1
POPL-2019-TutorialFest11:00 - 12:30
Talk
Benjamin C. PierceUniversity of Pennsylvania, Leonidas LampropoulosUniversity of Pennsylvania
POPL-2019-TutorialFest
14:00 - 15:30: TutorialFest - Building Your Own Modular Static Analyser with Infer I at TutorialFest 4
POPL-2019-TutorialFest14:00 - 15:30
Talk
Jules Villard, Ezgi ÇiçekFacebook London, Dino DistefanoFacebook London, Nikos Gorogiannis, Peter O'HearnFacebook
POPL-2019-TutorialFest
14:00 - 15:30: TutorialFest - Correct-by-Construction Programming in Agda I at TutorialFest 1
POPL-2019-TutorialFest14:00 - 15:30
Talk
Andreas AbelGothenburg University, Jesper CockxChalmers | University of Gothenburg
POPL-2019-TutorialFest
14:00 - 15:30: TutorialFest - Higher-Order Probabilistic Programming I at TutorialFest 3
POPL-2019-TutorialFest14:00 - 15:30
Talk
Ugo Dal LagoUniversity of Bologna, Italy / Inria, France
POPL-2019-TutorialFest
14:00 - 15:30: TutorialFest - Session-Typed Concurrent Programming I at TutorialFest 2
POPL-2019-TutorialFest14:00 - 15:30
Talk
Stephanie BalzerCarnegie Mellon University, USA
POPL-2019-TutorialFest
16:00 - 17:30: TutorialFest - Building Your Own Modular Static Analyser with Infer II at TutorialFest 4
POPL-2019-TutorialFest16:00 - 17:30
Talk
Jules Villard, Ezgi ÇiçekFacebook London, Dino DistefanoFacebook London, Nikos Gorogiannis, Peter O'HearnFacebook
POPL-2019-TutorialFest
16:00 - 17:30: TutorialFest - Correct-by-Construction Programming in Agda II at TutorialFest 1
POPL-2019-TutorialFest16:00 - 17:30
Talk
Andreas AbelGothenburg University, Jesper CockxChalmers | University of Gothenburg
POPL-2019-TutorialFest
16:00 - 17:30: TutorialFest - Higher-Order Probabilistic Programming II at TutorialFest 3
POPL-2019-TutorialFest16:00 - 17:30
Talk
Ugo Dal LagoUniversity of Bologna, Italy / Inria, France
POPL-2019-TutorialFest
16:00 - 17:30: TutorialFest - Session-Typed Concurrent Programming II at TutorialFest 2
POPL-2019-TutorialFest16:00 - 17:30
Talk
Stephanie BalzerCarnegie Mellon University, USA

Call for Tutorials

The 46th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2019) will be held in Lisbon, Portugal.

POPL provides a forum for the discussion of fundamental principles and important innovations in the design, definition, analysis, transformation, implementation and verification of programming languages, programming systems, and programming abstractions.

Tutorials for POPL 2019 are solicited on any topic relevant to the POPL community. In particular, tutorials describing emerging topics or novel tools have been especially successful in the past.

Tutorials will be held on Monday January 14, 2019 (two days before the main conference and the day before PLMW). The expected length of a tutorial is 3 hours and, depending on the schedule, there might be the option to repeat it in the morning and in the afternoon.


Submission details

  • Deadline for submission: 15 October 2018
  • Notification of acceptance: 25 October 2018

A tutorial proposal should provide the following information.

  • Tutorial title
  • Presenter(s), affiliation(s), and contact information
  • 1-3 page description (for evaluation). This should include the objectives, topics to be covered, presentation approach, target audience, prerequisite knowledge, and if the tutorial was previously held, the location (i.e. which conference), date, and number of attendees if available.
  • 1-2 paragraph abstract suitable for tutorial publicity.
  • 1 paragraph biography suitable for tutorial publicity.

Proposal must be submitted in pdf or txt form by email to the associated events chairs Marco Gaboardi (gaboardi@buffalo.edu) and Zachary Kincaid (zkincaid@cs.princeton.edu).


Further information

Any query regarding POPL 2019 tutorial proposals should be addressed to the associated events chairs Marco Gaboardi (gaboardi@buffalo.edu) and Zachary Kincaid (zkincaid@cs.princeton.edu)