Pavel Surynek's Academic Page | List of News

List of News

Hide menu   Show menu   Jump to the bottom   Print page


1st Mar 2010
Duties page of Automata and Grammars (NTIN071) updated. »»
1st Mar 2010
A correction has been made in the 7th lecture on Decision procedures (NAIL094). »»
24th Feb 2010
List of students of Automata and Grammars (NTIN071) updated. »»
23rd Feb 2010
Seminar on Satisfiability (NAIL092) is scheduled. »»
23rd Feb 2010
Seminar on Artificial Intelligence II (NAIL052) is scheduled. »»
23rd Feb 2010
Duties page of Automata and Grammars (NTIN071) updated. »»
10th Feb 2010
Pavel Surynek has moved to the office number 304 (third floor). »»
10th Feb 2010
Publications section updated. »»
10th Feb 2010
Research section updated. »»
8th Feb 2010
A page for Seminar on Satisfiability (NAIL092) is on-line. »»
8th Feb 2010
A page for Seminar on Artificial Intelligence II (NAIL052) is on-line. »»
8th Feb 2010
A page for Seminar on Automata and Grammars (NTIN071) is on-line. »»
31st Jan 2010
Results of the alternative test from NAIL062 are on-line. »»
27th Jan 2010
A page with corrections for Decision procedures (NAIL094) is on-line. Contributions are welcome. »»
23rd Jan 2010
Please read an announcement regarding the alternative test from NAIL062. »»
18th Jan 2010
Results of the alternative test from NAIL062 are on-line. »»
18th Jan 2010
Please read an announcement regarding NAIL062. »»
15th Jan 2010
New presentations from Seminar on A.I. (NAIL004) are on-line. »»
13th Jan 2010
11th lecture on Decision procedures (NAIL094) is on-line. »»
13th Jan 2010
Corrections were made in 2nd lecture on Decision procedures (NAIL094). »»

Hide menu   Show menu   Jump to the top   Print page