CICM
Calculemus
MKM
DML
SETS
FMM
OpenMath
Tetrapod
NatFoM
MathUI
EPN WG4+5

You must enable JavaScript to use this site

- General Information
- Call for Papers
- Call for Workshops
- Accepted Papers
- Programme
- Proceedings
- Registration
- Important Dates
- Invited Speakers
- Program Committee
- Travel Information & Accommodation

Important Dates

Abstract submission deadline	~~27 March 2023~~ extended: 3 April 2023
Full Paper submission deadline	~~3 April 2023~~ extended: 10 April 2023
Reviews sent to authors	~~2 May 2023~~ 9 May 2023
Rebuttals due	~~6 May 2023~~ 13 May 2023
Notification of acceptance	~~13 May 2023~~ 20 May 2023
Camera ready copies due	~~5 June 2023~~ 12 June 2023
Conference	4–8 September 2023

Dates for Workshops

Workshop proposals	27 January 2023 (earlier submissions encouraged)
Notification	3 February 2023 (on a rolling basis for earlier submissions)
Final papers if part of joint proceedings	TBD

Dates for Doctoral Programme

Submission deadline	~~30 June 2023~~ 14 July 2023
Notification of acceptance	~~14 July 2023~~ 28 July 2023

News
- Slides from Monday online
- Registration for physical participation closes Friday, 1. September 2023. Registration for online participation still possible beyond that date,
- Latest travel information
- Monday workshops changed
- Registration opened
- Programme added
- 6th workshop accepted
- Accepted papers published
- Notifications sent
- Submission deadline extended
- 5 workshops accepted
- Invited Speakers confirmed
- 2nd Call for Papers posted
- Call for Workshops posted
- Call for Papers posted
- Initial website online

Privacy policy and legal information

Last modified: July 07 2023 07:38:40 CEST