| 18th Jan 2011 |
| Duties page of Logic (NAIL062) has been updated. »» |
| 13th Jan 2011 |
| 11th lecture on Decision Procedures and Verification (NAIL094) is on-line. »» |
| 13th Jan 2011 |
| Duties page of Decision Procedures and Verification (NAIL094) has been updated. »» |
| 12th Jan 2011 |
| Results of the second alternative test from Logic (NAIL062) are on-line. »» |
| 12th Jan 2011 |
| Duties page of Logic (NAIL062) has been updated. »» |
| 12th Jan 2011 |
| Duties page of the Seminar on Artificial Intelligence (NAIL004) has been updated. »» |
| 6th Jan 2011 |
| New presentations from the Seminar on Artificial Intelligence (NAIL004) are on-line. »» |
| 6th Jan 2011 |
| Duties page of Decision Procedures and Verification (NAIL094) has been updated. »» |
| 6th Jan 2011 |
| 10th lecture on Decision Procedures and Verification (NAIL094) is on-line (notice corrections in the proof). »» |
| 4th Jan 2011 |
| The alternative test from Logic (NAIL062) has been announced. »» |
| 4th Jan 2011 |
| Results of the centrally organized test from Logic (NAIL062) are on-line. »» |
| 3rd Jan 2011 |
| The progam of the Seminar on Artificial Intelligence (NAIL004) has been updated. »» |
| 3rd Jan 2011 |
| Duties page of the Seminar on Artificial Intelligence (NAIL004) has been updated. »» |
| 3rd Jan 2011 |
| A new topic for a project or a thesis is on-line. »» |
| 3rd Jan 2011 |
| Resume section has been updated (article reviewing). »» |
| 27th Dec 2010 |
| The chapter from the book "Multi-Robot Systems, Trends and Development" is on-line. »» |
| 22nd Dec 2010 |
| Problems from Logic (NAIL062) for activity points are on-line. »» |
| 22nd Dec 2010 |
| New presentations from the Seminar on Artificial Intelligence (NAIL004) are on-line. »» |
| 22nd Dec 2010 |
| The date of a centrally organized test from Logic (NAIL062) has been announced. »» |
| 22nd Dec 2010 |
| Results of the individual test from Logic (NAIL062) are on-line. »» |