| 10th Nov 2010 |
| New invited talks are on-line in the Activities section. »» |
| 9th Nov 2010 |
| Duties page of the Seminar on Artificial Intelligence (NAIL004) has been updated. »» |
| 9th Nov 2010 |
| A presentation from the Seminar on Artificial Intelligence (NAIL004) is on-line. »» |
| 1st Nov 2010 |
| Activities section has been updated (a new bachelor thesis). »» |
| 1st Nov 2010 |
| A paper has been added to Publications section. »» |
| 1st Nov 2010 |
| The progam of the Seminar on Artificial Intelligence (NAIL004) has been updated. »» |
| 1st Nov 2010 |
| The available capacity for theses supervising has been updated. »» |
| 29th Oct 2010 |
| The progam of the Seminar on Artificial Intelligence (NAIL004) has been updated. »» |
| 27th Oct 2010 |
| Duties page of Logic (NAIL062) has been updated. »» |
| 27th Oct 2010 |
| The date of a test from Logic (NAIL062) has been announced. »» |
| 27th Oct 2010 |
| The progam of the Seminar on Artificial Intelligence (NAIL004) has been updated. »» |
| 27th Oct 2010 |
| Duties page of the Seminar on Artificial Intelligence (NAIL004) has been updated. »» |
| 22nd Oct 2010 |
| Activities page has been updated (co-supervision of a dissertation thesis). »» |
| 22nd Oct 2010 |
| 3rd and 4th lecture on Decision Procedures and Verification (NAIL094) are on-line. »» |
| 22nd Oct 2010 |
| Duties page of Decision Procedures and Verification (NAIL094) has been updated. »» |
| 20th Oct 2010 |
| Duties page of Logic (NAIL062) has been updated. »» |
| 20th Oct 2010 |
| The progam of the Seminar on Artificial Intelligence (NAIL004) has been updated. »» |
| 20th Oct 2010 |
| Duties page of the Seminar on Artificial Intelligence (NAIL004) has been updated. »» |
| 15th Oct 2010 |
| The progam of the Seminar on Artificial Intelligence (NAIL004) has been updated. »» |
| 15th Oct 2010 |
| Duties page of Decision Procedures and Verification (NAIL094) has been updated. »» |