Thursday, October 13, 2016

Third International Workshop on Coq for Programming Languages(CoqPL 2017)

January 21,2017.
Paris,France


Important Dates

  • Submission deadline: October 14,2016.
  • Notification Due:November 04, 2016.
    • Posted by at
    Labels:

    No comments:

    Post a Comment

    Subscribe to: Post Comments (Atom)