Pavel Surynek - Home Page http://ktiml.mff.cuni.cz/~surynek/RSS Channel - Pavel Surynek - Home Page Sat, 27 Apr 2024 07:09:45 GMT A new paper accepted to AAMAS 2016.http://ktiml.mff.cuni.cz/~surynek/index.html.php?select=publicationsThu, 28 Jan 2016 10:00:00 GMThttp://ktiml.mff.cuni.cz/~surynek/index.html.php?select=publications PC member of AAAI 2016 and IJCAI 2016.http://ktiml.mff.cuni.cz/~surynek/index.html.php?select=research#committeeThu, 28 Jan 2016 10:00:00 GMThttp://ktiml.mff.cuni.cz/~surynek/index.html.php?select=research#committee Reviewing service updated (IEEE Transactions on Robotics).http://ktiml.mff.cuni.cz/~surynek/index.html.php?select=research#reviewsThu, 28 Jan 2016 10:00:00 GMThttp://ktiml.mff.cuni.cz/~surynek/index.html.php?select=research#reviews Results of the second credit test from Logic (NAIL062) posted.http://ktiml.mff.cuni.cz/~surynek/index.html.php?select=teaching&term=2015_2016_ZS&subject=logic&page=dutiesThu, 14 Jan 2016 10:00:00 GMThttp://ktiml.mff.cuni.cz/~surynek/index.html.php?select=teaching&term=2015_2016_ZS&subject=logic&page=duties Points from Logic (NAIL062) updated.http://ktiml.mff.cuni.cz/~surynek/index.html.php?select=teaching&term=2015_2016_ZS&subject=logic&page=dutiesThu, 14 Jan 2016 10:00:00 GMThttp://ktiml.mff.cuni.cz/~surynek/index.html.php?select=teaching&term=2015_2016_ZS&subject=logic&page=duties Points from Decision Procedures and Verification (NAIL094) updated.http://ktiml.mff.cuni.cz/~surynek/index.html.php?select=teaching&term=2015_2016_ZS&subject=decision_procedures&page=dutiesThu, 14 Jan 2016 10:00:00 GMThttp://ktiml.mff.cuni.cz/~surynek/index.html.php?select=teaching&term=2015_2016_ZS&subject=decision_procedures&page=duties 11th lecture on Decision Procedures and Verification (NAIL094) posted.http://ktiml.mff.cuni.cz/~surynek/index.html.php?select=teaching&term=2015_2016_ZS&subject=decision_procedures&page=lectureThu, 07 Jan 2016 10:00:00 GMThttp://ktiml.mff.cuni.cz/~surynek/index.html.php?select=teaching&term=2015_2016_ZS&subject=decision_procedures&page=lecture Happy New Year 2016! List of upcoming events posted.http://ktiml.mff.cuni.cz/~surynek/index.html.php?select=linksFri, 01 Jan 2016 10:00:00 GMThttp://ktiml.mff.cuni.cz/~surynek/index.html.php?select=links