* CoqPL 2017: Call for Participation [registration is open]
@ 2016-12-08 20:48 Emilio Jesús Gallego Arias
0 siblings, 0 replies; only message in thread
From: Emilio Jesús Gallego Arias @ 2016-12-08 20:48 UTC (permalink / raw)
To: homotopytypetheory
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
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2016-12-08 20:48 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2016-12-08 20:48 CoqPL 2017: Call for Participation [registration is open] Emilio Jesús Gallego Arias
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).