Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] MPC 2022 - Deadline extension


view this post on Zulip Email Gateway (Apr 12 2022 at 11:14):

From: "\"Daggitt, Matthew\"" <cl-isabelle-users@lists.cam.ac.uk>
Dear all,
It has been drawn to the organisers' attention that the paper submission deadline for MPC 2022<https://www.macs.hw.ac.uk/mpc22/> lies over the Easter weekend which is a public holiday in some parts of the world. To avoid disrupting people's well-earned holidays and to increase the number of submissions, we are extending the deadlines for both abstract and paper submission by 12 days. The new dates are therefore:

* Abstract submission - 22nd of April (anywhere on Earth)
* Paper submission - 29th of April (anywhere on Earth)

Many thanks,
Katya and Matthew


Founded in 1821, Heriot-Watt is a leader in ideas and solutions. With campuses and students across the entire globe we span the world, delivering innovation and educational excellence in business, engineering, design and the physical, social and life sciences. This email is generated from the Heriot-Watt University Group, which includes:

1. Heriot-Watt University, a Scottish charity registered under number SC000278
2. Heriot- Watt Services Limited (Oriam), Scotland's national performance centre for sport. Heriot-Watt Services Limited is a private limited company registered is Scotland with registered number SC271030 and registered office at Research & Enterprise Services Heriot-Watt University, Riccarton, Edinburgh, EH14 4AS.

The contents (including any attachments) are confidential. If you are not the intended recipient of this e-mail, any disclosure, copying, distribution or use of its contents is strictly prohibited, and you should please notify the sender immediately and then delete it (including any attachments) from your system.


Last updated: Mar 28 2024 at 16:17 UTC