Dear PG users and developers,

Hopefully many of you will know the CICM conference and have seen the CFP:

I'm the track chair for MKM (Mathematical Knowledge Management) this year, I'm keen to see plenty of submissions for our track to put together an interesting programme. If you've been using Proof General (or even another tool) to manage large developments, maybe there is something to write about?

The deadline for final submissions is Fri 8th March (abstracts ideally by this Friday).

Best Wishes,

 - David
ProofGeneral mailing list

The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.

Reply via email to