| 5th Dec 2013 |
| A new video, slides, and tasks from Decision Procedures and Verification (NAIL094) are being posted. »» |
| 3rd Dec 2013 |
| Points from Logic (NAIL062) have been updated. »» |
| 3rd Dec 2013 |
| A credit test from Logic (NAIL062) has been announced. »» |
| 3rd Dec 2013 |
| Points from Decision Procedures and Verification (NAIL094) have been updated. »» |
| 21st Nov 2013 |
| A new video, slides, and tasks from Decision Procedures and Verification (NAIL094) were posted. »» |
| 19th Nov 2013 |
| A missing publication in the list included (SARA 2013). »» |
| 19th Nov 2013 |
| Points from Logic (NAIL062) have been updated. »» |
| 19th Nov 2013 |
| Read the announcement regarding Logic (NAIL062). »» |
| 14th Nov 2013 |
| Points from Decision Procedures and Verification (NAIL094) has been updated. »» |
| 14th Nov 2013 |
| A new video from Decision Procedures and Verification (NAIL094) is being posted. »» |
| 14th Nov 2013 |
| Slides and tasks from Decision Procedures and Verification (NAIL094) were posted. »» |
| 14th Nov 2013 |
| Supervising capacity has been updated. »» |
| 24th Oct 2013 |
| A new video, slides, and tasks from Decision Procedures and Verification (NAIL094) were posted. »» |
| 24th Oct 2013 |
| Next two lectures on Decision Procedures and Verification (NAIL094) are canceled. »» |
| 24th Oct 2013 |
| Points from Decision Procedures and Verification (NAIL094) has been updated. »» |
| 22nd Oct 2013 |
| Points from Logic (NAIL062) updated. »» |
| 22nd Oct 2013 |
| Seminar on Logic (NAIL062) on 4th November will be canceled. »» |
| 17th Oct 2013 |
| Decision Procedures and Verification (NAIL094) rescheduled on Thursday. »» |
| 17th Oct 2013 |
| Homeworks from Decision Procedures and Verification (NAIL094) evaluated. »» |
| 16th Oct 2013 |
| Duties page of Decision Procedures and Verification (NAIL094) has been updated. »» |