News


List of All News


11th Jan 2015
Results of the second credit test from Logic (NAIL062) are on-line.
11th Jan 2015
Office hours changed for examination period.
8th Jan 2015
Dean's Prize for the best master thesis awarded to Marika Ivanová.
7th Jan 2015
10th lecture on Decision Procedures and Verification (NAIL094) is posted.
7th Jan 2015
Points from Decision Procedures and Verification (NAIL094) have been updated.
5th Jan 2015
Points from Logic (NAIL062) have been updated.
17th Dec 2014
Announcement regarding the second credit test from Logic (NAIL062).
17th Dec 2014
Points from Logic (NAIL062) have been updated.
17th Dec 2014
Points from Decision Procedures and Verification (NAIL094) have been updated.
17th Dec 2014
9th lecture on Decision Procedures and Verification (NAIL094) is posted.
15th Dec 2014
Additional seminar from Logic (NAIL062) has been scheduled.
15th Dec 2014
Points from Logic (NAIL062) have been updated.
15th Dec 2014
Points from Decision Procedures and Verification (NAIL094) have been updated.
11th Dec 2014
8th lecture on Decision Procedures and Verification (NAIL094) is posted.
3rd Dec 2014
Points from Logic (NAIL062) have been updated.
3rd Dec 2014
Announcement regarding the alternative credit test from Logic (NAIL062).
3rd Dec 2014
Results of the first credit test from Logic (NAIL062) are on-line.
3rd Dec 2014
Points from Decision Procedures and Verification (NAIL094) have been updated.
2nd Dec 2014
7th lecture on Decision Procedures and Verification (NAIL094) is posted.
27th Nov 2014
Faculty Open Day service listed.