Write a Blog >>
CoqPL 2019
Sat 19 Jan 2019
Cascais, Portugal
co-located with
POPL 2019
Toggle navigation
Attending
Venue: Hotel Cascais Miragem
Program
Complete Program
Your Program
Sat 19 Jan
Track/Call
Organization
CoqPL 2019 Committees
Track Committees
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 in
Sign up
Search
x
Fri 19 Apr 22:48