Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Reminder: CICM/MKM deadline approaching

Email Gateway (Aug 19 2022 at 10:21):

From: David Aspinall <David.Aspinall@ed.ac.uk>
Dear Isabelle Users

Just a reminder, hopefully everyone has seen a copy of the CICM call for
papers:

http://www.cicm-conference.org/2013/cicm.php?event=&menu=cfp

I'm the track chair for MKM (Mathematical Knowledge Management) this
year, following in footsteps of Makarius. Last year there were some
good papers from Isabelle folk on managing large proof developments. I'm
keen to welcome submissions from the Isabelle community again!

Deadline is next Friday 8th March (1st March for abstracts).

Best wishes,

- David

Last updated: Nov 21 2024 at 12:39 UTC