Pavel SURYNEK

Publications

Research

Teaching



News


List of All News
|<
<
>
>|


Page 37 of 48

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.
29th Nov 2010
The progam of the Seminar on Artificial Intelligence (NAIL004) has been updated.
29th Nov 2010
A new presentation from the Seminar on Artificial Intelligence (NAIL004) is on-line.
28th Nov 2010
Duties page of Logic (NAIL062) has been updated.
28th Nov 2010
Duties page of the Seminar on Artificial Intelligence (NAIL004) has been updated.
28th Nov 2010
The date of an alternative test from Logic (NAIL062) has been announced.
27th Nov 2010
A new revision of the 6th lecture on Decision Procedures and Verification (NAIL094) is on-line.
27th Nov 2010
The progam of the Seminar on Artificial Intelligence (NAIL004) has been updated.
27th Nov 2010
New articles are on-line in the Publications section (CJS 2010 and CSCLP 2010).
22nd Nov 2010
Results of the first test from Logic (NAIL062) are on-line.
22nd Nov 2010
Duties page of Logic (NAIL062) has been updated - notice the required activity.
22nd Nov 2010
The progam of the Seminar on Artificial Intelligence (NAIL004) has been updated.
18th Nov 2010
Duties page of Decision Procedures and Verification (NAIL094) has been updated.
18th Nov 2010
5th lecture on Decision Procedures and Verification (NAIL094) is on-line.
15th Nov 2010
Duties page of the Seminar on Artificial Intelligence (NAIL004) has been updated.
15th Nov 2010
Duties page of Logic (NAIL062) has been updated.
|<
<
>
>|

Page 37 of 48

Copyright © 2015 - 2023 Pavel Surynek