| 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. »» |