| 10th Jan 2010 |
| Results of the test from NAIL062 are on-line. »» |
| 10th Jan 2010 |
| Please read an announcement regarding NAIL062. »» |
| 9th Jan 2010 |
| Duties page for NAIL004 updated. »» |
| 6th Jan 2010 |
| 10th lecture on Decision procedures (NAIL094) is on-line. »» |
| 22nd Dec 2009 |
| Publications section updated. »» |
| 21st Dec 2009 |
| Please read an announcement regarding NAIL062. »» |
| 21st Dec 2009 |
| Results of the alternative test from NAIL062 are on-line. »» |
| 19th Dec 2009 |
| Program of the Seminar on A.I. (NAIL004) updated. »» |
| 16th Dec 2009 |
| 9th lecture on Decision procedures (NAIL094) is on-line. »» |
| 14th Dec 2009 |
| Date of a test from NAIL062 announced. »» |
| 11th Dec 2009 |
| Duties page for NAIL062 updated. »» |
| 11th Dec 2009 |
| Results of the alternative test from NAIL062 are on-line. »» |
| 10th Dec 2009 |
| 8th lecture on Decision procedures (NAIL094) is on-line. »» |
| 7th Dec 2009 |
| Seminar on A.I. (NAIL004) page updated. »» |
| 3rd Dec 2009 |
| 7th lecture on Decision procedures (NAIL094) is on-line. »» |
| 27th Nov 2009 |
| Duties page for NAIL004 updated. »» |
| 27th Nov 2009 |
| Duties page for NAIL062 updated. »» |
| 27th Nov 2009 |
| 6th lecture on Decision procedures (NAIL094) is on-line. »» |
| 26th Nov 2009 |
| Results of the test from NAIL062 are on-line. »» |
| 19th Nov 2009 |
| 5th lecture on Decision procedures (NAIL094) is on-line. »» |
