Pavel SURYNEK

Publications

Research

Teaching



News


List of All News
|<
<
>
>|


Page 46 of 48

11th Oct 2009
A new section about thesis supervising.
7th Oct 2009
1st lecture on Decision procedures (NAIL094) is on-line.
5th Oct 2009
Program for Seminar on A.I. updated.
30th Sep 2009
Course on Decision procedures (NAIL094) is scheduled.
30th Sep 2009
Seminar on A.I. (NAIL004) is scheduled.
29th Sep 2009
Seminar on Logic on 2nd Oct will be cancelled.
8th Sep 2009
Course on Decision procedures (NAIL094) in on-line.
8th Sep 2009
Seminar on A.I. (NAIL004) is on-line.
4th Sep 2009
Publications section updated.
1st Sep 2009
Theses reviewing update.
5th Aug 2009
New documents from the SoCS conference are on-line.
13th Jun 2009
Research section updated.
12th Jun 2009
Results of the alternative test from NTIN071 are on-line.
9th Jun 2009
Results of the alternative test from NTIN060 are on-line.
8th Jun 2009
Publications section updated.
8th Jun 2009
Activities section updated.
6th Jun 2009
Results of the alternative test from NTIN071 are on-line.
3rd Jun 2009
Results of the alternative test from NTIN060 are on-line.
31st May 2009
Results of the test from NTIN071 are on-line.
27th May 2009
Results of the test from NTIN060 are on-line.
|<
<
>
>|

Page 46 of 48

Copyright © 2015 - 2023 Pavel Surynek