The 22nd CIAO workshop will be on the 23rd and 24th of April 2013, hosted at
The Burn near Brechin, organised by the Mathematical Reasoning Group, University of Edinburgh
The CIAO workshop is intended to provide a snapshot of research into
automating mathematical reasoning, especially in the areas of proof planning,
rippling, verification and related areas. The CIAO-2013 workshop is
inviting participation from groups involved in closely related research. We have received funding from the Scottish Scottish Informatics and Computer Science Alliance (SICSA) -- specifically the Complex Systems Engineering (CSE) theme -- to fund subsistence for Scottish based PhD students to attend.
Ewen Maclean and
Tuesday 23rd April
|09:45 - 10:15||Alan Bundy||The Interaction of Representation and Reasoning|
|10:15 - 10:45||Daniel Raggi||Re-...-re-representation|
|10:45 - 11:15||Colin Farquhar||Generating Structured Proofs from a Graphical Proof Strategy Language|
|11:30 - 12:00||Serge Autexier||SHIP Tools and Applications|
|12:00 - 12:30||Dieter Hutter||SHIP Tool Constructive Updates|
|14:45 - 15:15||Mohammed Alzahrani||Comparative analysis of time-sensitive web applications using SPIN and UPPAAL|
|15:15 - 15:45||Rajiv Murali||Modelling Control System in Event-B|
|16:00 - 16:30||Ewen Maclean||Analogical Lemma Speculation|
|16:30 - 17:00||Moa Johannson||Challenges in Theory Exploration|
Wednesday 24th April
|09:45 - 10:15||Yuhui Lin||The Use of Rippling to Automate Event-B Invariant Preservation Proofs|
|10:15 - 10:45||Christoph Lüth||CLIDE - a web interface for Isabelle|
|10:45 - 11:15||Alan Smaill||Induction in easy and hard theories|
|11:30 - 12:00||Aleks Kissinger||Diagrammatic Reasoning and the Quantomatic Project|
|12:00 - 12:30||Gudmund Grov||Semi-automatic Design Space Exporation for Formal Modelling|
Workshop Dates: 23rd-24th April 2013
Deadline for Registration: 16th April 2013
If you plan to attend the CIAO Workshop, please send an
email to Iain Whiteside by the TBC. Please let us know about the following:
We are working on an online payment system and accommodation and food prices for your stay
it is likely to be very reasonable.
- Talk: if you would like to give a talk, please specify the title
and abstract and any constraints you have on this date/time (eg. must be on the
- Accommodation: the burn has 20 bedrooms, if the number of
participants is greater than this then some people will need to share a room.
It is assumed you will arrive on the night of the 22nd of April, and leave
on the 24th, if your dates are otherwise, please let us know.
- Other requirements: tells us anything else that is important for you, such as any special dietary requirements.
Angus DD9 7YP
You can get to the Burn by taking a train to Montrose and then a bus to
Edzell (in Angus) and finally walking, cycling, or taking a taxi for the
last 1 and a half miles. We can also pick people up from Montrose train
station - if you would like a lift please let us know. If you take the bus,
ask to be dropped off at the driveway to the Burn which will then leave
you with only a short walk.
We plan to organise a minibus leaving Edinburgh on the afternoon of
the 22nd April should there be interest. More details will be posted
as we plan this.
Food will be provided with the accommodation, including a meal at 7pm on
the 22nd of April.
More Travel links:
Equipment and Computing Facilities
The Seminar Room contains a whiteboard, OHP and Data Projector.
Previous CIAO Workshops
- CIAO 2012 in Chalmers University, Gothenburgh, Swden. April 18-19, 2012. Organised by Moa Johansson.
- CIAO/Automatheo 2011 in Oxford, UK. April 5-6, 2011. Organised by Bob Coecke.
- CIAO 2010 in Castle of Hagenberg, RISC, Austria. August 3-5, 2010. Organised by Wolfgang Windsteiger. (pictures)
- CIAO 2009 in Schloss
Etelsen, Langwedel (close to Bremen), Germany. Organised by Dieter