CoqPL
Sun 19 - Sat 25 January 2025 Denver, Colorado, United StatesCoqPL 2025 with POPL 2025The 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 20 Jan 2024 London, United KingdomCoqPL 2024 with POPL 2024The 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 StatesCoqPL 2023 with POPL 2023The 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 StatesCoqPL 2022 with POPL 2022The 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 OnlineCoqPL 2021 with POPL 2021The 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 StatesCoqPL 2020 with POPL 2020The 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, PortugalCoqPL 2019 with POPL 2019The 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 StatesCoqPL 2018 with POPL 2018The 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 2017Workshop 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 StatesCoqPL 2016 with POPL 2016Co-located with POPL in St. Petersburg, Florida, United States, January 23rd, 2016. |