| 26th Feb 2009 |
| List of students of NTIN060 is on-line. »» |
| 23rd Feb 2009 |
| One more new topic for Projects. »» |
| 22nd Feb 2009 |
| A new topic for Projects. »» |
| 22nd Feb 2009 |
| Publications section updated. »» |
| 18th Feb 2009 |
| Teaching section updated again. A change in the timetable. »» |
| 17th Feb 2009 |
| Teaching section updated. »» |
| 16th Feb 2009 |
| Topics for Seminar on Satisfiability are on-line. »» |
| 12th Feb 2009 |
| Faculty Bernard Bolzano Award 2008. »» |
| 7th Feb 2009 |
| New documents from the conference Znalosti are on-line. »» |
| 23rd Jan 2009 |
| Publications section updated. »» |
| 21st Jan 2009 |
| Seminar on Satisfiability is on-line. »» |
