News


List of All News


9th Oct 2014
Points from Decision Procedures and Verification (NAIL094) have been updated.
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.