Synthesis 1: Session Preview (POPL 2024 - Session Previews)

Sun 14 - Sat 20 January 2024 London, United Kingdom

Track

POPL 2024 Session Previews

Time Zone

The program is currently displayed in (GMT) London.

Use conference time zone: (GMT) LondonSelect 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

When

Wed 17 Jan 2024 08:25 - 08:35 at Siemens Boardroom - Wednesday Morning Sessions Previews Chair(s): Clément Pit-Claudel

Bio

I am an associate professor with the Elmore Family School of Electrical and Computer Engineering of Purdue University.

Time Zone

The program is currently displayed in (GMT) London.

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

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

Time Band

Display full programSpecify a time band

Save

Session Program

Wed 17 Jan
Displayed time zone: London change

08:25 - 08:45	Wednesday Morning Sessions PreviewsSession Previews at Siemens Boardroom Chair(s): Clément Pit-Claudel EPFL

08:25 10m Research preview		Synthesis 1: Session Preview Session Previews Xiaokang Qiu Purdue University
08:35 10m Research preview		Types 1: Session Preview Session Previews Niki Vazou IMDEA Software Institute

Synthesis 1: Session Preview

Wed 17 Jan
Displayed time zone: London change

Xiaokang Qiu

Purdue University

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposia

Synthesis 1: Session Preview

Program Display Configuration

Program Display Configuration

Wed 17 JanDisplayed time zone: London change

Xiaokang Qiu

Purdue University

Wed 17 Jan
Displayed time zone: London change