News


List of All News


27th Nov 2014
New topics for a project or a thesis have been posted (Railroad Planning, Dangerous Roads, Music Transcription).
25th Nov 2014
6th lecture on Decision Procedures and Verification (NAIL094) is posted.
13th Nov 2014
PC member of AAMAS 2015.
9th Nov 2014
A new paper accepted to AAAI 2015 (acceptance rate 26.7%).
9th Nov 2014
The list of supervised theses has been updated.
5th Nov 2014
Points from Decision Procedures and Verification (NAIL094) have been updated.
4th Nov 2014
5th lecture on Decision Procedures and Verification (NAIL094) is posted.
4th Nov 2014
The first credit test from Logic (NAIL062) has been announced.
4th Nov 2014
Points from Logic (NAIL062) have been updated.
29th Oct 2014
Points from Decision Procedures and Verification (NAIL094) have been updated.
29th Oct 2014
4th lecture on Decision Procedures and Verification (NAIL094) is posted.
27th Oct 2014
Supervising capacity has been updated.
22nd Oct 2014
Points from Decision Procedures and Verification (NAIL094) have been updated.
21st Oct 2014
3rd lecture on Decision Procedures and Verification (NAIL094) is posted.
21st Oct 2014
Points from Logic (NAIL062) have been updated.
15th Oct 2014
Points from Decision Procedures and Verification (NAIL094) have been updated.
15th Oct 2014
2nd lecture on Decision Procedures and Verification (NAIL094) is posted.
14th Oct 2014
Points from Logic (NAIL062) have been updated.
13th Oct 2014
Office hours scheduled for winter term.
9th Oct 2014
List of students and points from Logic (NAIL062) have been posted.