News


List of All News


2nd Dec 2012
Check new topics for the short test from Logic (NAIL062).
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.