Pavel SURYNEK

Publications

Research

Teaching



News


List of All News
|<
<
>
>|


Page 16 of 48

24th Feb 2015
Material for the 2nd seminar on Automata and Grammars (NTIN071) is on-line.
19th Feb 2015
Points from Automata and Grammars (NTIN071) updated.
17th Feb 2015
Automata and Grammars in English (NTIN071) are on-line.
17th Feb 2015
Automata and Grammars in Czech (NTIN071) are on-line.
17th Feb 2015
Teaching for summer semester is on-line.
16th Jan 2015
Results of the alternative credit test from Logic (NAIL062) are on-line.
11th Jan 2015
Results of the second credit test from Logic (NAIL062) are on-line.
11th Jan 2015
Office hours changed for examination period.
8th Jan 2015
Dean's Prize for the best master thesis awarded to Marika Ivanová.
7th Jan 2015
10th lecture on Decision Procedures and Verification (NAIL094) is posted.
7th Jan 2015
Points from Decision Procedures and Verification (NAIL094) have been updated.
5th Jan 2015
Points from Logic (NAIL062) have been updated.
17th Dec 2014
Announcement regarding the second credit test from Logic (NAIL062).
17th Dec 2014
Points from Logic (NAIL062) have been updated.
17th Dec 2014
Points from Decision Procedures and Verification (NAIL094) have been updated.
17th Dec 2014
9th lecture on Decision Procedures and Verification (NAIL094) is posted.
15th Dec 2014
Additional seminar from Logic (NAIL062) has been scheduled.
15th Dec 2014
Points from Logic (NAIL062) have been updated.
15th Dec 2014
Points from Decision Procedures and Verification (NAIL094) have been updated.
11th Dec 2014
8th lecture on Decision Procedures and Verification (NAIL094) is posted.
|<
<
>
>|

Page 16 of 48

Copyright © 2015 - 2023 Pavel Surynek