12th CLAM - INKA - OMRS Workshop

2. 4. - 4. 4. 2003, Schloss Dagstuhl

Workshop:

The CLAM-INKA-OMRS workshop (CIAO-2003) will be held in Dagstuhl from the 2nd to the 4th April 2003. It is intended to provide a snapshot of research into automating mathematical reasoning, especially in the areas of proof planning, rippling and related areas. Given the widening interested in these areas, the CIAO-2003 workshop is inviting participation from groups involved in closely related research.

Information about the previous workshop is available at

• http://www.dai.ed.ac.uk/group/tw/ciao99
• http://www.dfki.de/CIAO-2000
• http://www.mrg.dist.unige.it/events/CIAO2001
• http://dream.dai.ed.ac.uk/ciao/ciao-2002.html

Location:

The workshop will be held at Schloss Dagstuhl. Information how to get to Dagstuhl can be obtained at the local web-side http://www.dagstuhl.de .

Pictures of the Workshop:

can be found here!

Program:

A list of talks is available here

People registered so far:

Rooms are available for all participants from UK from April 1st ! Dinner is available on April 1st.

• Alan Bundy, University of Edinburgh ( talk )
• Christoph Benzmueller, Saarland University ( talk )
• Lucas Dixon, University of Edinburgh ( talk )
• Hazel Duncan, University of Edinburgh
• Bill James Ellis, Heriot-Watt University, Edinburgh ( talk )
• Alex Heneveld, University of Edinburgh ( talk )
• Sophie Huczynska, University of Edinburgh
• Dieter Hutter, DFKI Saarbruecken ( talk )
• Manfred Kerber, University of Birmingham
• Ewen Maclean, University of Edinburgh ( talk )
• Roy McCasland, Univeristy of Edinburgh
• Fiona McNeill, University of Edinburgh
• Quoc Bao Vo, Saarland University ( talk )
• Axel Schairer, DFKI Saarbruecken ( talk )
• Stefan Schweitzer, TU Darmstadt ( talk )
• Alan Smaill, University of Edinburgh ( talk )
• Volker Sorge, University of Birmingham ( talk )
• Graham Steel, University of Edinburgh ( talk )
• Werner Stephan, DFKI Saarbruecken
• Toby Walsh, University College Cork
• Christoph Walther, TU Darmstadt ( talk )
• Claus Peter Wirth, Saarland University ( talk )
• Juergen Zimmer, Saarland University

Further Information

Weather forecast for the Saarland is available here

If you don't trust weather forecasts, have a look at the actual weather in Saarbruecken: looking at the castle or looking at the Johannes Church (downtown)

German train schedule is available here

If you travel via (Frankfurt-)Hahn there is a direct bus connection between Hahn and Saarbruecken.

Contact: