{"id":1521,"date":"2018-05-11T08:45:26","date_gmt":"2018-05-11T06:45:26","guid":{"rendered":"https:\/\/www.mimuw.edu.pl\/~bojan\/?page_id=1521"},"modified":"2018-06-29T11:27:46","modified_gmt":"2018-06-29T09:27:46","slug":"program-2018","status":"publish","type":"page","link":"https:\/\/www.mimuw.edu.pl\/~bojan\/lipa\/lipa-summer-school-2018-june-25-29\/program-2018","title":{"rendered":"Program 2018"},"content":{"rendered":"<p>This\u00a0the program of the\u00a0<a href=\"https:\/\/www.mimuw.edu.pl\/~bojan\/lipa\/lipa-summer-school-2018-june-25-29\">Lipa Summer School<\/a>. Click on the titles to get descriptions and slides.<\/p>\n<p>All days have the same program, except for a 10 minute welcome on day 1.<\/p>\n<h4>Monday, June 25<\/h4>\n<p>8:50 \u2013 9:00 Welcome<br \/>\n9:00 \u2013 10:30 Rajeev Alur<a href=\"https:\/\/www.mimuw.edu.pl\/~bojan\/lipa\/lipa-summer-school-2018-june-25-29\/regular-processing-of-data-streams\"> <em>Regular processing of data streams<\/em><\/a><br \/>\n10:30 \u2013 11:00 Coffee break<br \/>\n11:00 \u2013 12:30 Igor Walukiewicz\u00a0<a href=\"https:\/\/www.mimuw.edu.pl\/~bojan\/lipa\/lipa-summer-school-2018-june-25-29\/msol-and-higher-order-computation\"><em>MSOL and higher-order computation<\/em><\/a><br \/>\n12:30 \u2013 14:00 Lunch<br \/>\n14:00 \u2013 15:30\u00a0Matt Valeriote <a href=\"https:\/\/www.mimuw.edu.pl\/~bojan\/lipa\/lipa-summer-school-2018-june-25-29\/finite-algebras-and-connections-with-tree-languages\"><em>Finite algebras and connections with tree languages<\/em><\/a><br \/>\n15:30 \u2013 16:00 Coffee break<br \/>\n16:00 \u2013 17:30 Miko\u0142aj Boja\u0144czyk <a href=\"https:\/\/www.mimuw.edu.pl\/~bojan\/lipa\/lipa-summer-school-2018-june-25-29\/recognisable-languages-of-graphs\"><em>Recognisable languages of graphs<\/em><\/a><\/p>\n<h4>Tuesday, June 26<\/h4>\n<p>9:00 \u2013 10:30 Rajeev Alur<a href=\"https:\/\/www.mimuw.edu.pl\/~bojan\/lipa\/lipa-summer-school-2018-june-25-29\/regular-processing-of-data-streams\">\u00a0<em>Regular processing of data streams<\/em><\/a><br \/>\n10:30 \u2013 11:00 Coffee break<br \/>\n11:00 \u2013 12:30 Igor Walukiewicz\u00a0<a href=\"https:\/\/www.mimuw.edu.pl\/~bojan\/lipa\/lipa-summer-school-2018-june-25-29\/msol-and-higher-order-computation\"><em>MSOL and higher-order computation<\/em><\/a><br \/>\n12:30 \u2013 14:00 Lunch<br \/>\n14:00 \u2013 15:30\u00a0Matt Valeriote\u00a0<a href=\"https:\/\/www.mimuw.edu.pl\/~bojan\/lipa\/lipa-summer-school-2018-june-25-29\/finite-algebras-and-connections-with-tree-languages\"><em>Finite algebras and connections with tree languages<\/em><\/a><br \/>\n15:30 \u2013 16:00 Coffee break<br \/>\n16:00 \u2013 17:30 Miko\u0142aj Boja\u0144czyk\u00a0<a href=\"https:\/\/www.mimuw.edu.pl\/~bojan\/lipa\/lipa-summer-school-2018-june-25-29\/recognisable-languages-of-graphs\"><em>Recognisable languages of graphs<\/em><\/a><\/p>\n<h4>Wednesday, June 27<\/h4>\n<p>9:00 \u2013 10:30 Rajeev Alur<a href=\"https:\/\/www.mimuw.edu.pl\/~bojan\/lipa\/lipa-summer-school-2018-june-25-29\/regular-processing-of-data-streams\">\u00a0<em>Regular processing of data streams<\/em><\/a><br \/>\n10:30 \u2013 11:00 Coffee break<br \/>\n11:00 \u2013 12:30 Igor Walukiewicz\u00a0<a href=\"https:\/\/www.mimuw.edu.pl\/~bojan\/lipa\/lipa-summer-school-2018-june-25-29\/msol-and-higher-order-computation\"><em>MSOL and higher-order computation<\/em><\/a><br \/>\n12:30 \u2013 14:00 Lunch<br \/>\n14:00 \u2013 15:30\u00a0Matt Valeriote\u00a0<a href=\"https:\/\/www.mimuw.edu.pl\/~bojan\/lipa\/lipa-summer-school-2018-june-25-29\/finite-algebras-and-connections-with-tree-languages\"><em>Finite algebras and connections with tree languages<\/em><\/a><br \/>\n15:30 \u2013 16:00 Coffee break<br \/>\n16:00 \u2013 17:30 Miko\u0142aj Boja\u0144czyk\u00a0<a href=\"https:\/\/www.mimuw.edu.pl\/~bojan\/lipa\/lipa-summer-school-2018-june-25-29\/recognisable-languages-of-graphs\"><em>Recognisable languages of graphs<\/em><\/a><\/p>\n<h4>Thursday, June 28<\/h4>\n<p>9:00 \u2013 10:30 Rajeev Alur<a href=\"https:\/\/www.mimuw.edu.pl\/~bojan\/lipa\/lipa-summer-school-2018-june-25-29\/regular-processing-of-data-streams\">\u00a0<em>Regular processing of data streams<\/em><\/a><br \/>\n10:30 \u2013 11:00 Coffee break<br \/>\n11:00 \u2013 12:30 Igor Walukiewicz\u00a0<a href=\"https:\/\/www.mimuw.edu.pl\/~bojan\/lipa\/lipa-summer-school-2018-june-25-29\/msol-and-higher-order-computation\"><em>MSOL and higher-order computation<\/em><\/a><br \/>\n12:30 \u2013 14:00 Lunch<br \/>\n14:00 \u2013 15:30\u00a0Matt Valeriote\u00a0<a href=\"https:\/\/www.mimuw.edu.pl\/~bojan\/lipa\/lipa-summer-school-2018-june-25-29\/finite-algebras-and-connections-with-tree-languages\"><em>Finite algebras and connections with tree languages<\/em><\/a><br \/>\n15:30 \u2013 16:00 Coffee break<br \/>\n16:00 \u2013 17:30 Miko\u0142aj Boja\u0144czyk\u00a0<a href=\"https:\/\/www.mimuw.edu.pl\/~bojan\/lipa\/lipa-summer-school-2018-june-25-29\/recognisable-languages-of-graphs\"><em>Recognisable languages of graphs<\/em><\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<p>This\u00a0the program of the\u00a0Lipa Summer School. Click on the titles to get descriptions and slides. All days have the same program, except for a 10 minute welcome on day 1. Monday, June 25 8:50 \u2013 9:00 Welcome 9:00 \u2013 10:30 Rajeev Alur Regular processing of data streams 10:30 \u2013 11:00 Coffee break 11:00 \u2013 12:30 [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":1441,"menu_order":-1,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_acf_changed":false,"inline_featured_image":false,"footnotes":""},"class_list":["post-1521","page","type-page","status-publish","hentry"],"acf":[],"_links":{"self":[{"href":"https:\/\/www.mimuw.edu.pl\/~bojan\/wp-json\/wp\/v2\/pages\/1521"}],"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=1521"}],"version-history":[{"count":3,"href":"https:\/\/www.mimuw.edu.pl\/~bojan\/wp-json\/wp\/v2\/pages\/1521\/revisions"}],"predecessor-version":[{"id":1540,"href":"https:\/\/www.mimuw.edu.pl\/~bojan\/wp-json\/wp\/v2\/pages\/1521\/revisions\/1540"}],"up":[{"embeddable":true,"href":"https:\/\/www.mimuw.edu.pl\/~bojan\/wp-json\/wp\/v2\/pages\/1441"}],"wp:attachment":[{"href":"https:\/\/www.mimuw.edu.pl\/~bojan\/wp-json\/wp\/v2\/media?parent=1521"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}