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


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.

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:

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