Pavel SURYNEK

Publications

Research

Teaching



News


List of All News
|<
<
>
>|


Page 18 of 48

21st Oct 2014
Points from Logic (NAIL062) have been updated.
15th Oct 2014
Points from Decision Procedures and Verification (NAIL094) have been updated.
15th Oct 2014
2nd lecture on Decision Procedures and Verification (NAIL094) is posted.
14th Oct 2014
Points from Logic (NAIL062) have been updated.
13th Oct 2014
Office hours scheduled for winter term.
9th Oct 2014
List of students and points from Logic (NAIL062) have been posted.
9th Oct 2014
Points from Decision Procedures and Verification (NAIL094) have been updated.
8th Oct 2014
1st lecture on Decision Procedures and Verification (NAIL094) is posted.
6th Oct 2014
Several new publications added (PRICAI 2014, MICAI 2014, ...).
28th Sep 2014
Teaching pages for the next academic year are prepared.
10th Sep 2014
New topics for a project or a thesis have been posted (Sentiment Analysis and Continuous CPF).
25th Aug 2014
Supervising capacity has been updated.
15th Aug 2014
Several new publications added (Fundamenta Informaticae, KEOD 2014).
11th Jul 2014
Current research interests updated.
11th Jul 2014
Article reviewing updated.
11th Jul 2014
PC membership updated (AAMAS, ECAI, ICAART 2014).
29th Jun 2014
Two new topics for a project or a thesis have been posted (Automated Encoding and CS Department Ranking).
25th Jun 2014
Updated examination statistics of Automata and Grammars (NTIN071) posted.
16th Jun 2014
Examination statistics of Automata and Grammars (NTIN071) has been updated.
10th Jun 2014
Supervising capacity has been updated.
|<
<
>
>|

Page 18 of 48

Copyright © 2015 - 2023 Pavel Surynek