News


List of All News


17th Jun 2011
Several new topics for a project or a thesis are on-line (auto-art, social-network, ...).
17th Jun 2011
The available capacity for project supervising has been updated.
3rd Jun 2011
The new article is on-line in the publications section (SCAI 2011).
3rd Jun 2011
Research and resume sections have been updated (article reviewing).
3rd Jun 2011
The list of supervised and reviewed theses has been updated.
2nd Jun 2011
Duties page of the Seminar on Satisfiability (NAIL092) has been updated.
31st May 2011
Results of the second test from Automata and Grammars (NTIN071) are on-line.
29th May 2011
Notice that office hours have changed for the summer period.
12th May 2011
A presentation on SAT Preprocessing from the Seminar on Satisfiability (NAIL092) is on-line.
11th May 2011
Duties page of the Seminar on Satisfiability (NAIL092) has been updated.
11th May 2011
Duties page of Automata and Grammars (NTIN071) has been updated.
4th May 2011
Duties page of Automata and Grammars (NTIN071) has been updated.
4th May 2011
The date of a second test from Automata and Grammars (NTIN071) has been announced.
4th May 2011
Duties page of the Seminar on Satisfiability (NAIL092) has been updated.
4th May 2011
A new version of Hardgen is on-line.
27th Apr 2011
Duties page of the Seminar on Satisfiability (NAIL092) has been updated.
27th Apr 2011
Duties page of Automata and Grammars (NTIN071) has been updated.
21st Apr 2011
Program of the Seminar on Satisfiability (NAIL092) has been updated.
21st Apr 2011
Duties page of the Seminar on Satisfiability (NAIL092) has been updated.
21st Apr 2011
Duties page of Automata and Grammars (NTIN071) has been updated.