Pavel SURYNEK

Publications

Research

Teaching



News


List of All News
|<
<
>
>|


Page 40 of 48

30th Sep 2010
Individual project NPR045 added into Teaching section.
26th Sep 2010
Seminar on Logic is on-line.
26th Sep 2010
Seminar on Artificial Intelligence is on-line.
26th Sep 2010
Exam rules for Decision Procedures and Verification have been announced.
26th Sep 2010
The short biography for announcing talks is on-line.
24th Sep 2010
The presentation on Research Evaluation has been corrected according to the discussion.
22nd Sep 2010
A presentation for a talk on Research Evaluation is on-line.
20th Sep 2010
Decision Procedures and Verification for the new academic year is on-line.
5th Sep 2010
Office hours changed.
5th Sep 2010
A new topic for a project or a thesis is on-line.
5th Sep 2010
Recent technical reports have been included in ITI Series.
27th Aug 2010
The full text of the tech. report "Abstract Path Planning for Multiple Robots: An Empirical Study" is on line.
26th Aug 2010
Links section has been rearranged.
23rd Aug 2010
The presentation from ECAI STeDy 2010 Workshop is on-line.
23rd Aug 2010
The full text of the tech. report "Abstract Path Planning for Multiple Robots: A Theoretical Study" is on line.
22nd Aug 2010
Office hours changed for the summer period.
13th Aug 2010
Available capacity for theses supervising updated.
5th Aug 2010
Resume section has been updated (PC membership).
1st Aug 2010
A list of upcomming works is on-line in Publications section.
23rd Jul 2010
Office hours changed for the summer period.
|<
<
>
>|

Page 40 of 48

Copyright © 2015 - 2023 Pavel Surynek