| 15th Oct 2010 |
| 2nd lecture on Decision Procedures and Verification (NAIL094) is on-line. »» |
| 12th Oct 2010 |
| Duties page of Logic (NAIL062) has been updated. »» |
| 12th Oct 2010 |
| Duties page of the Seminar on Artificial Intelligence (NAIL004) has been updated. »» |
| 12th Oct 2010 |
| The progam of the Seminar on Artificial Intelligence (NAIL004) has been updated. »» |
| 11th Oct 2010 |
| A new presentation for Seminar on Artificial Intelligence (NAIL004) is on-line. »» |
| 10th Oct 2010 |
| News section now supports RSS (Really Simple Syndication). »» |
| 8th Oct 2010 |
| 1st lecture on Decision Procedures and Verification (NAIL094) is on-line. »» |
| 8th Oct 2010 |
| Decision Procedures and Verification (NAIL094) will start 10 minutes later. »» |
| 7th Oct 2010 |
| Duties page of Logic (NAIL062) has been updated. »» |
| 4th Oct 2010 |
| The progam of the Seminar on Artificial Intelligence (NAIL004) has been updated. »» |
| 30th Sep 2010 |
| Office hours changed for winter period. »» |
| 30th Sep 2010 |
| Lecture on Decision Procedures and Verification has been scheduled. »» |
| 30th Sep 2010 |
| Seminar on Artificial Intelligence has been scheduled. »» |
| 30th Sep 2010 |
| Individual project NPR045 added into Teaching section. »» |
| 26th Sep 2010 |
| Seminar on Logic is on-line. »» |
| 26th Sep 2010 |
| Seminar on Artificial Intelligence is on-line. »» |
| 26th Sep 2010 |
| Exam rules for Decision Procedures and Verification have been announced. »» |
| 26th Sep 2010 |
| The short biography for announcing talks is on-line. »» |
| 24th Sep 2010 |
| The presentation on Research Evaluation has been corrected according to the discussion. »» |
| 22nd Sep 2010 |
| A presentation for a talk on Research Evaluation is on-line. »» |