Important Dates

All dates anywhere on earth

Workshops/Tutorials

Workshop proposal submission:	November 01, 2019
Workshop notification:	November 15, 2019
Tutorial proposal submission:	February 16, 2020

Case Study Track (Deadline extended)

Abstract submission:	November 29, 2019 January 13, 2020
Paper submission:	December 06, 2019 January 31, 2020 (firm)
Notification:	January 13, 2020 March 04, 2020
Final version:	March 04, 2020 March 16, 2020 March 27, 2020

Main Track (Deadline extended)

Abstract submission:	January 13, 2020
Paper submission:	January 20, 2020 January 31, 2020 (firm) (including research/short/industry papers)
Notification:	March 4, 2020
Final version:	March 16, 2020 March 27, 2020

Doctoral Symposium

Short paper submission:	March 02, 2020
Notification:	March 09, 2020
Final version:	March 16, 2020 March 27, 2020

Conference

8th Rodin User and Developer Workshop:	May 26, 2020
Implementing Domain-Specific Languages with JetBrains MPS:	May 26, 2020
ProB Jupyter Notebook:	May 26, 2020
ABZ 2020 conference:	May 27-29, 2020