CoqPL 2018 - The Fourth International Workshop on Coq for Programming Languages

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 proof assistant.
Topics in Scope
General purpose libraries and tactic language extensions
Domain-specific libraries for programming language formalization and verification
IDEs, profilers, tracers, debuggers, and testing tools
Reports on ongoing proof efforts conducted via (or in the context of) the Coq proof assistant
Experience reports from Coq usage in educational or industrial contexts