Pavel Surynek's Academic Page | List of News

List of News


17th Mar 2011
The date of a first test from Automata and Grammars (NTIN071) has been announced. »»
17th Mar 2011
Duties page of Automata and Grammars (NTIN071) has been updated. »»
17th Mar 2011
Program of the Seminar on Satisfiability (NAIL092) has been updated. »»
17th Mar 2011
Duties page of the Seminar on Satisfiability (NAIL092) has been updated. »»
15th Mar 2011
Resume section has been updated (special courses). »»
15th Mar 2011
The course on technology transfer attended (TTM-J). »»
15th Mar 2011
A new article accepted for publication (SCAI 2011). »»
9th Mar 2011
Duties page of Automata and Grammars (NTIN071) has been updated. »»
9th Mar 2011
Program of the Seminar on Satisfiability (NAIL092) has been updated. »»
9th Mar 2011
Duties page of the Seminar on Satisfiability (NAIL092) has been updated. »»
7th Mar 2011
A new presentation from the Seminar on Artificial Intelligence II (NAIL052) in on-line. »»
7th Mar 2011
Duties page of the Seminar on Artificial Intelligence II (NAIL052) has been updated. »»
6th Mar 2011
Program of the Seminar on Artificial Intelligence II (NAIL052) has been updated. »»
3rd Mar 2011
New topics for a project or a thesis are on-line. »»
2nd Mar 2011
Duties page of Automata and Grammars (NTIN071) has been updated. »»
2nd Mar 2011
Duties page of the Seminar on Satisfiability (NAIL092) has been updated. »»
2nd Mar 2011
A new presentation from the Seminar on Satisfiability (NAIL092) is on-line. »»
2nd Mar 2011
New references for the Seminar on Satisfiability (NAIL092) are on-line. »»
28th Feb 2011
Program of the Seminar on Artificial Intelligence II (NAIL052) has been updated. »»
28th Feb 2011
Duties page of the Seminar on Artificial Intelligence II (NAIL052) has been updated. »»