Pavel Surynek's Academic Page | List of News

List of News

Hide menu   Show menu   Jump to the bottom   Print page


18th Apr 2011
Two new topics for a project or a thesis are on-line. »»
18th Apr 2011
An article and a presentation from CSCLP 2011 have been added to Publications section. »»
18th Apr 2011
Results of the alternative test from Automata and Grammars (NTIN071) are on-line. »»
18th Apr 2011
Duties page of Automata and Grammars (NTIN071) has been updated. »»
6th Apr 2011
A new source code from the Seminar on Satisfiability (NAIL092) is on-line. »»
6th Apr 2011
Duties page of the Seminar on Satisfiability (NAIL092) has been updated. »»
6th Apr 2011
Duties page of Automata and Grammars (NTIN071) has been updated. »»
5th Apr 2011
Results of the test from Automata and Grammars (NTIN071) are on-line. »»
31st Mar 2011
A new article accepted for publication (CSCLP 2011). »»
30th Mar 2011
Program of the Seminar on Satisfiability (NAIL092) has been updated. »»
30th Mar 2011
Duties page of the Seminar on Satisfiability (NAIL092) has been updated. »»
30th Mar 2011
Duties page of Automata and Grammars (NTIN071) has been updated. »»
25th Mar 2011
A new version of sigmaSAT experimental SAT solving package is on-line. »»
25th Mar 2011
A corrected source code from the Seminar on Satisfiability (NAIL092) is on-line. »»
23rd Mar 2011
Duties page of Automata and Grammars (NTIN071) has been updated. »»
23rd Mar 2011
A new source code from the Seminar on Satisfiability (NAIL092) is on-line. »»
23rd Mar 2011
Duties page of the Seminar on Satisfiability (NAIL092) has been updated. »»
18th Mar 2011
A new presentation from the Seminar on Satisfiability (NAIL092) is on-line. »»
17th Mar 2011
A topic for a project or a thesis is on-line. »»
17th Mar 2011
The available capacity for project supervising has been updated. »»

Hide menu   Show menu   Jump to the top   Print page