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