Thursday, October 13, 2016
Third International Workshop on Coq for Programming Languages(CoqPL 2017)
For CFP Click Here
Submission deadline: October 14,2016.
Notification Due:November 04, 2016.
Share to Twitter
Share to Facebook
Share to Pinterest
Post Comments (Atom)