Pavel SURYNEK

Publications

Research

Teaching

CV
Qualification
Employment
Awards

List of News
Science Book

Complete
DBLP
Semantic Scholar
Google Scholar

Profile
Robotics
Software
Grants
Reviewing
Invited
Service

RR1: Real Robot One
reLOC
boOX
Github

RoboAgeLab

Intro AI | BI-ZUM
AI Advanced | NI-UMI
Neurocomp | PI-NSV
Satisfiability | PI-SPL
Roboplan | PI-PRO

Student Awards
Supervising
Reviewing
Topics

Login



News


List of All News
|<
<
>
>|


Page 47 of 47

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.
12th Feb 2009
Faculty Bernard Bolzano Award 2008.
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.
|<
<
>
>|

Page 47 of 47

Copyright © 2015 - 2023 Pavel Surynek