| 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). »» |
| 27th Jan 2011 |
| Duties page of Logic (NAIL062) has been updated. »» |