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.