| 28th Jan 2016 |
| A new paper accepted to AAMAS 2016. »» |
| 28th Jan 2016 |
| PC member of AAAI 2016 and IJCAI 2016. »» |
| 28th Jan 2016 |
| Reviewing service updated (IEEE Transactions on Robotics). »» |
| 14th Jan 2016 |
| Results of the second credit test from Logic (NAIL062) posted. »» |
| 14th Jan 2016 |
| Points from Logic (NAIL062) updated. »» |
| 14th Jan 2016 |
| Points from Decision Procedures and Verification (NAIL094) updated. »» |
| 7th Jan 2016 |
| 11th lecture on Decision Procedures and Verification (NAIL094) posted. »» |
| 1st Jan 2016 |
| Happy New Year 2016! List of upcoming events posted. »» |
| 22nd Dec 2015 |
| Points from Logic (NAIL062) updated. »» |
| 22nd Dec 2015 |
| Points from Decision Procedures and Verification (NAIL094) updated. »» |
| 17th Dec 2015 |
| Points from Logic (NAIL062) updated. »» |
| 17th Dec 2015 |
| 10th lecture on Decision Procedures and Verification (NAIL094) posted. »» |
| 8th Dec 2015 |
| Points from Logic (NAIL062) updated. »» |
| 8th Dec 2015 |
| Points from Decision Procedures and Verification (NAIL094) updated. »» |
| 3rd Dec 2015 |
| 9th lecture on Decision Procedures and Verification (NAIL094) posted. »» |
| 3rd Dec 2015 |
| Points from Logic (NAIL062) updated. »» |
| 26th Nov 2015 |
| 8th lecture on Decision Procedures and Verification (NAIL094) posted. »» |
| 26th Nov 2015 |
| Results of the first credit test from Logic (NAIL062) posted. »» |
| 26th Nov 2015 |
| Points from Decision Procedures and Verification (NAIL094) updated. »» |
| 26th Nov 2015 |
| Points from Logic (NAIL062) updated. »» |