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

[Emilio Jesús Gallego Arias]

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:
  http://conf.researchr.org/track/CoqPL-2017/main#program

- Registration URL:
  http://popl17.sigplan.org/attending/registration