Pavel Surynek's Academic Page | List of News

List of News


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. »»
19th Dec 2013
Points from Logic (NAIL062) have been updated. »»
19th Dec 2013
8th video, slides, and tasks from Decision Procedures and Verification (NAIL094) are being posted. »»
17th Dec 2013
Points from Decision Procedures and Verification (NAIL094) have been updated. »»
15th Dec 2013
Results of the first credit test from Logic (NAIL062) are on-line. »»
12th Dec 2013
7th video, slides, and tasks from Decision Procedures and Verification (NAIL094) are being posted. »»
10th Dec 2013
Points from Logic (NAIL062) have been updated. »»
10th Dec 2013
Points from Decision Procedures and Verification (NAIL094) have been updated. »»