About:

In the last few years, there has been a rapid growth in the community of mathematicians using proof assistants to formalise mathematical results. Besides verifying the correctness of theorems beyond any reasonable doubt, formalisation has applications to teaching and communication of mathematics, and will soon be able to help in mathematical research. 

The main objectives of this workshop are to develop the community of female mathematicians who are skilled users of proof assistants, and to build the connections of this community with researchers in the related area of computational algebra.

The workshop will be introductory and collaborative, with tutorials for beginners and proposed projects which participants can work on in groups, and with a focus on recognizing and using participants’ existing skills. Collaborations between students, early-career and senior researchers will be actively encouraged. The proof assistant Lean will be used for the tutorials, which will be complemented by more specialised lectures on topics like state-of-the-art formalisation projects or the use of formalisation in mathematics teaching.

Participation

No late applications and walk-in attendees will be accepted.

If you have any updates to inform ICMS after your submission, we kindly ask you not to submit twice but contact us by email. 

​Scam Warning

We are aware of a number of current scams targeting participants at ICMS workshops in relation to registration or accommodation bookings. If you are approached by a third party (e.g., travellerpoint.org, Conference Committee or Royal Visit) asking for booking or payment details, these scammers may telephone or email you and tell you that they are organising accommodation in Edinburgh for you on behalf of ICMS. please ignore.

Please note:
i) ICMS never uses third parties to do our administration for events: messages will come directly from ICMS staff;
ii) ICMS never asks participants for credit card or bank details;
iii) If you have any doubts about an email you receive, please get in touch with us.