Pavel SURYNEK

Publications

Research

Teaching



News


List of All News
|<
<
>
>|


Page 47 of 48

8th Apr 2009
Results of the alternative test from NTIN060 are on-line.
6th Apr 2009
Results of the test from NTIN060 are on-line.
5th Apr 2009
Papers on clause learning at Seminar on Satisfiability are listed on-line.
26th Mar 2009
New documents at Seminar on Satisfiability (problems, source code, ...).
26th Mar 2009
Number of marks (activity, presence, ...) at NTIN071 updated.
26th Mar 2009
Number of marks (activity, presence, ...) at NTIN060 updated.
19th Mar 2009
Date of a test from NTIN071 announced.
19th Mar 2009
Date of a test from NTIN060 announced.
12th Mar 2009
Program and materials for Seminar on Satisfiability updated.
12th Mar 2009
Number of marks (activity, presence, ...) at NTIN071 updated.
12th Mar 2009
Number of marks (activity, presence, ...) at NTIN060 updated.
5th Mar 2009
Program of Seminar on Satisfiability updated.
26th Feb 2009
List of students of NTIN071 is on-line.
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.
|<
<
>
>|

Page 47 of 48

Copyright © 2015 - 2023 Pavel Surynek