Update: 6th Mar 2018
Copyright © 2003-2013
List of News
 |
| 30th Apr 2009 |
| Activities section updated. »» |
| 24th Apr 2009 |
| The number of required activity points for NTIN071 announced. »» |
| 24th Apr 2009 |
| The number of required activity points for NTIN060 announced. »» |
| 18th Apr 2009 |
| Results of the alternative test from NTIN071 are on-line. »» |
| 18th Apr 2009 |
| Results of the alternative test from NTIN060 are on-line. »» |
| 9th Apr 2009 |
| Results of the alternative test from NTIN071 are on-line. »» |
| 8th Apr 2009 |
| Results of the test from NTIN071 are on-line. »» |
| 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. »» |
|
Copyright © 2003-2014 |
|