Pavel Surynek's Academic Page | List of News

List of News


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. »»