coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] CoqPL 2017 Call for Participation [registration is open]

From: e AT x80.org (Emilio Jesús Gallego Arias)
To: coq-club AT inria.fr
Subject: [Coq-Club] CoqPL 2017 Call for Participation [registration is open]
Date: Thu, 08 Dec 2016 21:43:34 +0100
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=e AT x80.org; spf=Neutral smtp.mailfrom=e AT x80.org; spf=None smtp.helo=postmaster AT cc-tupan-roaming-a.ensmp.fr
Ironport-phdr: 9a23:2L2RCRSfaAvH4mD8ho+qMkjUQNpsv+yvbD5Q0YIujvd0So/mwa67YxCN2/xhgRfzUJnB7Loc0qyN4vumBDBLv8rJ8ChbNscTB1ld0YRetjdjKfDGIHWzFOTtYS0+EZYKf35e1Fb/D3JoHt3jbUbZuHy44G1aMBz+MQ1oOra9QdaK3Izkn9y1rpbUekBDgCe3SbJ0NhS/6wvL5ecMho43J44hmkOPpWFHM6R7wGJsJFXbvRvndNz405dn9ylfvLoI7c9JSuSpLOwDUbVEAWF+YCgO78rxuEybQA==
Organization: X80 Heavy Industries

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

- Program URL:
http://conf.researchr.org/track/CoqPL-2017/main#program

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

[Coq-Club] CoqPL 2017 Call for Participation [registration is open], Emilio Jesús Gallego Arias, 12/08/2016
- <Possible follow-up(s)>
- [Coq-Club] CoqPL 2017 Call for Participation [registration is open], Emilio Jesús Gallego Arias, 12/08/2016