| 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. »» |
| 27th Nov 2014 |
| New topics for a project or a thesis have been posted (Railroad Planning, Dangerous Roads, Music Transcription). »» |
