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

NECO 2025   14th International Conference of Networks and Communications
DMAP 2026   12th International Conference on Data Mining and Applications
NLAICSE 2025   2nd International Conference on NLP, AI, Computer Science & Engineering
AIAA 2025   15th International Conference on Artificial Intelligence, Soft Computing and Applications