Description of Activity
Attended the London Mathematical Society (LMS) General Meeting 2026 held at the International Centre for Mathematical Sciences (ICMS) Edinburgh. The theme for the meeting is Computer Assisted Proofs, inspired by the 50th anniversary of the Four-Colour Problem proof with computer assistance. The meeting precedes the International Workshop on Validated Numerics for Computer-Assisted Proofs, also taking place at the ICMS 6-10 July 2026, for which I am on the Scientific Organising Committee.| Period | 3 Jul 2026 |
|---|---|
| Event type | Other |
| Location | Edinburgh, United KingdomShow on map |
| Degree of Recognition | National |
Documents & Links
Related content
-
Activities
-
Validated numerics for computer-assisted proofs
Activity: Participating in or organising an event types › Participation in conference
-
London Mathematical Society (External organisation)
Activity: Membership types › Membership of committee or panel