| 18th Feb 2014 |
| Points from Automata and Grammars (NTIN071) have been updated. »» |
| 16th Feb 2014 |
| Preliminary slides for the 1st lecture on Automata and Grammars are on-line. »» |
| 14th Feb 2014 |
| Materials for the 1st seminar on Automata and Grammars are on-line. »» |
| 13th Feb 2014 |
| Automata and Grammars (NTIN071) are on-line. »» |
| 13th Feb 2014 |
| Seminar on Satisfiability (NAIL092) is on-line. »» |
| 13th Feb 2014 |
| Office hours scheduled for summer term. »» |
| 14th Jan 2014 |
| Please read the announcement regarding the second test from Logic (NAIL062). »» |
| 13th Jan 2014 |
| Results of the second credit test from Logic (NAIL062) are on-line. »» |
| 13th Jan 2014 |
| Credit eligibility for Decision Procedures and Verification (NAIL094) has been announced. »» |
| 9th Jan 2014 |
| 9th video, slides, and tasks from Decision Procedures and Verification (NAIL094) are being posted. »» |
| 7th Jan 2014 |
| The second credit test from Logic (NAIL062) has been announced. »» |
| 7th Jan 2014 |
| Points from Logic (NAIL062) have been updated. »» |
| 2nd Jan 2014 |
| Points from Decision Procedures and Verification (NAIL094) have been updated. »» |
| 19th Dec 2013 |
| Points from Logic (NAIL062) have been updated. »» |
| 19th Dec 2013 |
| 8th video, slides, and tasks from Decision Procedures and Verification (NAIL094) are being posted. »» |
| 17th Dec 2013 |
| Points from Decision Procedures and Verification (NAIL094) have been updated. »» |
| 15th Dec 2013 |
| Results of the first credit test from Logic (NAIL062) are on-line. »» |
| 12th Dec 2013 |
| 7th video, slides, and tasks from Decision Procedures and Verification (NAIL094) are being posted. »» |
| 10th Dec 2013 |
| Points from Logic (NAIL062) have been updated. »» |
| 10th Dec 2013 |
| Points from Decision Procedures and Verification (NAIL094) have been updated. »» |
