CALL FOR PARTICIPATION - EARLY REGISTRATION DEADLINE 4 AUGUST ITP 2019 The Tenth International Conference on Interactive Theorem Proving 8 to 13 September 2019 in Portland, Oregon, USA
https://itp19.cecs.pdx.edu/ Early registration deadline: 4 August Main conference: 9 September to 12 September Affiliated events: 8 September and 13 September ITP is the premier international conference for researchers from all areas of interactive theorem proving and its applications. INVITED SPEAKERS Kevin Buzzard (Imperial College, London) June Andronick (Data61|CSIRO and The University of New South Wales) Martin Dixon (Intel) CONTRIBUTED PAPERS The program committee accepted 29 regular papers and 4 short papers this year: https://itp19.cecs.pdx.edu/accepted-papers/ AFFILIATED EVENTS The following affiliated events will take place on either side of the main conference: * Coq Workshop 2019 (Sunday, 8 September) * SpISA 2019: Workshop on Instruction Set Architecture Specification (Friday, 13 September) * ProofGround: Interactive Proving Contests (Friday, 13 September) CONTACT Up-to-date information and online registration and accommodation information can be found at https://itp19.cecs.pdx.edu/ itp19 at cecs.pdx.edu _______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info