CIAO-2005

                The 14th CLAM-INKA-OMRS Workshop
                          UK Midlands
                     5th - 7th April, 2005

   The School of Computer Science and Information Technology
                   University of Nottingham

              http://www.cs.nott.ac.uk/~lad/ciao/

The 14th CLAM-INKA-OMRS workshop (CIAO-2005) will be hosted by the UK
Midlands and held in Nottingham, April 5-7, 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.

Organisers: Louise Dennis, lad@cs.nott.ac.uk, Manfred Kerber,
M.Kerber@bham.ac.uk, Volker Sorge, V.Sorge@bham.ac.uk

Important Dates
===============

If you plan to attend the CLAM-INKA-OMRS Workshop, please send an
email to Louise Dennis, lad@cs.nott.ac.uk, by February 28th 2005.

If you also plan to give a talk, please specify the title and
abstract. The deadline is the same.

Workshop Location, Accomodation etc.
====================================

The workshop will be held on the Jubilee Campus of the University of
Nottingham.

Nottingham is centrally located in the UK, and is easily reachable by
all forms of transport.

Further details about the location, directions and accomodation can be
found on the workshop website: http://www.cs.nott.ac.uk/~lad/ciao/