The Third International Workshop on Coq for Programming Languages(CoqPL 2017)

January 21,2017.

Paris,France

Call For Papers

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 favorite proof assistant.

Topics of Interest

• General purpose libraries and tactic language extensions
• Domain-specific libraries for programming language formalization and verification
• IDEs, profilers, tracers, debuggers, and testing tools
• Experience reports from Coq usage in educational or industrial contexts

Important Dates

Submission deadline: October 14,2016.

Notification Due:November 04, 2016.

User Name : Anika
Posted 13-10-2016 on 10:40:24 AEDT

Related CFPs

OPTLJ   Integrated Optics and Lightwave : An International Journal
IJCCMS   International Journal of Chaos, Control, Modelling and Simulation
AVC   Advances in Vision Computing: An International Journal
IJWSC   International Journal on Web Service Computing