Pavel SURYNEK

Publications

Research

Teaching



News


List of All News
|<
<
>
>|


Page 22 of 48

4th Mar 2014
Points from Automata and Grammars (NTIN071) have been updated.
4th Mar 2014
Corrections in slides for the 3rd lecture on Automata and Grammars.
3rd Mar 2014
Materials for the 3rd seminar on Automata and Grammars are on-line.
3rd Mar 2014
Preliminary slides for the 3rd lecture on Automata and Grammars are on-line.
26th Feb 2014
Points from Automata and Grammars (NTIN071) have been updated.
23rd Feb 2014
Preliminary slides for the 2nd lecture on Automata and Grammars are on-line.
23rd Feb 2014
Materials for the 2nd seminar on Automata and Grammars are on-line.
18th Feb 2014
Points from Automata and Grammars (NTIN071) have been updated.
16th Feb 2014
Preliminary slides for the 1st lecture on Automata and Grammars are on-line.
14th Feb 2014
Materials for the 1st seminar on Automata and Grammars are on-line.
13th Feb 2014
Automata and Grammars (NTIN071) are on-line.
13th Feb 2014
Seminar on Satisfiability (NAIL092) is on-line.
13th Feb 2014
Office hours scheduled for summer term.
14th Jan 2014
Please read the announcement regarding the second test from Logic (NAIL062).
13th Jan 2014
Results of the second credit test from Logic (NAIL062) are on-line.
13th Jan 2014
Credit eligibility for Decision Procedures and Verification (NAIL094) has been announced.
9th Jan 2014
9th video, slides, and tasks from Decision Procedures and Verification (NAIL094) are being posted.
7th Jan 2014
The second credit test from Logic (NAIL062) has been announced.
7th Jan 2014
Points from Logic (NAIL062) have been updated.
2nd Jan 2014
Points from Decision Procedures and Verification (NAIL094) have been updated.
|<
<
>
>|

Page 22 of 48

Copyright © 2015 - 2023 Pavel Surynek