CoqPL 2017: Call for Participation [registration is open]
0 views
Skip to first unread message
Emilio Jesús Gallego Arias
unread,
Dec 8, 2016, 3:48:21 PM12/8/16
Reply to author
Sign in to reply to author
Forward
Sign in to forward
Delete
You do not have permission to delete messages in this group
Copy link
Report message
Sign in to report message
Show original message
Either email addresses are anonymous for this group or you need the view member email addresses permission to view the original message
to homotopyt...@googlegroups.com
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