Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

22-27 August 2016, The 7th International Conference on Interactive Theorem Proving (ITP 2016), Nancy, France

Date: 22-27 August 2016
Location: Nancy, France

ITP is the premier international conference for researchers from all areas of interactive theorem proving and its applications. The program committee accepted 27 regular papers and 5 rough diamonds this year. There will be invited talks by Viktor Kuncak (EPFL), Grant Olney Passmore (Aesthetic Integration and University of Cambridge) and Nikhil Swamy (Microsoft Research).

The following affiliated events will take place after the main conference:
- Coq Workshop 2016
- Isabelle Workshop 2016
- Mathematical Components, an Introduction

Up-to-date information and online registration can be found at https://itp2016.inria.fr/.

Please note that this newsitem has been archived, and may contain outdated information or links.