{"id":1314,"date":"2017-05-15T10:00:05","date_gmt":"2017-05-15T08:00:05","guid":{"rendered":"https:\/\/www.mimuw.edu.pl\/~bojan\/?page_id=1314"},"modified":"2017-05-15T10:00:23","modified_gmt":"2017-05-15T08:00:23","slug":"1314-2","status":"publish","type":"page","link":"https:\/\/www.mimuw.edu.pl\/~bojan\/lipa\/lipa-summer-school\/1314-2","title":{"rendered":"Programme"},"content":{"rendered":"

Programme<\/h2>\n

 <\/p>\n

Monday, July 3<\/h4>\n

8:50 – 9:00 Welcome
\n9:00 – 10:30 Moshe Vardi Linear-time verification and synthesis<\/em>
\n10:30 – 11:00 Coffee break
\n11:00 – 12:30 Jo\u00ebl Ouaknine Linear recurrence sequences<\/em>
\n12:30 – 14:00 Lunch
\n14:00 – 15:30 Stephan Kreutzer Algorithmic meta-theorems<\/em>
\n15:30 – 16:00 Coffee break
\n16:00 – 17:30 Stephan Kreutzer Algorithmic meta-theorems<\/em><\/p>\n

Tuesday, July 4<\/h4>\n

9:00 – 10:30 Moshe Vardi Linear-time verification and synthesis<\/em>
\n10:30 – 11:00 Coffee break
\n11:00 – 12:30 Jo\u00ebl Ouaknine Linear recurrence sequences<\/em>
\n12:30 – 14:00 Lunch
\n14:00 – 15:30 Stephan Kreutzer Algorithmic meta-theorems<\/em>
\n15:30 – 16:00 Coffee break
\n16:00 – 17:30 Stephan Kreutzer Algorithmic meta-theorems<\/em><\/p>\n

Wednesday, July 5<\/h4>\n

9:00 – 10:30 Moshe Vardi Linear-time verification and synthesis<\/em>
\n10:30 – 11:00 Coffee break
\n11:00 – 12:30 Jo\u00ebl Ouaknine Linear recurrence sequences<\/em>
\n12:30 – 14:00 Lunch
\n14:00 – 15:30 Miko\u0142aj Boja\u0144czyk What is a recognisable language?<\/em>
\n15:30 – 16:00 Coffee break
\n16:00 – 17:30 Miko\u0142aj Boja\u0144czyk What is a recognisable language?<\/em><\/p>\n

Thursday, July 6<\/h4>\n

9:00 – 10:30 Moshe Vardi Linear-time verification and synthesis<\/em>
\n10:30 – 11:00 Coffee break
\n11:00 – 12:30 Jo\u00ebl Ouaknine Linear recurrence sequences<\/em>
\n12:30 – 14:00 Lunch
\n14:00 – 15:30 Miko\u0142aj Boja\u0144czyk What is a recognisable language?<\/em>
\n15:30 – 16:00 Coffee break
\n16:00 – 17:30 Miko\u0142aj Boja\u0144czyk What is a recognisable language?<\/em><\/p>\n","protected":false},"excerpt":{"rendered":"

Programme   Monday, July 3 8:50 – 9:00 Welcome 9:00 – 10:30 Moshe Vardi Linear-time verification and synthesis 10:30 – 11:00 Coffee break 11:00 – 12:30 Jo\u00ebl Ouaknine Linear recurrence sequences 12:30 – 14:00 Lunch 14:00 – 15:30 Stephan Kreutzer Algorithmic meta-theorems 15:30 – 16:00 Coffee break 16:00 – 17:30 Stephan Kreutzer Algorithmic meta-theorems Tuesday, […]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":1283,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_acf_changed":false,"inline_featured_image":false,"footnotes":""},"class_list":["post-1314","page","type-page","status-publish","hentry"],"acf":[],"_links":{"self":[{"href":"https:\/\/www.mimuw.edu.pl\/~bojan\/wp-json\/wp\/v2\/pages\/1314"}],"collection":[{"href":"https:\/\/www.mimuw.edu.pl\/~bojan\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.mimuw.edu.pl\/~bojan\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.mimuw.edu.pl\/~bojan\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.mimuw.edu.pl\/~bojan\/wp-json\/wp\/v2\/comments?post=1314"}],"version-history":[{"count":8,"href":"https:\/\/www.mimuw.edu.pl\/~bojan\/wp-json\/wp\/v2\/pages\/1314\/revisions"}],"predecessor-version":[{"id":1322,"href":"https:\/\/www.mimuw.edu.pl\/~bojan\/wp-json\/wp\/v2\/pages\/1314\/revisions\/1322"}],"up":[{"embeddable":true,"href":"https:\/\/www.mimuw.edu.pl\/~bojan\/wp-json\/wp\/v2\/pages\/1283"}],"wp:attachment":[{"href":"https:\/\/www.mimuw.edu.pl\/~bojan\/wp-json\/wp\/v2\/media?parent=1314"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}