Pavel SURYNEK

Publications

Research

Teaching



News


List of All News
|<
<
>
>|


Page 12 of 48

8th Dec 2015
Points from Decision Procedures and Verification (NAIL094) updated.
3rd Dec 2015
9th lecture on Decision Procedures and Verification (NAIL094) posted.
3rd Dec 2015
Points from Logic (NAIL062) updated.
26th Nov 2015
8th lecture on Decision Procedures and Verification (NAIL094) posted.
26th Nov 2015
Results of the first credit test from Logic (NAIL062) posted.
26th Nov 2015
Points from Decision Procedures and Verification (NAIL094) updated.
26th Nov 2015
Points from Logic (NAIL062) updated.
22nd Nov 2015
New publications are on-line (IJCAI 2015, SoCS 2015).
22nd Nov 2015
New topics for a project or a thesis have been posted (Evacuation, Jaeger Kit, and more).
19th Nov 2015
7th lecture on Decision Procedures and Verification (NAIL094) posted.
12th Nov 2015
6th lecture on Decision Procedures and Verification (NAIL094) posted.
10th Nov 2015
Points from Logic (NAIL062) updated.
10th Nov 2015
Points from Decision Procedures and Verification (NAIL094) updated.
5th Nov 2015
5th lecture on Decision Procedures and Verification (NAIL094) posted.
3rd Nov 2015
Points from Logic (NAIL062) updated.
3rd Nov 2015
Points from Decision Procedures and Verification (NAIL094) updated.
29th Oct 2015
4th lecture on Decision Procedures and Verification (NAIL094) posted.
26th Oct 2015
Points from Logic (NAIL062) updated.
26th Oct 2015
Points from Decision Procedures and Verification (NAIL094) updated.
22nd Oct 2015
3rd lecture on Decision Procedures and Verification (NAIL094) posted.
|<
<
>
>|

Page 12 of 48

Copyright © 2015 - 2023 Pavel Surynek