From: "Alan J Williams (Formal Methods Group)" <alanw@cs.man.ac.uk>
To: [...]
Subject: CS612 Automated Reasoning: Contact; notes; pre-course work
Date: Mon, 31 Oct 2005 16:40:39 +0000

All,

You are receiving this email because we think you are intending to
attend CS612 Automated Reasoning next week, either formally registered
or as an informal attendee.

Most of you have already collected the notes: `Introduction and
Pre-Course Work', and the `Notes on Automated Reasoning' by Gore and
Peim. Please let me know if you havent.

We hope you are making good progress with the pre-course work. The
deadline for submitting this is Friday 4th.

Also please ensure this week that you have a working account on the
Computer Science network, and that you can use Prolog.

See you next Monday 7th November (9:00am start).

Any problems, please contact us. 

regards,

Alan and  Renate.
--
 Dr. A Williams                          email: alanw@cs.man.ac.uk 
 Room 2.107, School of Computer Science  Tel: +44 (0) 161-275-6152
 University of Manchester,               fax: +44 (0) 161-275-6204
 Manchester, M13 9PL, ENGLAND