Pavel Surynek's Academic Page | List of News

List of News


22nd Dec 2010
Duties page of Logic (NAIL062) has been updated. »»
21st Dec 2010
Duties page of the Seminar on Artificial Intelligence (NAIL004) has been updated. »»
16th Dec 2010
9th lecture on Decision Procedures and Verification (NAIL094) is on-line. »»
16th Dec 2010
Duties page of Decision Procedures and Verification (NAIL094) has been updated. »»
16th Dec 2010
A new presentation from the Seminar on Artificial Intelligence (NAIL004) is on-line. »»
14th Dec 2010
Duties page of Logic (NAIL062) has been updated. »»
14th Dec 2010
The progam of the Seminar on Artificial Intelligence (NAIL004) has been updated. »»
14th Dec 2010
Duties page of the Seminar on Artificial Intelligence (NAIL004) has been updated. »»
12th Dec 2010
Results of the alternative test from Logic (NAIL062) are on-line. »»
10th Dec 2010
Several notes on 8th lecture on Decision Procedures and Verification (NAIL094) are on-line. »»
10th Dec 2010
8th lecture on Decision Procedures and Verification (NAIL094) is on-line. »»
10th Dec 2010
Duties page of Decision Procedures and Verification (NAIL094) has been updated. »»
7th Dec 2010
Duties page of Logic (NAIL062) has been updated. »»
7th Dec 2010
Duties page of the Seminar on Artificial Intelligence (NAIL004) has been updated. »»
5th Dec 2010
The main menu has been redesigned (dropdown submenu has been added). »»
2nd Dec 2010
7th lecture on Decision Procedures and Verification (NAIL094) is on-line. »»
2nd Dec 2010
Duties page of Decision Procedures and Verification (NAIL094) has been updated. »»
1st Dec 2010
Duties page of Logic (NAIL062) has been updated. »»
1st Dec 2010
Several notes from the Seminar on Logic (NAIL062) are on-line. »»
29th Nov 2010
Duties page of the Seminar on Artificial Intelligence (NAIL004) has been updated. »»