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:
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), firstname.lastname@example.org