News


List of All News


28th Feb 2011
Duties page of the Seminar on Artificial Intelligence II (NAIL052) has been updated.
24th Feb 2011
Office hours have changed for the summer period.
23rd Feb 2011
Duties page of Automata and Grammars (NTIN071) has been updated.
23rd Feb 2011
Program of the Seminar on Satisfiability (NAIL092) has been updated.
23rd Feb 2011
Duties page of the Seminar on Satisfiability (NAIL092) has been updated.
22nd Feb 2011
Seminar on Artificial Intelligence II (NAIL052) has been scheduled.
22nd Feb 2011
Seminar on Satisfiability (NAIL092) has been scheduled.
21st Feb 2011
New topics for a project or a thesis are on-line.
17th Feb 2011
Duties page of Logic (NAIL062) has been updated.
15th Feb 2011
Duties page of Decision Procedures and Verification (NAIL094) has been updated.
10th Feb 2011
Duties page of Logic (NAIL062) has been updated.
8th Feb 2011
A new article is on-line in the Publications section (Znalosti 2011).
8th Feb 2011
Duties page of Logic (NAIL062) has been updated.
7th Feb 2011
Seminar on Satisfiability (NAIL092) is on-line.
7th Feb 2011
Seminar on Artificial Intelligence II (NAIL052) is on-line.
7th Feb 2011
Seminar on Automata and Grammars (NTIN071) is on-line.
7th Feb 2011
Minor corrections made in slides for lectures 1,2,3,4,5,6,8,9, and 10 on Decision Procedures and Verification (NAIL094).
7th Feb 2011
Duties page of Logic (NAIL062) has been updated.
3rd Feb 2011
Duties page of Logic (NAIL062) has been updated.
28th Jan 2011
Minor corrections made in slides for lectures 3,5, and 7 on Decision Procedures and Verification (NAIL094).