| 15th Nov 2009 |
| Date of a test from NAIL062 announced. »» |
| 15th Nov 2009 |
| Duties page for NAIL062 updated. »» |
| 15th Nov 2009 |
| Duties page for NAIL004 updated. »» |
| 12th Nov 2009 |
| Duties page for NAIL062 updated. »» |
| 12th Nov 2009 |
| 4th lecture on Decision procedures (NAIL094) is on-line. »» |
| 9th Nov 2009 |
| New documents from the conferences ICAPS and ICTAI are on-line. »» |
| 7th Nov 2009 |
| Program of the Seminar on A.I. (NAIL004) updated. »» |
| 7th Nov 2009 |
| Duties page for NAIL062 updated. »» |
| 27th Oct 2009 |
| Duties page for NAIL062 updated. »» |
| 25th Oct 2009 |
| My professional resume in on-line. »» |
| 25th Oct 2009 |
| Activities section updated. »» |
| 23rd Oct 2009 |
| Topics for Seminar on A.I. (NAIL004) updated. »» |
| 22nd Oct 2009 |
| 3rd lecture on Decision procedures (NAIL094) is on-line. »» |
| 18th Oct 2009 |
| Program for the next Seminar on A.I. (NAIL004) is on-line. »» |
| 15th Oct 2009 |
| 2nd lecture on Decision procedures (NAIL094) is on-line. »» |
| 15th Oct 2009 |
| Activities section updated. »» |
| 11th Oct 2009 |
| Topics for Seminar on A.I. (NAIL004) are on-line. »» |
| 11th Oct 2009 |
| Duties page for NAIL062 updated. »» |
| 11th Oct 2009 |
| A new section about thesis supervising. »» |
| 7th Oct 2009 |
| 1st lecture on Decision procedures (NAIL094) is on-line. »» |