[TYPES/announce] CoqPL 2017: Call for Participation [registration is open]

Emilio Jesús Gallego Arias e at x80.org
Thu Dec 8 15:46:32 EST 2016

The 3rd International Workshop on Coq for Programming Languages
Associated to POPL 2017

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.

Important dates:

- early registration deadline: December 17, 2016
- workshop: January 21, 2017

Important links:

- Program URL:

- Registration URL:

More information about the Types-announce mailing list