MRG home page · Research · Publications · Projects · Software · People

CIAO Workshops


The CIAO workshop provides a forum for discussion of research into automating mathematical reasoning, especially in the areas of proof planning, verification, theory exploration, and ontology evolution. The workshops are informal, have a fun and friendly atmosphere, and have no proceedings. They are intended to help us keep up to date with developments, and present and discuss work in progress.

Email List

There is a JISC email list for CIAO to which announcements of the next workshop are sent. You should briefly explain your background and interest in CIAO when you request membership to the list. The list is only for CIAO-workshop related information. To post to the list, for which you need to be subscribed from the email you are sending from, send an email to: CIAO@JISCMAIL.AC.UK

Next Workshop

The next workshop is planned for May 2017, organised by Paul Jackson.

Previous Workshops


Mathematical Reasoning Group, Informatics Forum, 10 Crichton Street, Edinburgh, EH8 9AB, Scotland
Tel: +44 (0)131 650 2733      Fax: +44 (0)131 650 6899
Please send corrections and suggestions for this page to the DReaM Support Team
Unless explicitly stated otherwise all material on this web site is copyright © The University of Edinburgh.