Write a Blog >>
CoqPL 2018
Mon 8 - Sat 13 January 2018 Los Angeles, California, United States
co-located with POPL 2018
Conference Editions
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.