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 12 of 48

26th Nov 2015

Points from Decision Procedures and Verification (NAIL094) updated.

26th Nov 2015

Points from Logic (NAIL062) updated.

22nd Nov 2015

New publications are on-line (IJCAI 2015, SoCS 2015).

22nd Nov 2015

New topics for a project or a thesis have been posted (Evacuation, Jaeger Kit, and more).

19th Nov 2015

7th lecture on Decision Procedures and Verification (NAIL094) posted.

12th Nov 2015

6th lecture on Decision Procedures and Verification (NAIL094) posted.

10th Nov 2015

Points from Logic (NAIL062) updated.

10th Nov 2015

Points from Decision Procedures and Verification (NAIL094) updated.

5th Nov 2015

5th lecture on Decision Procedures and Verification (NAIL094) posted.

3rd Nov 2015

Points from Logic (NAIL062) updated.

3rd Nov 2015

Points from Decision Procedures and Verification (NAIL094) updated.

29th Oct 2015

4th lecture on Decision Procedures and Verification (NAIL094) posted.

26th Oct 2015

Points from Logic (NAIL062) updated.

26th Oct 2015

Points from Decision Procedures and Verification (NAIL094) updated.

22nd Oct 2015

3rd lecture on Decision Procedures and Verification (NAIL094) posted.

22nd Oct 2015

Points from Logic (NAIL062) updated.

15th Oct 2015

2nd lecture on Decision Procedures and Verification (NAIL094) posted.

12th Oct 2015

Points from Decision Procedures and Verification (NAIL094) updated.

12th Oct 2015

Points from Logic (NAIL062) updated.

8th Oct 2015

Seminar on Logic (NAIL062) is on-line.

Page 12 of 48

Copyright © 2015 - 2023 Pavel Surynek