| 8th Oct 2014 |
| 1st lecture on Decision Procedures and Verification (NAIL094) is posted. »» |
| 6th Oct 2014 |
| Several new publications added (PRICAI 2014, MICAI 2014, ...). »» |
| 28th Sep 2014 |
| Teaching pages for the next academic year are prepared. »» |
| 10th Sep 2014 |
| New topics for a project or a thesis have been posted (Sentiment Analysis and Continuous CPF). »» |
| 25th Aug 2014 |
| Supervising capacity has been updated. »» |
| 15th Aug 2014 |
| Several new publications added (Fundamenta Informaticae, KEOD 2014). »» |
| 11th Jul 2014 |
| Current research interests updated. »» |
| 11th Jul 2014 |
| Article reviewing updated. »» |
| 11th Jul 2014 |
| PC membership updated (AAMAS, ECAI, ICAART 2014). »» |
| 29th Jun 2014 |
| Two new topics for a project or a thesis have been posted (Automated Encoding and CS Department Ranking). »» |
| 25th Jun 2014 |
| Updated examination statistics of Automata and Grammars (NTIN071) posted. »» |
| 16th Jun 2014 |
| Examination statistics of Automata and Grammars (NTIN071) has been updated. »» |
| 10th Jun 2014 |
| Supervising capacity has been updated. »» |
| 10th Jun 2014 |
| A new topic for a project or a thesis has been posted (smart grid). »» |
| 9th Jun 2014 |
| Examination statistics of Automata and Grammars (NTIN071) has been updated. »» |
| 1st Jun 2014 |
| Office hours changed for summer period. »» |
| 28th May 2014 |
| Results of the second alternative credit test from Automata and Grammars (NTIN071) are on-line. »» |
| 21st May 2014 |
| Correction for the second credit test from Automata and Grammars has been scheduled. »» |
| 21st May 2014 |
| Results of the second credit test from Automata and Grammars (NTIN071) are on-line. »» |
| 21st May 2014 |
| Points from Automata and Grammars (NTIN071) updated - change on medal positions. »» |