This email concerns students who intend to take the course:

    CS612 "Automated Reasoning"
    ===========================

The introductory meeting for this course is not going to be on
Monday but on

    Wednesday, October 5th, 1:00-1:30pm, in Rm 2.15 (tbc)

During this meeting we will discuss and handout notes on the
backround reading, Prolog and the pre-coursework exercises.

The venue for the meeting will be confirmed on the course
webpage at:

  http://www.cs.man.ac.uk/~schmidt/CS612/2005-2006/

If you are not as yet registered for the course (probably because
you are a student from another school) please register for it in
the Student Support Office (Rm 2.3, Kilburn Building).  You will
then get an account so that you can use the tools needed for
the completing the lab exercises.

If you have any queries please come to the meeting or address
them to Alan Williams or myself, email: alanw@cs.man.ac.uk,
schmidt@cs.man.ac.uk.

Renate Schmidt