Aerial shot of Strathclyde's campus

Welcome!

The 18th International Conference on Interactive Theorem Proving (ITP 2027) will take place at the University of Strathclyde in Glasgow, Scotland. We have yet to finalise the dates but we expect it will be either over the last week of July or the first week of August.

ITP will be co-located with the Scottish Programming Languages and Verification summer school at the nearby Heriot-Watt University in Edinburgh, Scotland.

Sponsorship

EDI: Here goes the details
Gold: Here goes the details
Silver: Here goes the details
Bronze: Here goes the details

Organisation

Programme Committee

  • Dmitriy Traytel (co-chair)
  • Stephanie Weirich (co-chair)

Local Organisers

  • Guillaume Allais
  • Jan de Muijnck-Hughes
  • Fredrik Nordvall-Forsberg

Contact

If you have any problems or questions, please contact us via e-mail at CIS_itp2027@groups.strath.ac.uk.

About

ITP 2027 is part of the ITP conference series whose history goes back to 1988.

The design of the website is inspired by the Art Nouveau works of Charles Rennie Mackintosh and Margaret Macdonald. If you appreciate it, consider spending some of your time in Glasgow exploring their oeuvre.