Session with the Coq Development Team (CoqPL 2024 - The Tenth International Workshop on Coq for Programming Languages)

Sun 14 - Sat 20 January 2024 London, United Kingdom

Who

Matthieu Sozeau, Yves Bertot, Emilio Jesús Gallego Arias

Track

CoqPL 2024

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

Sat 20 Jan 2024 11:00 - 12:30 at Kelvin Lecture - Session 2

Matthieu Sozeau

Inria

France

Yves Bertot

INRIA

France

Emilio Jesús Gallego Arias

INRIA

France

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

Sat 20 Jan
Displayed time zone: London change

11:00 - 12:30	Session 2CoqPL at Kelvin Lecture

11:00 90m Panel		Session with the Coq Development Team CoqPL Matthieu Sozeau Inria, Yves Bertot INRIA, Emilio Jesús Gallego Arias INRIA