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

• Detailed Programme (tentative) Monday 8. July Tuesday 9. July Wednesday 10. July Thursday 11. July Friday 12. July 9:00- 10:00 S&P teaser talks [T1] S&P teaser talks [T1] S&P teaser talks [T1] MathUI [R300] [R310] [R309] OpenMath [R100] [R101] DML [I0] MKM [I2] 10:00- 10:30 Coffee Coffee Coffee Coffee Coffee 10:30- 12:30 Registration (from 11am) Calculemus (from 11:30am) [I1] S&P posters & demos [R11] [R10] [R17] [R8] [R500] [R501] [R200] [R201] [R202] [R203] [R303] [R304] [R305] [R306] OpenMath [R102] 11:00-11:45: Business meeting DML [R18] [R20] [R21] MKM [R24] [R28] [R26] 12:30- 14:00 Lunch Lunch Lunch Lunch Lunch 14:00- 15:30 Calculemus [R1] [R3] [R4] S&P posters & demos [R15] [R14] [R16] [R9] [R502] [R503] Work in Progress demos [R204] [R307] [R308] [R302] Doctoral Programme [D1] [D2] [D3] ThEdu [R600] [R601] DML [R22] [R23] [R19] 15:30- 16:00 Coffee Coffee Coffee Coffee Coffee 16:00- 18:00 Calculemus [R2] [R5] 17:15-18:00: Business meeting S&P posters & demos [R6] [R12] [R13] [R7] [R504] [R505] Work in Progress demos [R204] [R301] Elevator pitches and demo session. Doctoral Programme [D4] [D5] [D6] [D7] MKM [R27] [R25] [R30] [R29] 18:00-18:30: CICM Business meeting Banquet 18:00-18:30: CICM Business meeting Banquet 18:00-18:30: CICM Business meeting Banquet [B4] 19:00-19:20: Business meeting MKM Business Meeting 18:10-18:50: Business meeting

• 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 16 2025 13:24:30 CEST