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

29th Feb 2016

List of students at my seminar on Automata and Grammars is on-line.

29th Feb 2016

2nd lecture on Automata and Grammars is on-line.

28th Jan 2016

A new paper accepted to AAMAS 2016.

28th Jan 2016

PC member of AAAI 2016 and IJCAI 2016.

28th Jan 2016

Reviewing service updated (IEEE Transactions on Robotics).

14th Jan 2016

Results of the second credit test from Logic (NAIL062) posted.

14th Jan 2016

Points from Logic (NAIL062) updated.

14th Jan 2016

Points from Decision Procedures and Verification (NAIL094) updated.

7th Jan 2016

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

1st Jan 2016

Happy New Year 2016! List of upcoming events posted.

22nd Dec 2015

Points from Logic (NAIL062) updated.

22nd Dec 2015

Points from Decision Procedures and Verification (NAIL094) updated.

17th Dec 2015

Points from Logic (NAIL062) updated.

17th Dec 2015

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

8th Dec 2015

Points from Logic (NAIL062) updated.

8th Dec 2015

Points from Decision Procedures and Verification (NAIL094) updated.

3rd Dec 2015

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

3rd Dec 2015

Points from Logic (NAIL062) updated.

26th Nov 2015

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

26th Nov 2015

Results of the first credit test from Logic (NAIL062) posted.

Page 11 of 48

Copyright © 2015 - 2023 Pavel Surynek