Pavel Surynek's Academic Page | List of News

List of News


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. »»
23rd May 2009
New documents from conferences ICRA and FLAIRS are on-line. »»
1st May 2009
Research section updated. »»