Pavel Surynek's Academic Page | List of News

List of News

Hide menu   Show menu   Jump to the bottom   Print page


5th Dec 2013
A new video, slides, and tasks from Decision Procedures and Verification (NAIL094) are being posted. »»
3rd Dec 2013
Points from Logic (NAIL062) have been updated. »»
3rd Dec 2013
A credit test from Logic (NAIL062) has been announced. »»
3rd Dec 2013
Points from Decision Procedures and Verification (NAIL094) have been updated. »»
21st Nov 2013
A new video, slides, and tasks from Decision Procedures and Verification (NAIL094) were posted. »»
19th Nov 2013
A missing publication in the list included (SARA 2013). »»
19th Nov 2013
Points from Logic (NAIL062) have been updated. »»
19th Nov 2013
Read the announcement regarding Logic (NAIL062). »»
14th Nov 2013
Points from Decision Procedures and Verification (NAIL094) has been updated. »»
14th Nov 2013
A new video from Decision Procedures and Verification (NAIL094) is being posted. »»
14th Nov 2013
Slides and tasks from Decision Procedures and Verification (NAIL094) were posted. »»
14th Nov 2013
Supervising capacity has been updated. »»
24th Oct 2013
A new video, slides, and tasks from Decision Procedures and Verification (NAIL094) were posted. »»
24th Oct 2013
Next two lectures on Decision Procedures and Verification (NAIL094) are canceled. »»
24th Oct 2013
Points from Decision Procedures and Verification (NAIL094) has been updated. »»
22nd Oct 2013
Points from Logic (NAIL062) updated. »»
22nd Oct 2013
Seminar on Logic (NAIL062) on 4th November will be canceled. »»
17th Oct 2013
Decision Procedures and Verification (NAIL094) rescheduled on Thursday. »»
17th Oct 2013
Homeworks from Decision Procedures and Verification (NAIL094) evaluated. »»
16th Oct 2013
Duties page of Decision Procedures and Verification (NAIL094) has been updated. »»

Hide menu   Show menu   Jump to the top   Print page