| 23rd Jan 2013 |
| A yeRCH powered search box added on top of every page. »» |
| 21st Jan 2013 |
| Credit points from Logic (NAIL062) have been updated. »» |
| 12th Jan 2013 |
| The yeRCH search engine has been added into the software section. »» |
| 11th Jan 2013 |
| Results of the double short test from Logic (NAIL062) are on-line. »» |
| 10th Jan 2013 |
| Correction in slides for lecture 12 of Decision Procedures and Verification (NAIL094). »» |
| 10th Jan 2013 |
| Duties page of Decision Procedures and Verification (NAIL094) has been updated. »» |
| 1st Jan 2013 |
| Full-text search service has been launched for this web. »» |
| 1st Jan 2013 |
| Slides for upcoming lectures on Decision Procedures and Verification (NAIL094) are on-line. »» |
| 21st Dec 2012 |
| Duties page of Decision Procedures and Verification (NAIL094) has been updated. »» |
| 21st Dec 2012 |
| Check your credit from Logic (NAIL062) in SIS. »» |
| 21st Dec 2012 |
| Results of the short test from Logic (NAIL062) are on-line. »» |
| 17th Dec 2012 |
| Duties page of Decision Procedures and Verification (NAIL094) has been updated. »» |
| 17th Dec 2012 |
| Check new homeworks from Logic (NAIL062). »» |
| 17th Dec 2012 |
| Results of the short test from Logic (NAIL062) are on-line. »» |
| 12th Dec 2012 |
| Slides for upcoming lectures on Decision Procedures and Verification (NAIL094) are on-line. »» |
| 10th Dec 2012 |
| Duties page of Decision Procedures and Verification (NAIL094) has been updated. »» |
| 10th Dec 2012 |
| Results of the short test from Logic (NAIL062) are on-line. »» |
| 10th Dec 2012 |
| Check a new topic for the short test from Logic (NAIL062). »» |
| 3rd Dec 2012 |
| Results of the short test from Logic (NAIL062) are on-line. »» |
| 2nd Dec 2012 |
| Check new topics for the short test from Logic (NAIL062). »» |