News


List of All News


10th Nov 2010
A list of visits of foreign institutions has been added to the Activities section.
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.