| 30th Nov 2012 |
| Slides for new lectures on Decision Procedures and Verification (NAIL094) are on-line. »» |
| 30th Nov 2012 |
| Duties page of Decision Procedures and Verification (NAIL094) has been updated. »» |
| 26th Nov 2012 |
| Results of the short test from Logic (NAIL062) are on-line. »» |
| 22nd Nov 2012 |
| Check homeworks from Logic (NAIL062). »» |
| 22nd Nov 2012 |
| Topics for short tests from Logic (NAIL062) are on-line. »» |
| 20th Nov 2012 |
| Decision Procedures and Verification (NAIL094) on November 21 are cancelled. »» |
| 20th Nov 2012 |
| Seminar on Logic (NAIL062) on November 20 is cancelled. »» |
| 16th Nov 2012 |
| Duties page of Decision Procedures and Verification (NAIL094) has been updated. »» |
| 16th Nov 2012 |
| Update of slides for lecture 4 of Decision Procedures and Verification (NAIL094). »» |
| 12th Nov 2012 |
| Results of the short test from Logic (NAIL062) are on-line. »» |
| 7th Nov 2012 |
| New articles are on-line (ICTAI 2012, COIN). »» |
| 25th Oct 2012 |
| Results of the short test from Logic (NAIL062) are on-line. »» |
| 25th Oct 2012 |
| The available capacity for project supervising has been updated. »» |
| 25th Oct 2012 |
| Update in slides for lecture 3 of Decision Procedures and Verification (NAIL094). »» |
| 25th Oct 2012 |
| Duties page of Decision Procedures and Verification (NAIL094) has been updated. »» |
| 17th Oct 2012 |
| Duties page of Logic (NAIL062) has been updated. »» |
| 17th Oct 2012 |
| Correction in slides for lecture 2 of Decision Procedures and Verification (NAIL094). »» |
| 17th Oct 2012 |
| Duties page of Decision Procedures and Verification (NAIL094) has been updated. »» |
| 16th Oct 2012 |
| 3rd lecture for Decision Procedures and Verification (NAIL094) is on-line. »» |
| 15th Oct 2012 |
| Update in slides for lecture 2 of Decision Procedures and Verification (NAIL094). »» |