CoqPL 2022
Sun 16 - Sat 22 January 2022
Philadelphia, Pennsylvania, United States
co-located with
POPL 2022
Toggle navigation
Attending
Hotel: Westin Philadelphia
Program
Complete Program
Your Program
Filter by Day
Sun 16 Jan
Mon 17 Jan
Tue 18 Jan
Wed 19 Jan
Thu 20 Jan
Fri 21 Jan
Sat 22 Jan
Track/Call
Organization
CoqPL 2022 Committees
Track Committees
Invited speaker
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Series
CoqPL 2024
CoqPL 2023
CoqPL 2022
CoqPL 2021
CoqPL 2020
CoqPL 2019
CoqPL 2018
CoqPL 2017
CoqPL 2016
Sign up
Login
Email address
Password
Stay logged in
Login
Forgot password
x
Sat 4 May 10:52