You must enable JavaScript to use this site

• • General Information
  • Call for Papers
  • Important Dates
  • Submission
  • Invited Talks
  • Venue & Travel
  • Programme Overview
  • Day schedule
  • All Talks and Events
  • Registration and Accommodation
  • Programme Committee

• Friday 9:00- 10:00 Chair: Jacques Carette, Room 8W 2.1 (Invited Talk) Patrick Ion. Mathematics and the World Wide Web (9:00-10:00) (DOI) MKM 10:00- 10:30 Coffee 10:30- 12:30 Room 8W 2.1 Cezary Kaliszyk and Josef Urban. Automated Reasoning Service for HOL Light (10:30-11:00) (DOI) Steven Obua, Mark Adams and David Aspinall. Capturing Hiproofs in HOL Light (11:00-11:30) (DOI) Carst Tankink, Cezary Kaliszyk, Josef Urban and Herman Geuvers. Formal Mathematics on Display: A Wiki for Flyspeck (11:30-12:00) (DOI) MKM 12:30- 14:00 Lunch 14:00- 15:30 15:30- 16:00 Coffee 16:00- 18:00

• News

  • Brief notes on travel to Bath
  • Registration is closed
  • Deadline extension for applications to the doctoral programme
  • Accepted papers online
  • Campus accommodation now bookable
  • Brief notes on Bath City hotels
  • Doctoral programme applications are now open
  • Invited talks by Patrick Ion, Assia Mahboubi, and Ursula Martin

  
  

Last modified: September 27 2026 21:22:35 CEST