12th CLAM - INKA - OMRS Workshop

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


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


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!


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.

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.


Dieter Hutter, DFKI GmbH, Saarbrücken, Germany, hutter@dfki.de Tel. ++49 681 302 5317, Fax. ++49 681 302 2235