Pavel SURYNEK

Publications

Research

Teaching



News


List of All News
|<
<
>
>|


Page 43 of 48

14th Mar 2010
The date of a test from Automata and Grammars (NTIN071) has been announced.
9th Mar 2010
Duties page of Automata and Grammars (NTIN071) updated.
8th Mar 2010
Duties page of Automata and Grammars (NTIN071) updated.
7th Mar 2010
Resume section has been updated (article reviewing).
5th Mar 2010
A tentative program of the Seminar on Satisfiability (NAIL092) is on-line.
5th Mar 2010
A tentative program of the Seminar on Artificial Intelligence II (NAIL052) is on-line.
2nd Mar 2010
Duties page of Automata and Grammars (NTIN071) updated.
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.
|<
<
>
>|

Page 43 of 48

Copyright © 2015 - 2023 Pavel Surynek