Salle 20 - POPL 2026

Venuele Couvent des Jacobins

Room nameSalle 20

Floor3

Capacity100

Room InformationNo extra information available

Program

This program is tentative and subject to change.

Time Zone

The program is currently displayed in (GMT+01:00) Brussels, Copenhagen, Madrid, Paris.

Use conference time zone: (GMT+01:00) Brussels, Copenhagen, Madrid, ParisSelect 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 12 Jan
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

09:00 - 10:30	Syntactically and Semantically Constraining LLMsTutorials at Salle 20

09:00 90m Tutorial		Syntactically and Semantically Constraining LLMs with Guarantees using Structured LLM Generation Tutorials Sasa Misailovic University of Illinois at Urbana-Champaign, Gagandeep Singh University of Illinois at Urbana-Champaign; VMware Research, Shubham Ugare Meta, Debangshu Banerjee UIUC, Tarun Suresh , Adharsh Kamath UIUC

11:00 - 12:30	Syntactically and Semantically Constraining LLMsTutorials at Salle 20

11:00 90m Tutorial		Syntactically and Semantically Constraining LLMs with Guarantees using Structured LLM Generation Tutorials Sasa Misailovic University of Illinois at Urbana-Champaign, Gagandeep Singh University of Illinois at Urbana-Champaign; VMware Research, Shubham Ugare Meta, Debangshu Banerjee UIUC, Tarun Suresh , Adharsh Kamath UIUC

14:00 - 15:30	Veil: Automated and Interactive Verification of Transition SystemsTutorials at Salle 20

14:00 90m Tutorial		Veil: Automated and Interactive Verification of Transition Systems Tutorials George Pîrlea National University of Singapore, Singapore, Qiyuan Zhao National University of Singapore

16:00 - 17:30	Veil: Automated and Interactive Verification of Transition SystemsTutorials at Salle 20

16:00 90m Tutorial		Veil: Automated and Interactive Verification of Transition Systems Tutorials George Pîrlea National University of Singapore, Singapore, Qiyuan Zhao National University of Singapore

Mon 12 Jan
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Salle 20	Tutorials Syntactically and Semantically Constraining LLMs																								Tutorials Syntactically and Semantically Constraining LLMs																																				Tutorials Veil: Automated and Interactive Verification of Transition Systems																								Tutorials Veil: Automated and Interactive Verification of Transition Systems

Mon 12 Jan
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Salle 20	POPL Tutorials Syntactically and Semantically Constraining LLMs with Guarantees using ... 09:00 - 10:30																								POPL Tutorials Syntactically and Semantically Constraining LLMs with Guarantees using ... 11:00 - 12:30																																				POPL Tutorials Veil: Automated and Interactive Verification of Transition Systems 14:00 - 15:30																								POPL Tutorials Veil: Automated and Interactive Verification of Transition Systems 16:00 - 17:30

Room information: Salle 20

This program is tentative and subject to change.

Mon 12 Jan
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Mon 12 Jan
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Tutorials

Tutorials

Tutorials

Tutorials

Mon 12 Jan
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposia

Room information: Salle 20

This program is tentative and subject to change.

Program Display Configuration

Mon 12 JanDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

Mon 12 JanDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

Tutorials

Tutorials

Tutorials

Tutorials

Mon 12 JanDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

Mon 12 Jan
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Mon 12 Jan
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Mon 12 Jan
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change