News


List of All News


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.