| 19th Feb 2012 |
| Several new topics for a project or a thesis are on-line (AI, SAT, computer graphics, ...). »» |
| 19th Dec 2011 |
| The article and the poster from MICAI 2011 conference are on-line. »» |
| 4th Dec 2011 |
| MICAI 2011 Best Poster Award - second place. »» |
| 20th Nov 2011 |
| Resume section has been updated (work experience, reviewing, ...). »» |
| 20th Nov 2011 |
| Activities section has been updated (service, supervising, ...). »» |
| 15th Nov 2011 |
| The article and the presentation from ICTAI 2011 are on-line. »» |
| 17th Oct 2011 |
| The full text of tech. report "Pre-processing in Boolean Satisfiability Using Bounded (2,k)-Consistency on Regions with Locally Difficult Constraint Setup" is on line. »» |
| 26th Sep 2011 |
| Description of new topics for a project or a thesis are on-line (auto-art, social-network, ...). »» |
| 16th Sep 2011 |
| Research fellowship at Kobe University has been commenced. »» |
| 1st Sep 2011 |
| Please read the announ-cement regarding teaching in the academic year 2011/2012. »» |
| 1st Sep 2011 |
| Office hours have changed for September 2011. »» |
| 24th Aug 2011 |
| Two new articles accepted for publication (MICAI 2011 and ICTAI 2011). »» |
| 15th Aug 2011 |
| Research section has been updated (article reviews). »» |
| 15th Aug 2011 |
| Activities section has been updated (service, supervising, ...). »» |
| 3rd Jul 2011 |
| The available capacity for project supervising has been updated. »» |
| 29th Jun 2011 |
| Duties page of Automata and Grammars (NTIN071) has been updated. »» |
| 27th Jun 2011 |
| Resume section has been updated (special courses). »» |
| 27th Jun 2011 |
| Activities section has been updated (service, events...). »» |
| 27th Jun 2011 |
| Research section has been updated and cleaned. »» |
| 17th Jun 2011 |
| Several new topics for a project or a thesis are on-line (auto-art, social-network, ...). »» |