Pavel SURYNEK Academic Page

Pavel SURYNEK

Publications

Research

Teaching

CV
Qualification
Employment
Awards

Complete
DBLP
Semantic Scholar
Google Scholar

Profile
Robotics
Software
Grants
Reviewing
Invited
Service

RR1: Real Robot One
RR1 | revision 2
reLOC
boOX
Github
YouTube

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

Student Awards
Supervising
Reviewing
Topics

News

List of All News

Page 44 of 48

13th Jan 2010

11th lecture on Decision procedures (NAIL094) is on-line.

13th Jan 2010

Corrections were made in 2nd lecture on Decision procedures (NAIL094).

10th Jan 2010

Results of the test from NAIL062 are on-line.

10th Jan 2010

Please read an announcement regarding NAIL062.

9th Jan 2010

Duties page for NAIL004 updated.

6th Jan 2010

10th lecture on Decision procedures (NAIL094) is on-line.

22nd Dec 2009

Publications section updated.

21st Dec 2009

Please read an announcement regarding NAIL062.

21st Dec 2009

Results of the alternative test from NAIL062 are on-line.

19th Dec 2009

Program of the Seminar on A.I. (NAIL004) updated.

16th Dec 2009

9th lecture on Decision procedures (NAIL094) is on-line.

14th Dec 2009

Date of a test from NAIL062 announced.

11th Dec 2009

Duties page for NAIL062 updated.

11th Dec 2009

Results of the alternative test from NAIL062 are on-line.

10th Dec 2009

8th lecture on Decision procedures (NAIL094) is on-line.

7th Dec 2009

Seminar on A.I. (NAIL004) page updated.

3rd Dec 2009

7th lecture on Decision procedures (NAIL094) is on-line.

27th Nov 2009

Duties page for NAIL004 updated.

27th Nov 2009

Duties page for NAIL062 updated.

27th Nov 2009

6th lecture on Decision procedures (NAIL094) is on-line.

Page 44 of 48

Copyright © 2015 - 2023 Pavel Surynek