Mechanized Proofs: 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

Fri 19 Jan 2024 13:00 - 13:10 at Siemens Boardroom - Friday Lunch Session Previews Chair(s): Ekaterina Zhuchko

Bio

I am a professor professor of computer science at the University of Rennes. My research interests focus on the development of trustworthy software using deductive verification

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

Fri 19 Jan
Displayed time zone: London change

12:50 - 13:10	Friday Lunch Session PreviewsSession Previews at Siemens Boardroom Chair(s): Ekaterina Zhuchko Tallinn University of Technology

12:50 10m Research preview		Machine and Automata Learning: Session Preview Session Previews Steven Holtzen Northeastern University
13:00 10m Research preview		Mechanized Proofs: Session Preview Session Previews Sandrine Blazy University of Rennes

Mechanized Proofs: Session Preview

Fri 19 Jan
Displayed time zone: London change

Sandrine Blazy

University of Rennes

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposia

Mechanized Proofs: Session Preview

Program Display Configuration

Program Display Configuration

Fri 19 JanDisplayed time zone: London change

Sandrine Blazy

University of Rennes

Fri 19 Jan
Displayed time zone: London change