CoqPL 2019
Sat 19 Jan 2019 Cascais/Lisbon, Portugal
co-located with POPL 2019
Conference Editions
Sat 19 Jan 2019, Cascais/Lisbon, Portugal

CoqPL 2019 with POPL 2019

The series of CoqPL workshops provide an opportunity for programming languages researchers to meet and interact with one another and members from the core Coq development team. At the meeting, we will discuss upcoming new features, see talks and demonstrations of exciting current projects, solicit feedback for potential future changes, and generally work to strengthen the vibrant community around our favorite pro ...

Mon 8 - Sat 13 January 2018, Los Angeles, California, United States

CoqPL 2018 with POPL 2018

The series of CoqPL workshops provide an opportunity for programming languages researchers to meet and interact with one another and members from the core Coq development team. At the meeting, we will discuss upcoming new features, see talks and demonstrations of exciting current projects, solicit feedback for potential future changes, and generally work to strengthen the vibrant community around our favorite pro ...

Sat 21 Jan 2017,

CoqPL 2017 with POPL 2017

Workshop Overview The CoqPL workshop provides an opportunity for programming languages researchers to meet and interact with one another and members from the core Coq development team. At the meeting, we will discuss upcoming new features, see talks and demonstrations of exciting current projects, solicit feedback for potential future changes, and generally work to strengthen the vibrant community around our fav ...

Sat 23 Jan 2016, St. Petersburg, Florida, United States

CoqPL with POPL 2016

Co-located with POPL in St. Petersburg, Florida, United States, January 23rd, 2016.