CoqPL 2024
Sat 20 Jan 2024 London, United Kingdom
co-located with POPL 2024
All Editions
Sat 20 Jan 2024 London, United Kingdom

CoqPL 2024 with POPL 2024

The series of CoqPL workshops provide an opportunity for programming languages researchers and practitioners with an interest in Coq 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 to Coq itself, and generally work to ...

Sat 21 Jan 2023 Boston, Massachusetts, United States

CoqPL 2023 with POPL 2023

The series of CoqPL workshops provide an opportunity for programming languages researchers and practitioners with an interest in Coq 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 to Coq itself, and generally work to ...

Sun 16 - Sat 22 January 2022 Philadelphia, Pennsylvania, United States

CoqPL 2022 with POPL 2022

The CoqPL workshop series is an opportunity for programming languages researchers to meet and interact with one another and with members from the core Coq development team. We will discuss upcoming new features, see talks and demonstrations of exciting current projects, solicit feedback for potential future changes, and work to strengthen the vibrant community around our favorite proof assistant. Topics in Scope ...

Tue 19 Jan 2021 Online

CoqPL 2021 with POPL 2021

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 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.