{"id":1283,"date":"2017-05-08T15:26:19","date_gmt":"2017-05-08T13:26:19","guid":{"rendered":"https:\/\/www.mimuw.edu.pl\/~bojan\/?page_id=1283"},"modified":"2018-01-17T12:41:25","modified_gmt":"2018-01-17T11:41:25","slug":"lipa-summer-school","status":"publish","type":"page","link":"https:\/\/www.mimuw.edu.pl\/~bojan\/lipa\/lipa-summer-school","title":{"rendered":"Lipa summer school 2017 (Warsaw, July 3-6)"},"content":{"rendered":"<p>The <em>Lipa Summer School<\/em> is\u00a0a school on topics connected to logic in computer science. It is part of\u00a0<a href=\"https:\/\/www.mimuw.edu.pl\/~bojan\/lipa\">this grant<\/a>. It\u00a0was\u00a0held in\u00a0<strong>Warsaw, July\u00a03-6 2017<\/strong>. \u00a0The school had\u00a04 mini-courses given by:<\/p>\n<ul>\n<li><a href=\"http:\/\/logic.las.tu-berlin.de\/Members\/Kreutzer\/\">Stephan Kreutzer<\/a> (Berlin)\u00a0<em>Algorithmic meta-theorems <\/em>(videos:\u00a0<a href=\"https:\/\/www.youtube.com\/watch?v=nk1r9c-yzOo&amp;t=18s\">1<\/a>, <a href=\"https:\/\/www.youtube.com\/watch?v=Iczud_3ZsJs\">2<\/a>, <a href=\"https:\/\/www.youtube.com\/watch?v=-3IDQaqLKZ8\">3<\/a>, <a href=\"https:\/\/www.youtube.com\/watch?v=eaZ70esnMiI&amp;pbjreload=10\">4<\/a>)<\/li>\n<li><a href=\"https:\/\/people.mpi-sws.org\/~joel\/\">Jo\u00ebl Ouaknine<\/a> (Saarbr\u00fccken) <em>Decision Problems for Linear Recurrence Sequences\u00a0<\/em>(videos:\u00a0<a href=\"https:\/\/www.youtube.com\/watch?v=YhpJC6mwBHk\">1<\/a>,\u00a0<a href=\"https:\/\/www.youtube.com\/watch?v=GuBX_eEnhbw\">2<\/a>,\u00a0<a href=\"https:\/\/www.youtube.com\/watch?v=1STRX3DIi8I\">3<\/a>,\u00a0<a href=\"https:\/\/www.youtube.com\/watch?v=-XAMVw6pDEQ\">4<\/a>)<\/li>\n<li><a href=\"http:\/\/www.cs.rice.edu\/~vardi\/\">Moshe Vardi <\/a>(Rice)\u00a0\u00a0<em>Linear-time verification and synthesis\u00a0\u00a0<\/em>(videos:\u00a0<a href=\"https:\/\/www.youtube.com\/watch?v=ITzDkbj_HEM\">1<\/a>,\u00a0<a href=\"https:\/\/www.youtube.com\/watch?v=Ndk_TgRXpFw\">2<\/a>,\u00a0<a href=\"https:\/\/www.youtube.com\/watch?v=KwB_cLRJPPM\">3<\/a>,\u00a0<a href=\"https:\/\/www.youtube.com\/watch?v=jqxBR1eZXMw\">4<\/a>)<\/li>\n<li>Miko\u0142aj Boja\u0144czyk (Warsaw, organiser) <em>What is a recognisable language?\u00a0<\/em>(videos:\u00a0<a href=\"https:\/\/www.youtube.com\/watch?v=338DbO4ndk4\">1<\/a>,\u00a0<a href=\"https:\/\/www.youtube.com\/watch?v=JAsHn3-Jb84\">2<\/a>,\u00a0<a href=\"https:\/\/www.youtube.com\/watch?v=auzujfwT4Jo\">3<\/a>,\u00a0<a href=\"https:\/\/www.youtube.com\/watch?v=4JA1pnK501E\">4<\/a>)<\/li>\n<\/ul>\n<p>Each mini-course was 6 hours long (4 x 90 minutes). Here is the <a href=\"https:\/\/www.mimuw.edu.pl\/~bojan\/lipa-summer-school\/1314-2\">programme<\/a>.<\/p>\n<p>Registration is closed.\u00a0There will be free lunch and coffee breaks for registered participants, but not dinner (we will do an informal picnic on some evening without rain). The school is followed by <a href=\"http:\/\/icalp17.mimuw.edu.pl\/\">ICALP<\/a>.<\/p>\n<hr \/>\n<h2><\/h2>\n<h2>Dates<\/h2>\n<ul>\n<li><del>May 30 Registration with request for student accommodation<\/del><\/li>\n<li><del>June 20 Registration\u00a0without request for student accommodation<\/del><\/li>\n<li><del>July 3-6 School<\/del><\/li>\n<\/ul>\n<h2><\/h2>\n<hr \/>\n<h2>Local information<\/h2>\n<p>The school\u00a0was\u00a0held at the University of Warsaw, in the <a href=\"http:\/\/www.cent.uw.edu.pl\/en\">Center of\u00a0New Technologies<\/a>, whose address is Banacha 2c. Be careful about the map on the Center&#8217;s page, it&#8217;s wrong, use the one below.<\/p>\n<p>&nbsp;<\/p>\n<p><a href=\"http:\/\/www.cent.uw.edu.pl\/en\/about\/localization\"><img loading=\"lazy\" decoding=\"async\" class=\"alignnone size-medium wp-image-1289\" src=\"https:\/\/www.mimuw.edu.pl\/~bojan\/upload\/Screen-Shot-2017-05-05-at-16.05.18-300x218.png\" alt=\"\" width=\"300\" height=\"218\" srcset=\"https:\/\/www.mimuw.edu.pl\/~bojan\/upload\/Screen-Shot-2017-05-05-at-16.05.18-300x218.png 300w, https:\/\/www.mimuw.edu.pl\/~bojan\/upload\/Screen-Shot-2017-05-05-at-16.05.18-768x559.png 768w, https:\/\/www.mimuw.edu.pl\/~bojan\/upload\/Screen-Shot-2017-05-05-at-16.05.18-1024x745.png 1024w, https:\/\/www.mimuw.edu.pl\/~bojan\/upload\/Screen-Shot-2017-05-05-at-16.05.18.png 1498w\" sizes=\"(max-width: 300px) 100vw, 300px\" \/><\/a><\/p>\n<p>Picture of the conference venue and map below<\/p>\n<p>&nbsp;<\/p>\n<p><a href=\"https:\/\/www.mimuw.edu.pl\/~bojan\/upload\/lipa-map.svg\"><img decoding=\"async\" class=\"alignnone size-medium wp-image-1370\" src=\"https:\/\/www.mimuw.edu.pl\/~bojan\/upload\/lipa-map.svg\" alt=\"\" \/><\/a><\/p>\n<p>A taxi from the airport should be around \u2264 20 PLN during the day (the official taxi queue is when you leave the airport, don&#8217;t go with the people who whisper &#8220;taxi, taxi&#8221;). Here is a <a href=\"https:\/\/www.google.pl\/maps\/dir\/Lotnisko+Chopina,+%C5%BBwirki+i+Wigury,+Warszawa\/Centrum+Nowych+Technologii+Uniwersytetu+Warszawskiego,+Banacha+2C,+02-097+Warszawa\/@52.189544,20.9605631,14z\/am=t\/data=!3m1!4b1!4m14!4m13!1m5!1m1!1s0x4719331c42e95ce3:0x22c5f5a26843e8d1!2m2!1d20.9678911!2d52.1672369!1m5!1m1!1s0x471eccba2b98cdc7:0x9f595c64c0f7d373!2m2!1d20.9841764!2d52.2118537!3e3?hl=pl\">link for\u00a0accessing the school\u00a0from the airport using public transport<\/a> (bus 175 or 188).<\/p>\n<p>&nbsp;<\/p>\n<hr \/>\n<p>The school is part of the grant <a href=\"https:\/\/www.mimuw.edu.pl\/~bojan\/lipa\"><em>Lipa<\/em><\/a>\u00a0that has received funding from the European Research Council (ERC) under the European Union\u2019s Horizon 2020 research and innovation programme (grant agreement No 683080).<\/p>\n<p><a href=\"https:\/\/www.mimuw.edu.pl\/~bojan\/upload\/NEW-Logo-ERC-OUTLINE.svg\"><img loading=\"lazy\" decoding=\"async\" class=\"wp-image-1308 alignleft\" src=\"https:\/\/www.mimuw.edu.pl\/~bojan\/upload\/NEW-Logo-ERC-OUTLINE.svg\" alt=\"\" width=\"137\" height=\"174\" \/><\/a><a href=\"https:\/\/www.mimuw.edu.pl\/~bojan\/upload\/NEW-Logo-ERC-OUTLINE.svg\"><img loading=\"lazy\" decoding=\"async\" class=\"wp-image-1376 aligncenter\" src=\"https:\/\/www.mimuw.edu.pl\/~bojan\/upload\/flag_yellow_low-1-300x201.jpg\" width=\"150\" height=\"100\" srcset=\"https:\/\/www.mimuw.edu.pl\/~bojan\/upload\/flag_yellow_low-1-300x201.jpg 300w, https:\/\/www.mimuw.edu.pl\/~bojan\/upload\/flag_yellow_low-1.jpg 600w\" sizes=\"(max-width: 150px) 100vw, 150px\" \/><\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<p>The Lipa Summer School is\u00a0a school on topics connected to logic in computer science. It is part of\u00a0this grant. It\u00a0was\u00a0held in\u00a0Warsaw, July\u00a03-6 2017. \u00a0The school had\u00a04 mini-courses given by: Stephan Kreutzer (Berlin)\u00a0Algorithmic meta-theorems (videos:\u00a01, 2, 3, 4) Jo\u00ebl Ouaknine (Saarbr\u00fccken) Decision Problems for Linear Recurrence Sequences\u00a0(videos:\u00a01,\u00a02,\u00a03,\u00a04) Moshe Vardi (Rice)\u00a0\u00a0Linear-time verification and synthesis\u00a0\u00a0(videos:\u00a01,\u00a02,\u00a03,\u00a04) Miko\u0142aj Boja\u0144czyk (Warsaw, [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":1353,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_acf_changed":false,"inline_featured_image":false,"footnotes":""},"class_list":["post-1283","page","type-page","status-publish","hentry"],"acf":[],"_links":{"self":[{"href":"https:\/\/www.mimuw.edu.pl\/~bojan\/wp-json\/wp\/v2\/pages\/1283"}],"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=1283"}],"version-history":[{"count":35,"href":"https:\/\/www.mimuw.edu.pl\/~bojan\/wp-json\/wp\/v2\/pages\/1283\/revisions"}],"predecessor-version":[{"id":1465,"href":"https:\/\/www.mimuw.edu.pl\/~bojan\/wp-json\/wp\/v2\/pages\/1283\/revisions\/1465"}],"up":[{"embeddable":true,"href":"https:\/\/www.mimuw.edu.pl\/~bojan\/wp-json\/wp\/v2\/pages\/1353"}],"wp:attachment":[{"href":"https:\/\/www.mimuw.edu.pl\/~bojan\/wp-json\/wp\/v2\/media?parent=1283"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}