Pavel SURYNEK

Publications

Research

Teaching



News


List of All News
|<
<
>
>|


Page 23 of 48

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.
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.
|<
<
>
>|

Page 23 of 48

Copyright © 2015 - 2023 Pavel Surynek