Write a Blog >>
Conference Editions
Sat 25 Jan 2020, New Orleans, Louisiana, United States

CoqPL 2020 with POPL 2020

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 19 Jan 2019, Cascais, 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 2016 with POPL 2016

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