Pavel Surynek's Academic Page | List of News

List of News


23rd Jan 2013
A yeRCH powered search box added on top of every page. »»
21st Jan 2013
Credit points from Logic (NAIL062) have been updated. »»
12th Jan 2013
The yeRCH search engine has been added into the software section. »»
11th Jan 2013
Results of the double short test from Logic (NAIL062) are on-line. »»
10th Jan 2013
Correction in slides for lecture 12 of Decision Procedures and Verification (NAIL094). »»
10th Jan 2013
Duties page of Decision Procedures and Verification (NAIL094) has been updated. »»
1st Jan 2013
Full-text search service has been launched for this web. »»
1st Jan 2013
Slides for upcoming lectures on Decision Procedures and Verification (NAIL094) are on-line. »»
21st Dec 2012
Duties page of Decision Procedures and Verification (NAIL094) has been updated. »»
21st Dec 2012
Check your credit from Logic (NAIL062) in SIS. »»
21st Dec 2012
Results of the short test from Logic (NAIL062) are on-line. »»
17th Dec 2012
Duties page of Decision Procedures and Verification (NAIL094) has been updated. »»
17th Dec 2012
Check new homeworks from Logic (NAIL062). »»
17th Dec 2012
Results of the short test from Logic (NAIL062) are on-line. »»
12th Dec 2012
Slides for upcoming lectures on Decision Procedures and Verification (NAIL094) are on-line. »»
10th Dec 2012
Duties page of Decision Procedures and Verification (NAIL094) has been updated. »»
10th Dec 2012
Results of the short test from Logic (NAIL062) are on-line. »»
10th Dec 2012
Check a new topic for the short test from Logic (NAIL062). »»
3rd Dec 2012
Results of the short test from Logic (NAIL062) are on-line. »»
2nd Dec 2012
Check new topics for the short test from Logic (NAIL062). »»