POPL 2017 - Tutorials

Sun 15 - Sat 21 January 2017

About
Program

No information available yet.

Tutorials

	Title
	Fast and Precise Type Checking for JavaScript: Are you in Flow? Tutorials Avik Chaudhuri Media Attached
	Let's Implement Your New Analysis using Industrially Strengthened Frama-C Plugins Tutorials François Bobot, Loïc Correnson, Boris Yakobowski
	The Lean Theorem Prover Tutorials Leonardo de Moura, Gabriel Ebner, Jared Roesch, Sebastian Ullrich
	The State of the Art in Gradual Typing Tutorials Jeremy G. Siek

Time Zone

The program is currently displayed in (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect 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 16 Jan
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 12:00	Gradual Typing (AM)Tutorials at Salle 105, Barre 44-54

09:00 3h Talk		The State of the Art in Gradual Typing Tutorials Jeremy G. Siek Indiana University Bloomington

09:00 - 12:00	Lean (AM)Tutorials at Salle 107, Barre 44-54

09:00 3h Talk		The Lean Theorem Prover Tutorials Leonardo de Moura Microsoft Research, Redmond, Gabriel Ebner Vienna University of Technology, Jared Roesch University of Washington, USA, Sebastian Ullrich Karlsruhe Institute of Technology

09:00 - 12:00	Flow (AM)Tutorials at Salle 112, Barre 44-54

09:00 3h Talk		Fast and Precise Type Checking for JavaScript: Are you in Flow? Tutorials Avik Chaudhuri Facebook Media Attached

09:00 - 12:00	Frama-C (AM)Tutorials at Salle 114, Barre 44-54

09:00 3h Talk		Let's Implement Your New Analysis using Industrially Strengthened Frama-C Plugins Tutorials François Bobot CEA, Loïc Correnson , Boris Yakobowski CEA - LIST

14:00 - 17:00	Gradual Typing (PM)Tutorials at Salle 105, Barre 44-54

14:00 3h Talk		The State of the Art in Gradual Typing Tutorials Jeremy G. Siek Indiana University Bloomington

14:00 - 17:00	Lean (PM)Tutorials at Salle 107, Barre 44-54

14:00 3h Talk		The Lean Theorem Prover Tutorials Leonardo de Moura Microsoft Research, Redmond, Gabriel Ebner Vienna University of Technology, Jared Roesch University of Washington, USA, Sebastian Ullrich Karlsruhe Institute of Technology

14:00 - 17:00	Flow (PM)Tutorials at Salle 112, Barre 44-54

14:00 3h Talk		Fast and Precise Type Checking for JavaScript: Are you in Flow? Tutorials Avik Chaudhuri Facebook Media Attached

14:00 - 17:00	Frama-C (PM)Tutorials at Salle 114, Barre 44-54

14:00 3h Talk		Let's Implement Your New Analysis using Industrially Strengthened Frama-C Plugins Tutorials François Bobot CEA, Loïc Correnson , Boris Yakobowski CEA - LIST

TutorialsPOPL 2017

Tutorials

Mon 16 Jan
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposia

TutorialsPOPL 2017

Tutorials

Program Display Configuration

Mon 16 JanDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 16 Jan
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change