ITP 2021
  • Home
  • Conference
    • Important Dates
    • Venue
    • Keynote Speakers
    • Committees
    • Accepted Papers
    • Program
    • Workshops
    • About ITP series
  • Calls
    • Call for Papers
    • Call for Workshops
  • Registration
  • More
    • About Rome
    • About Italy
  • Contact Us
Select Page

Workshops

Coq Workshop 2021: 12th Coq Workshop

Organizers: Christian Doczkal, Jean-Marie Madiot

Website

Proof Ground 2021 

Organizers: Maximilian P. L. Haslbeck, Simon Wimmer, Tobias Nipkow

Website

All rights reserved | Easy Conferences Ltd.