Here is confirmation of the post-course assignments for CS612.

Just a few reminders:

  o Deadline for full-time students is 9th December
    (for part-time students: 2 weeks before the CS612 Exam)

    Please contact us in good time if you may have a problem with this
  o We do expect you to work independently!
  o Please carefully read the project descriptions and notes in the
    `Post-Course Assignment' document, so that you are clear what you
    need to do. If you do have any questions regarding this, please
    contact us.

|----------------------------------------------------------------------------------------|
|Supervisor  | Name                  |  Project                                          |
|----------------------------------------------------------------------------------------|
|RS          | Abu-Khazneh,Ahmad     |  RS2(a): Clausification (Essay)                   |
|RS          | Antoniou,Stavros      |  RS2(a): Clausification (Essay)                   |
|AW          | Baxter,Andrew         |  RS7: Implementing a tableau prover (Java)        |
|RS          | Bourke,John           |  RS1: Implementing model construction (Prolog)    |
|RS          | Chen,Meng\_Song       |  RS2(b): Clausification (Implementation)          |
|AW          | Feyrer,Kevin          |  AW3. A Closer Look at Prolog and Resolution      |
| -          | Hackett,David         |  (NOT ATTENDED?)                                  |
|RS          | Hadjichambis,Ioannis  |  RS3(a): Splitting (Essay)                        |
|AW          | Hui,Chenwai\_Wai      |  RS7: Implementing a tableau prover (Prolog)      |
|AW          | Kerbache,Samir        |  RS7: Implementing a tableau prover (Prolog)      |
|AW          | Mostafavi,Sayyed      |  AW1: first order Resolution in Prolog            |
| -          | Patel,Mubarak         |  ***not chosen***                                 |
| -          | Sharp,Kevin           |  ***will decide by next week***                   |
|RS          | Shearer,Rob           |  RS1: Implementing model construction (Prolog)    |
| -          | Stephen,Colin         |  (NOT ATTENDED?)                                  |
|RS          | Wang,Kaixuan          |  RS6(a): SPASS                                    |
|----------------------------------------------------------------------------------------|