[isabelle] Reminder: CICM/MKM deadline approaching
Dear Isabelle Users
Just a reminder, hopefully everyone has seen a copy of the CICM call for
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).
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.
This archive was generated by a fusion of
Pipermail (Mailman edition) and