| 22nd Nov 2015 |
| New publications are on-line (IJCAI 2015, SoCS 2015). »» |
| 22nd Nov 2015 |
| New topics for a project or a thesis have been posted (Evacuation, Jaeger Kit, and more). »» |
| 19th Nov 2015 |
| 7th lecture on Decision Procedures and Verification (NAIL094) posted. »» |
| 12th Nov 2015 |
| 6th lecture on Decision Procedures and Verification (NAIL094) posted. »» |
| 10th Nov 2015 |
| Points from Logic (NAIL062) updated. »» |
| 10th Nov 2015 |
| Points from Decision Procedures and Verification (NAIL094) updated. »» |
| 5th Nov 2015 |
| 5th lecture on Decision Procedures and Verification (NAIL094) posted. »» |
| 3rd Nov 2015 |
| Points from Logic (NAIL062) updated. »» |
| 3rd Nov 2015 |
| Points from Decision Procedures and Verification (NAIL094) updated. »» |
| 29th Oct 2015 |
| 4th lecture on Decision Procedures and Verification (NAIL094) posted. »» |
| 26th Oct 2015 |
| Points from Logic (NAIL062) updated. »» |
| 26th Oct 2015 |
| Points from Decision Procedures and Verification (NAIL094) updated. »» |
| 22nd Oct 2015 |
| 3rd lecture on Decision Procedures and Verification (NAIL094) posted. »» |
| 22nd Oct 2015 |
| Points from Logic (NAIL062) updated. »» |
| 15th Oct 2015 |
| 2nd lecture on Decision Procedures and Verification (NAIL094) posted. »» |
| 12th Oct 2015 |
| Points from Decision Procedures and Verification (NAIL094) updated. »» |
| 12th Oct 2015 |
| Points from Logic (NAIL062) updated. »» |
| 8th Oct 2015 |
| Seminar on Logic (NAIL062) is on-line. »» |
| 8th Oct 2015 |
| Decision Procedures and Verification (NAIL094) are on-line. »» |
| 8th Oct 2015 |
| Academic year 2015/2016 is here. »» |