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