| 1st Mar 2010 |
| Duties page of Automata and Grammars (NTIN071) updated. »» |
| 1st Mar 2010 |
| A correction has been made in the 7th lecture on Decision procedures (NAIL094). »» |
| 24th Feb 2010 |
| List of students of Automata and Grammars (NTIN071) updated. »» |
| 23rd Feb 2010 |
| Seminar on Satisfiability (NAIL092) is scheduled. »» |
| 23rd Feb 2010 |
| Seminar on Artificial Intelligence II (NAIL052) is scheduled. »» |
| 23rd Feb 2010 |
| Duties page of Automata and Grammars (NTIN071) updated. »» |
| 10th Feb 2010 |
| Pavel Surynek has moved to the office number 304 (third floor). »» |
| 10th Feb 2010 |
| Publications section updated. »» |
| 10th Feb 2010 |
| Research section updated. »» |
| 8th Feb 2010 |
| A page for Seminar on Satisfiability (NAIL092) is on-line. »» |
| 8th Feb 2010 |
| A page for Seminar on Artificial Intelligence II (NAIL052) is on-line. »» |
| 8th Feb 2010 |
| A page for Seminar on Automata and Grammars (NTIN071) is on-line. »» |
| 31st Jan 2010 |
| Results of the alternative test from NAIL062 are on-line. »» |
| 27th Jan 2010 |
| A page with corrections for Decision procedures (NAIL094) is on-line. Contributions are welcome. »» |
| 23rd Jan 2010 |
| Please read an announcement regarding the alternative test from NAIL062. »» |
| 18th Jan 2010 |
| Results of the alternative test from NAIL062 are on-line. »» |
| 18th Jan 2010 |
| Please read an announcement regarding NAIL062. »» |
| 15th Jan 2010 |
| New presentations from Seminar on A.I. (NAIL004) are on-line. »» |
| 13th Jan 2010 |
| 11th lecture on Decision procedures (NAIL094) is on-line. »» |
| 13th Jan 2010 |
| Corrections were made in 2nd lecture on Decision procedures (NAIL094). »» |