Email Gateway (Aug 22 2022 at 20:09): Email Gateway (Aug 22 2022 at 20:09):From: "O'Leary, John W" <john.w.oleary@intel.com>
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
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
Last updated: Nov 21 2024 at 12:39 UTC