| 5th Oct 2009 |
| Program for Seminar on A.I. updated. »» |
| 30th Sep 2009 |
| Course on Decision procedures (NAIL094) is scheduled. »» |
| 30th Sep 2009 |
| Seminar on A.I. (NAIL004) is scheduled. »» |
| 29th Sep 2009 |
| Seminar on Logic on 2nd Oct will be cancelled. »» |
| 8th Sep 2009 |
| Course on Decision procedures (NAIL094) in on-line. »» |
| 8th Sep 2009 |
| Seminar on A.I. (NAIL004) is on-line. »» |
| 4th Sep 2009 |
| Publications section updated. »» |
| 1st Sep 2009 |
| Theses reviewing update. »» |
| 5th Aug 2009 |
| New documents from the SoCS conference are on-line. »» |
| 13th Jun 2009 |
| Research section updated. »» |
| 12th Jun 2009 |
| Results of the alternative test from NTIN071 are on-line. »» |
| 9th Jun 2009 |
| Results of the alternative test from NTIN060 are on-line. »» |
| 8th Jun 2009 |
| Publications section updated. »» |
| 8th Jun 2009 |
| Activities section updated. »» |
| 6th Jun 2009 |
| Results of the alternative test from NTIN071 are on-line. »» |
| 3rd Jun 2009 |
| Results of the alternative test from NTIN060 are on-line. »» |
| 31st May 2009 |
| Results of the test from NTIN071 are on-line. »» |
| 27th May 2009 |
| Results of the test from NTIN060 are on-line. »» |
| 23rd May 2009 |
| New documents from conferences ICRA and FLAIRS are on-line. »» |
| 1st May 2009 |
| Research section updated. »» |
