MRG home page · Research · Publications · Projects · Software · People

Big Proof Newton/ICMS Workshop

Dates: 27th May 2019 to 31st May 2019
Venue: ICMS, Edinburgh

The six-week programme on Big Proof during the summer of 2017 drew a great deal of interest from mathematicians, philosophers, and computer scientists. Jeremy Avigad’s article on The Mechanization of Mathematics in the June/July 2018 issue of the Notices of the AMS summarizes many of the themes from the Big Proof programme. In May 2019 we are running a week-long follow-on workshop sponsored by the Newton Institute and hosted by the International Centre for Mathematical Sciences in Edinburgh. This workshop will take forward a number of the key initiatives from Big Proof:

  1. Pragmatic foundations for the formalization of mathematical proofs.
  2. Social processes that support research, exposition, and learning in mathematics.
  3. Interchange formats and repositories of formal mathematical knowledge that are compatible with popular proof tools.
  4. Scalable proof automation in the form of SAT and SMT solvers, rewriting systems, computer algebra, model checkers, interactive proof assistants, and proof search engines.
  5. Applications of Big Proof technology in research, education, and industry.

The participants at the Big Proof Workshop will include attendees of the original Big Proof summer programme and new participants, with places for students and young researchers. Like other ICMS events, participation is by invitation only.

Main organisers: Ursula Martin (University of Edinburgh and Oxford Mathematical Institute) and Natarajan Shankar (SRI International)

Informal enquiries: Joseph Corneli (University of Edinburgh), joseph.corneli@ed.ac.uk