[Caml-list] CoqPL 2017: Call for Participation [registration is open]

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

--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs