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

Sun 16 - Fri 28 January 2022 Philadelphia, Pennsylvania, United States

Who

Matthieu Sozeau, Yves Bertot, Hugo Herbelin, Emilio Jesús Gallego Arias, Jason Gross

Track

CoqPL 2022

Time Zone

The program is currently displayed in (GMT-05:00) Eastern Time (US & Canada).

Use conference time zone: (GMT-05:00) Eastern Time (US & Canada)Select 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 22 Jan 2022 15:05 - 15:50 at Salon I - Session with the Coq Development Team Chair(s): Amin Timany

Matthieu SozeauSpeaker

Inria

France

Yves BertotSpeaker

INRIA

France

Hugo HerbelinSpeaker

Emilio Jesús Gallego AriasSpeaker

INRIA

France

Jason GrossSpeaker

MIT CSAIL

United States

Time Zone

The program is currently displayed in (GMT-05:00) Eastern Time (US & Canada).

Use conference time zone: (GMT-05:00) Eastern Time (US & Canada)Select 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 22 Jan
Displayed time zone: Eastern Time (US & Canada) change

15:05 - 15:50	Session with the Coq Development TeamCoqPL at Salon I Chair(s): Amin Timany Aarhus University

15:05 45m Panel		Session with the Coq Development TeamRemote CoqPL S: Matthieu Sozeau Inria, S: Yves Bertot INRIA, S: Hugo Herbelin , S: Emilio Jesús Gallego Arias INRIA, S: Jason Gross MIT CSAIL