Pavel Surynek's Academic Page | List of News

List of News


15th Oct 2010
2nd lecture on Decision Procedures and Verification (NAIL094) is on-line. »»
12th Oct 2010
Duties page of Logic (NAIL062) has been updated. »»
12th Oct 2010
Duties page of the Seminar on Artificial Intelligence (NAIL004) has been updated. »»
12th Oct 2010
The progam of the Seminar on Artificial Intelligence (NAIL004) has been updated. »»
11th Oct 2010
A new presentation for Seminar on Artificial Intelligence (NAIL004) is on-line. »»
10th Oct 2010
News section now supports RSS (Really Simple Syndication). »»
8th Oct 2010
1st lecture on Decision Procedures and Verification (NAIL094) is on-line. »»
8th Oct 2010
Decision Procedures and Verification (NAIL094) will start 10 minutes later. »»
7th Oct 2010
Duties page of Logic (NAIL062) has been updated. »»
4th Oct 2010
The progam of the Seminar on Artificial Intelligence (NAIL004) has been updated. »»
30th Sep 2010
Office hours changed for winter period. »»
30th Sep 2010
Lecture on Decision Procedures and Verification has been scheduled. »»
30th Sep 2010
Seminar on Artificial Intelligence has been scheduled. »»
30th Sep 2010
Individual project NPR045 added into Teaching section. »»
26th Sep 2010
Seminar on Logic is on-line. »»
26th Sep 2010
Seminar on Artificial Intelligence is on-line. »»
26th Sep 2010
Exam rules for Decision Procedures and Verification have been announced. »»
26th Sep 2010
The short biography for announcing talks is on-line. »»
24th Sep 2010
The presentation on Research Evaluation has been corrected according to the discussion. »»
22nd Sep 2010
A presentation for a talk on Research Evaluation is on-line. »»