ITP 2019: Interactive Theorem Proving
Tenth International Conference - September 8-13 2019 - Portland, OR, USA
 
Skip to content
  • Home
  • Program
  • Invited Speakers
  • Registration
  • Cruise and Banquet
  • Local Information
  • Workshops
  • Proceedings
  • Committees
  • History
  • More
    • ITP 2021
    • Accepted Papers
    • Call for Papers
    • Venue
    • Code of Conduct
Home Workshops

Workshops

8 Sept 2019 The Coq Workshop 2019
13 Sept 2019 Proof Ground: Interactive Proving Contests
13 Sept 2019 SpISA 2019: Workshop on Instruction Set Architecture Specification

 

Comments are closed.

Powered by Nirvana & WordPress.