CIAO (CLAM/INKA/OMRS) 2005 Workshop
Midlands
Nottingham, 4th-6th April, 2005
CSiT,
University of Nottingham
Jubilee Campus,
Nottingham, NG8 1BB, UK
- Foreword
- Photos
- Programme
- Equipment, Computing Facilities etc.
- Important Dates
- Participants
- Accommodation
- Location
- Food and Drink
- Other Events and Conferences
- Previous Workshops
Foreword
The 14th CLAM-INKA-OMRS workshop (CIAO-2005) will be hosted by the UK Midlands and held in Nottingham, April 4-6, 2005. It is intended to provide a snapshot of research into automating mathematical reasoning, especially in the areas of proof planning, rippling, combination and integration of specialised reasoners (as, e.g., decision procedures) and related areas.Photos
Photos of the event can be found here.Programme
Monday 4th April
| 12pm | Welcome and Buffet Lunch, A01 |
|
Session 1, B53: Verifying Programs and Protocols Chair: Louise Dennis |
|
|---|---|
| 1pm | On Reasoning About Pointer Based Programs Andrew Ireland |
| 1.40pm | Automated Reasoning by Supercompilation Alexei Lisitsa and Andrei Nemytykh |
| 2.20pm | XOR Constraints in Security API Modelling Graham Steel |
| 3pm | Coffee |
| Session 2, B53: Induction I Chair: Jürgen Zimmer |
|
| 3.30pm | Using Induction for Cut-Simulation Chad Brown |
| 4.10pm | Constructing Induction Rules for Deductive Synthesis Proofs - Alan Bundy |
| 7.30pm Dinner, Mem Saab, 12-14 Maid Marian Way, Nottingham | |
Tuesday 5th April
| Session 3, B53: Proof Presentation and Mathematical Notation Chair: Roy McCasland |
|
|---|---|
| 9.30am | Intuitive and Formal Representations: The Case of Matrices Manfred Kerber, Martin Pollet and Volker Sorge |
| 10.10am | Proof Presentation Jörg Siekmann |
| 10.50am | Coffee |
| Session 4, B53: Proof Presentation II Chair: Lucas Dixon |
|
| 11.30am | Novel Directions in the OMEGA Project Christoph Benzmüller |
| 12.10pm | Formalising and Analysing Textbook Proofs: The Problem of Under-Specification and Granularity Serge Autexier |
| 12.50pm | Lunch |
| Session 5, B53: Induction II Chair: Gudmund Grov |
|
| 2pm | Experiences proving the Correctness of Student Functional Programs in Isabelle Louise Dennis and Pablo Nogueria-Iglesias |
| 2.40pm | Rippling Rippling Lucas Dixon |
| 3.20pm | Coffee |
| 3.50pm | CIAO Business Meeting, B53 Chair: Alan Bundy |
Wednesday 6th April
| Session 6, B53: Integration of Reasoning Systems Chair: Fiona McNeill |
|
|---|---|
| 9.30am | Can a Higher-Order and a First-Order Theorem Prover Cooperate? Volker Sorge and Christoph Benzmüller |
| 10.10am | The verification of programs in Hume Gudmund Grov |
| 10.50am | Coffee |
| Session 7, B53: e-Science and Grid Applications Chair: Manfred Kerber |
|
| 11.30am | Intelligent Brokering of Semantic Reasoning Web Services Jürgen Zimmer |
| 12.10pm | Dynamic Ontology Refinement Fiona McNeill |
| 12.50pm | Towards a bell-curve calculus and its application to e-Science Lin Yang |
| 1.40pm | Close |
Equipment, Computing Facilities, etc.
The Seminar Room
The seminar room contains a whiteboard, OHP and Data Projector. The Data projector can be linked to a laptop or to a fixed Windows PC which has USB ports available for use with data sticks.Internet Access
By the time of CIAO 2005 a wireless network will have been installed in the School and this will be the preferred method by which visiting academics can access the Internet. This being the case, if you think you will need to read email etc. while attending CIAO you should ensure that you have access to a laptop with wireless connectivity.Important Dates
If you plan to attend the CLAM-INKA-OMRS Workshop, please send an email to Louise Dennis by February 28th 2005.If you also plan to give a talk, please specify the title and abstract and any constraints you may have (eg. you have to present on the 4th). The deadline is the same.
Participants
Serge Autexier (talk) - dinnerChristoph Benzmüller (talk)
Chad Brown (talk)
Alan Bundy (talk) - dinner
Louise Dennis (talk) - dinner
Lucas Dixon (talk) - dinner
Gudmund Grov (talk) - dinner
Andrew Ireland (talk)
Manfred Kerber (talk) - dinner
Alexei Lisitsa (talk)
Roy McCasland - dinner
Fiona McNeill (talk) - dinner
Andrei Nemytykh
Jörg Siekmann (talk)
Volker Sorge (talk)
Alan Smaill
Graham Steel (talk) - dinner
Lin Yang (talk)
Jürgen Zimmer (talk) - dinner
Accommodation
All of these are within walking distance of Jubilee Campus although (except in the case of the P&J Hotel) I would allow at least 45 minutes for the walk. There are regular buses up and down the Derby Road however and you should look to get off at the QMC (Queens Medical Centre) Stop. Local Bus Timetables are available and you should be looking for Orange Line services (numbers 35 - 38).The Holiday Inn and Innkeeper's Lodge have been used previously by the School for visitors. The P&J Hotel has not but is slightly closer (and cheaper).
Holiday Inn Nottingham Castle Marina
Castle Bridge Road,
Nottingham, Nottinghamshire,
England, NG7 1GX
UK Booking Line:
(uk+44) 0870 7522235
Rates appear to start at 86 UKP per night but I wouldn't be surprised if you can get cheaper ones by going through Expedia or similar.
Innkeeper's Lodge Nottingham,
Derby Road,
Wollaton Vale,
Nottingham,
NG8 2NR
0115 922 1691
Rates start at 59 UKP per night
P and J Hotel
277 -279 DERBY ROAD
Nottingham
Nottinghamshire
NG7 2DP
England
United Kingdom
Telephone - 0115 978 3998
Fax - 0115 911 2425
Rates start at 38 UKP per night
Location
The workshop will be held on the Jubilee Campus of the University of Nottingham, which has won many awards for its design and environmental features.Nottingham is centrally located in the UK, and is easily reachable by all forms of transport.
By car: Leave the M1 motorway at junction 25 or 26, and follow the route to the Jubilee Campus using this map. On-site parking is available.
By train or bus: The Jubilee Campus is around 10 minutes by taxi from the train and bus stations in Nottingham city centre. Online timetables and booking are available for both trains and buses.
By plane: The campus is around 30 minutes by taxi from Nottingham East Midlands airport, which has direct scheduled flights to many European destinations. Those without a direct flight should be able to make the journey with a single change, or may prefer to fly to Birmingham, Manchester, or Heathrow airports and then take the train to Nottingham. If you will be flying to Nottingham please book your ticket as soon as possible, as most of the carriers are budget airlines whose cheap flights are very popular. Online timetables and booking are available for most flights, via the above links.
You may find Multimap a useful resource for obtaining local maps in the UK.
Food and Drink
There will be a workshop dinner at 7.30pm on the 4th April at Mem Saab, 12-14 Maid Marian Way, Nottingham.There are several places to eat on Jubilee Campus. There is a tray service canteen where you can get a cooked meal for under 5 UKP although the food is very mass produced. There is also a cafe in The Exchange Building which sells posh sandwiches and coffee and also a small selection of cooked food. The cafe has a large number of tables at which you are welcome to eat your own food as well as that sold on the premises. There is a small student shop beside the cafe where you can purchase more basic sandwiches, drinks and choclate.
There are a number of pubs quite close to the campus which also serve food. One of our PhD students, Jonathan Grattage, has a useful Local Food and Drink Guide which discusses the various options. This also reviews restaurants in the centre of town for those looking for places to eat in the evenings.