{"id":1513,"date":"2018-03-30T12:38:37","date_gmt":"2018-03-30T10:38:37","guid":{"rendered":"https:\/\/www.mimuw.edu.pl\/~bojan\/?p=1513"},"modified":"2018-06-16T09:05:54","modified_gmt":"2018-06-16T07:05:54","slug":"lipa-summer-school-2018-june-25-29","status":"publish","type":"post","link":"https:\/\/www.mimuw.edu.pl\/~bojan\/posts\/lipa-summer-school-2018-june-25-29","title":{"rendered":"Lipa Summer School 2018 (June 25-28)"},"content":{"rendered":"<p>The Lipa Summer School\u00a0<a href=\"https:\/\/www.mimuw.edu.pl\/~bojan\/lipa\/lipa-summer-school-2018-june-25-29\">(click here for the page of the school, including registration)<\/a>\u00a0is\u00a0a summer school on topics connected to logic in computer science. The school consists of\u00a04 mini-courses given by:<\/p>\n<ul>\n<li><a href=\"http:\/\/www.cis.upenn.edu\/~alur\/\">Rajeev Alur<\/a>\u00a0(UPenn)\u00a0<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><\/li>\n<li><a href=\"http:\/\/ms.mcmaster.ca\/~matt\/\">Matt Valeriote\u00a0<\/a>(McMaster)\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><\/li>\n<li><a href=\"http:\/\/www.labri.fr\/perso\/igw\/\">Igor Walukiewicz\u00a0<\/a>(Bordeaux)\u00a0\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><\/li>\n<li>Miko\u0142aj Boja\u0144czyk (Warsaw, organiser)\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><\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>The Lipa Summer School\u00a0(click here for the page of the school, including registration)\u00a0is\u00a0a summer school on topics connected to logic in computer science. The school consists of\u00a04 mini-courses given by: Rajeev Alur\u00a0(UPenn)\u00a0Regular processing of data streams Matt Valeriote\u00a0(McMaster)\u00a0Finite algebras and connections with tree languages Igor Walukiewicz\u00a0(Bordeaux)\u00a0\u00a0MSOL and higher-order computation Miko\u0142aj Boja\u0144czyk (Warsaw, organiser)\u00a0Recognisable languages of [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"_acf_changed":false,"inline_featured_image":false,"footnotes":""},"categories":[1],"tags":[],"class_list":["post-1513","post","type-post","status-publish","format-standard","hentry","category-posts"],"acf":[],"_links":{"self":[{"href":"https:\/\/www.mimuw.edu.pl\/~bojan\/wp-json\/wp\/v2\/posts\/1513"}],"collection":[{"href":"https:\/\/www.mimuw.edu.pl\/~bojan\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.mimuw.edu.pl\/~bojan\/wp-json\/wp\/v2\/types\/post"}],"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=1513"}],"version-history":[{"count":4,"href":"https:\/\/www.mimuw.edu.pl\/~bojan\/wp-json\/wp\/v2\/posts\/1513\/revisions"}],"predecessor-version":[{"id":1531,"href":"https:\/\/www.mimuw.edu.pl\/~bojan\/wp-json\/wp\/v2\/posts\/1513\/revisions\/1531"}],"wp:attachment":[{"href":"https:\/\/www.mimuw.edu.pl\/~bojan\/wp-json\/wp\/v2\/media?parent=1513"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.mimuw.edu.pl\/~bojan\/wp-json\/wp\/v2\/categories?post=1513"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.mimuw.edu.pl\/~bojan\/wp-json\/wp\/v2\/tags?post=1513"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}