Pavel SURYNEK

Publications

Research

Teaching



News


List of All News
|<
<
>
>|


Page 17 of 48

3rd Dec 2014
Points from Logic (NAIL062) have been updated.
3rd Dec 2014
Announcement regarding the alternative credit test from Logic (NAIL062).
3rd Dec 2014
Results of the first credit test from Logic (NAIL062) are on-line.
3rd Dec 2014
Points from Decision Procedures and Verification (NAIL094) have been updated.
2nd Dec 2014
7th lecture on Decision Procedures and Verification (NAIL094) is posted.
27th Nov 2014
Faculty Open Day service listed.
27th Nov 2014
New topics for a project or a thesis have been posted (Railroad Planning, Dangerous Roads, Music Transcription).
25th Nov 2014
6th lecture on Decision Procedures and Verification (NAIL094) is posted.
13th Nov 2014
PC member of AAMAS 2015.
9th Nov 2014
A new paper accepted to AAAI 2015 (acceptance rate 26.7%).
9th Nov 2014
The list of supervised theses has been updated.
5th Nov 2014
Points from Decision Procedures and Verification (NAIL094) have been updated.
4th Nov 2014
5th lecture on Decision Procedures and Verification (NAIL094) is posted.
4th Nov 2014
The first credit test from Logic (NAIL062) has been announced.
4th Nov 2014
Points from Logic (NAIL062) have been updated.
29th Oct 2014
Points from Decision Procedures and Verification (NAIL094) have been updated.
29th Oct 2014
4th lecture on Decision Procedures and Verification (NAIL094) is posted.
27th Oct 2014
Supervising capacity has been updated.
22nd Oct 2014
Points from Decision Procedures and Verification (NAIL094) have been updated.
21st Oct 2014
3rd lecture on Decision Procedures and Verification (NAIL094) is posted.
|<
<
>
>|

Page 17 of 48

Copyright © 2015 - 2023 Pavel Surynek