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


CIAO 2013 Workshop



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

Foreword

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.

Organisers: Iain Whiteside, Ewen Maclean and Gudmund Grov.

Programme

Tuesday 23rd April

09:45 - 10:15Alan BundyThe Interaction of Representation and Reasoning
10:15 - 10:45Daniel RaggiRe-...-re-representation
10:45 - 11:15Colin FarquharGenerating Structured Proofs from a Graphical Proof Strategy Language
 COFFEE
11:30 - 12:00Serge AutexierSHIP Tools and Applications
12:00 - 12:30Dieter HutterSHIP Tool Constructive Updates
 LUNCH
14:45 - 15:15Mohammed AlzahraniComparative analysis of time-sensitive web applications using SPIN and UPPAAL
15:15 - 15:45Rajiv MuraliModelling Control System in Event-B
 COFFEE
16:00 - 16:30Ewen MacleanAnalogical Lemma Speculation
16:30 - 17:00Moa JohannsonChallenges in Theory Exploration

Wednesday 24th April

09:45 - 10:15Yuhui LinThe Use of Rippling to Automate Event-B Invariant Preservation Proofs
10:15 - 10:45Christoph LüthCLIDE - a web interface for Isabelle
10:45 - 11:15Alan SmaillInduction in easy and hard theories
 COFFEE
11:30 - 12:00Aleks KissingerDiagrammatic Reasoning and the Quantomatic Project
12:00 - 12:30Gudmund GrovSemi-automatic Design Space Exporation for Formal Modelling
 LUNCH

Important Dates

Workshop Dates: 23rd-24th April 2013

Deadline for Registration: 16th April 2013

Registration

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:

  • 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 last day).
  • 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.
We are working on an online payment system and accommodation and food prices for your stay it is likely to be very reasonable.

Location

The Burn
Glenesk
Brechin
Angus DD9 7YP

Google Map

Travel Information

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:

Accommodation

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 Hutter.

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.