POPL 2019 - TutorialFest

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.

Time Zone

The program is currently displayed in (GMT) Belfast.

Use conference time zone: (GMT) BelfastSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 14 Jan
Displayed time zone: Belfast change

09:00 - 10:30	Tutorial 4ATutorialFest at Sala IX

09:00 90m Talk		[T4] Programming Cyber-Physical Systems with Logic TutorialFest André Platzer Carnegie Mellon University

09:00 - 10:30	Tutorial 1ATutorialFest at Sala V

09:00 90m Talk		[T1] QuickChick: Property-Based Testing in Coq TutorialFest Benjamin C. Pierce University of Pennsylvania, Leonidas Lampropoulos University of Pennsylvania

09:00 - 10:30	Tutorial 3ATutorialFest at Sala VI

09:00 90m Talk		[T3] Linear and Graded Modal Types for Fine-Grained Program Reasoning TutorialFest Dominic Orchard University of Kent, UK, Harley D. Eades III Augusta University, Vilem-Benjamin Liepelt University of Kent, UK

09:00 - 10:30	Tutorial 2ATutorialFest at Sala VIII

09:00 90m Talk		[T2] Engineering Distributed Systems via Protocols and Commitments TutorialFest Amit Chopra Lancaster University, UK, Munindar P. Singh North Carolina State University

11:00 - 12:30	Tutorial 4BTutorialFest at Sala IX

11:00 90m Talk		[T4] Programming Cyber-Physical Systems with Logic TutorialFest André Platzer Carnegie Mellon University

11:00 - 12:30	Tutorial 1BTutorialFest at Sala V

11:00 90m Talk		[T1] QuickChick: Property-Based Testing in Coq TutorialFest Benjamin C. Pierce University of Pennsylvania, Leonidas Lampropoulos University of Pennsylvania

11:00 - 12:30	Tutorial 3BTutorialFest at Sala VI

11:00 90m Talk		[T3] Linear and Graded Modal Types for Fine-Grained Program Reasoning TutorialFest Dominic Orchard University of Kent, UK, Harley D. Eades III Augusta University, Vilem-Benjamin Liepelt University of Kent, UK

11:00 - 12:30	Tutorial 2BTutorialFest at Sala VIII

11:00 90m Talk		[T2] Engineering Distributed Systems via Protocols and Commitments TutorialFest Amit Chopra Lancaster University, UK, Munindar P. Singh North Carolina State University

14:00 - 15:30	Tutorial 7ATutorialFest at Sala IX

14:00 90m Talk		[T7] Higher-Order Probabilistic Programming TutorialFest Ugo Dal Lago University of Bologna, Italy / Inria, France Pre-print

14:00 - 15:30	Tutorial 5ATutorialFest at Sala V

14:00 90m Talk		[T5] Correct-by-Construction Programming in Agda TutorialFest Andreas Abel Gothenburg University, Jesper Cockx Chalmers \| University of Gothenburg

14:00 - 15:30	Tutorial 8ATutorialFest at Sala VI

14:00 90m Talk		[T8] Building Your Own Modular Static Analyser with Infer TutorialFest Jules Villard Facebook London, Ezgi Çiçek Facebook London, Mehdi Bouaziz Facebook London, Nikos Gorogiannis

14:00 - 15:30	Tutorial 6ATutorialFest at Sala VIII

14:00 90m Talk		[T6] Session-Typed Concurrent Programming TutorialFest Stephanie Balzer Carnegie Mellon University, USA

16:00 - 17:30	Tutorial 7BTutorialFest at Sala IX

16:00 90m Talk		[T7] Higher-Order Probabilistic Programming TutorialFest Ugo Dal Lago University of Bologna, Italy / Inria, France Pre-print

16:00 - 17:30	Tutorial 5BTutorialFest at Sala V

16:00 90m Talk		[T5] Correct-by-Construction Programming in Agda TutorialFest Andreas Abel Gothenburg University, Jesper Cockx Chalmers \| University of Gothenburg

16:00 - 17:30	Tutorial 8BTutorialFest at Sala VI

16:00 90m Talk		[T8] Building Your Own Modular Static Analyser with Infer TutorialFest Jules Villard Facebook London, Ezgi Çiçek Facebook London, Mehdi Bouaziz Facebook London, Nikos Gorogiannis

16:00 - 17:30	Tutorial 6BTutorialFest at Sala VIII

16:00 90m Talk		[T6] Session-Typed Concurrent Programming TutorialFest Stephanie Balzer Carnegie Mellon University, USA

List of Tutorials

	Title
	[T1] QuickChick: Property-Based Testing in Coq TutorialFest Benjamin C. Pierce, Leonidas Lampropoulos
	[T2] Engineering Distributed Systems via Protocols and Commitments TutorialFest Amit Chopra, Munindar P. Singh
	[T3] Linear and Graded Modal Types for Fine-Grained Program Reasoning TutorialFest Dominic Orchard, Harley D. Eades III, Vilem-Benjamin Liepelt
	[T4] Programming Cyber-Physical Systems with Logic TutorialFest André Platzer
	[T5] Correct-by-Construction Programming in Agda TutorialFest Andreas Abel, Jesper Cockx
	[T6] Session-Typed Concurrent Programming TutorialFest Stephanie Balzer
	[T7] Higher-Order Probabilistic Programming TutorialFest Ugo Dal Lago Pre-print
	[T8] Building Your Own Modular Static Analyser with Infer TutorialFest Jules Villard, Ezgi Çiçek, Mehdi Bouaziz, Nikos Gorogiannis

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)

TutorialFestPOPL 2019