{"id":51,"date":"2016-10-19T10:52:12","date_gmt":"2016-10-19T07:52:12","guid":{"rendered":"http:\/\/math.utu.fi\/rufidim2017\/?page_id=51"},"modified":"2017-08-03T12:23:19","modified_gmt":"2017-08-03T09:23:19","slug":"conference-program","status":"publish","type":"page","link":"https:\/\/math.utu.fi\/rufidim2017\/conference-program\/","title":{"rendered":"Conference program"},"content":{"rendered":"<h2>Proceedings<\/h2>\n<p>Printed proceedings were distributed to each participant.<\/p>\n<p>The electronic proceedings<\/Strong> of the symposium have been published, please see <a href=\"http:\/\/www.doria.fi\/handle\/10024\/143322\">http:\/\/www.doria.fi\/handle\/10024\/143322<\/a>.<\/p>\n<h2>Program<\/h2>\n<p>The conference is held at The university of Turku, in building Quantum. The building is located at the top of the so-called &#8220;university hill&#8221;. The talks are held in the Quantum auditorium, except on Wednesday, when talks are in lecture room XVI in the first floor of Quantum building.<\/p>\n<p>The address of the building is &#8220;Quantum, Vesilinnantie 5, 20500 Turku&#8221;. Please see the map under the section &#8220;Useful Info&#8221; to get an idea of the campus.<\/p>\n<table class=\"tg\" style=\"width: 700px\">\n<colgroup>\n<col style=\"width: 56px\" \/>\n<col style=\"width: 201px\" \/> <\/colgroup>\n<tbody>\n<tr>\n<th class=\"tg-031e\" colspan=\"2\">Monday 15th<\/th>\n<\/tr>\n<tr>\n<td class=\"tg-yw4l\">18:00 &#8211; 21:00<\/td>\n<td class=\"tg-yw4l\">Get-together and registration<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<table class=\"tg\" style=\"width: 700px\">\n<colgroup>\n<col style=\"width: 56px\" \/>\n<col style=\"width: 201px\" \/> <\/colgroup>\n<tbody>\n<tr>\n<th class=\"tg-yw4l\" colspan=\"2\">Tuesday 16th<\/th>\n<\/tr>\n<tr>\n<td class=\"tg-031e\">8:30 &#8211;<\/td>\n<td class=\"tg-031e\">Registration<\/td>\n<\/tr>\n<tr>\n<td class=\"tg-031e\">8:50 &#8211; 9:00<\/td>\n<td class=\"tg-031e\">Opening words: Rector Kalervo V\u00e4\u00e4n\u00e4nen<\/td>\n<\/tr>\n<tr>\n<td class=\"tg-031e\">9:00 &#8211; 10:00<\/td>\n<td class=\"tg-e3zv\"><strong>Invited talk:<\/strong><br \/>Alexandr Kostochka<br \/>\n&#8211; <em>Recent results on disjoint and longest cycles in graphs<\/em><\/td>\n<\/tr>\n<tr>\n<td class=\"tg-031e\">10:00 &#8211; 10:30<\/td>\n<td class=\"tg-031e\">Coffee break<\/td>\n<\/tr>\n<tr>\n<td class=\"tg-yw4l\">10:30 &#8211; 11:00<\/td>\n<td class=\"tg-yw4l\">Danila Cherkashin, Fedor Petrovy<br \/>\n&#8211; <em>On small n-uniform hypergraphs with positive discrepancy<\/em><\/td>\n<\/tr>\n<tr>\n<td class=\"tg-yw4l\">11:00 &#8211; 11:30<\/td>\n<td class=\"tg-yw4l\">Ville Junnila, Tero Laihonen, Gabrielle Paris<br \/>\n&#8211; <em>Location in circulant graphs<\/em><\/td>\n<\/tr>\n<tr>\n<td class=\"tg-yw4l\">11:30 &#8211; 12:00<\/td>\n<td class=\"tg-yw4l\">A.V. Pastor<br \/>\n&#8211; <em>On critically 3-connected graphs with exactly two vertices of degree 3<\/em><\/td>\n<\/tr>\n<tr>\n<td class=\"tg-yw4l\">12:00 &#8211; 13:30<\/td>\n<td class=\"tg-yw4l\">Lunch<\/td>\n<\/tr>\n<tr>\n<td class=\"tg-yw4l\">13:30 &#8211; 14:30<\/td>\n<td class=\"tg-9hbo\"><strong>Invited talk:<\/strong><br \/>Volker Diekert<br \/>\n&#8211; <em> Solving equations in free partially commutative monoids: developments over\u00a0the past 20 years<\/em><\/td>\n<\/tr>\n<tr>\n<td class=\"tg-yw4l\">14:30 &#8211; 15:00<\/td>\n<td class=\"tg-yw4l\">Esa Sahla<br \/>\n&#8211; <em>A New Proof for Undecidability of the Bi-Infinite Post Correspondence Problem<\/em><\/td>\n<\/tr>\n<tr>\n<td class=\"tg-yw4l\">15:00 &#8211; 15:30<\/td>\n<td class=\"tg-yw4l\">Coffee break<\/td>\n<\/tr>\n<tr>\n<td class=\"tg-yw4l\">15:30 &#8211; 16:00<\/td>\n<td class=\"tg-yw4l\">Marina Maslennikova, Emanuele Rodaro<br \/>\n&#8211; <em>Trim Strongly Connected Synchronizing Automata and Ideal Languages<\/em><\/td>\n<\/tr>\n<tr>\n<td class=\"tg-yw4l\">16:00 &#8211; 16:30<\/td>\n<td class=\"tg-yw4l\">Andrew Ryzhikov, Anton Shemyakov<br \/>\n&#8211; <em>Subset Synchronization in Monotonic Automata<\/em><\/td>\n<\/tr>\n<tr>\n<td class=\"tg-yw4l\">16:30 &#8211; 17:00<\/td>\n<td class=\"tg-yw4l\">Vladimir V. Gusev, Elena Pribavkina, Marek Szykula<br \/>\n&#8211; <em>Around the Road Coloring Theorem<\/em><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<table class=\"tg\" style=\"width: 700px\">\n<colgroup>\n<col style=\"width: 56px\" \/>\n<col style=\"width: 201px\" \/> <\/colgroup>\n<tr>\n<th class=\"tg-yw4l\" colspan=\"2\">Wednesday 17th  &#8211;  LECTURE ROOM XVI<\/th>\n<\/tr>\n<tr>\n<td class=\"tg-031e\">9:00 &#8211; 10:00<\/td>\n<td class=\"tg-e3zv\"><strong>Invited talk:<br \/><\/strong> V\u00e4\u00e4n\u00e4nen<br \/>&#8211; <em>On the logic of dependence and independence<\/em><\/td>\n<\/tr>\n<tr>\n<td class=\"tg-031e\">10:00 &#8211; 10:30<\/td>\n<td class=\"tg-031e\">Coffee break<\/td>\n<\/tr>\n<tr>\n<td class=\"tg-yw4l\">10:30 &#8211; 11:00<\/td>\n<td class=\"tg-yw4l\">Antti Valmari, Lauri Hella<br \/>\n&#8211; <em>The Logics Taught and Used at High schools Are Not the Same<\/em><\/td>\n<\/tr>\n<tr>\n<td class=\"tg-yw4l\">11:00 &#8211; 11:30<\/td>\n<td class=\"tg-yw4l\">Yaroslav Salii<br \/>\n&#8211; <em>Order-theoretic characteristics and dynamic programming for precedence constrained TSP<\/em><\/td>\n<\/tr>\n<tr>\n<td class=\"tg-yw4l\">11:30 &#8211; 12:00<\/td>\n<td class=\"tg-yw4l\">Ilia Ponomarenko<br \/><em>&#8211; Testing Isomorphism of Central Cayley Graphs Over Almost Simple Groups in Polynomial Time<\/em><\/td>\n<\/tr>\n<tr>\n<td class=\"tg-yw4l\">12:00 &#8211; 13:30<\/td>\n<td class=\"tg-yw4l\">Lunch<\/td>\n<\/tr>\n<tr>\n<td class=\"tg-yw4l\">13:30 &#8211; 14:30<\/td>\n<td class=\"tg-9hbo\"><strong> Invited talk:<br \/><\/strong> Aleksi Saarela<br \/>\n&#8211; <em>Studying word equations by geometric and algebraic methods<\/em><\/td>\n<\/tr>\n<tr>\n<td class=\"tg-yw4l\">14:30 &#8211; 15:00<\/td>\n<td class=\"tg-yw4l\">Aleksei Yu. Kondratev, Vladimir V. Mazalov<br \/>\n&#8211; <em>Nucleolus as Tournament Solution<\/em><\/td>\n<\/tr>\n<tr>\n<td class=\"tg-yw4l\">15:00 &#8211; 15:30<\/td>\n<td class=\"tg-yw4l\">Coffee break<\/td>\n<\/tr>\n<tr>\n<td class=\"tg-yw4l\">15:30 &#8211; 16:00<\/td>\n<td class=\"tg-yw4l\">Vladimir D. Matveenko, Alexei V. Korolev<br \/>\n&#8211; <em>Network analysis based on a typology of nodes<\/em><\/td>\n<\/tr>\n<tr>\n<td class=\"tg-yw4l\">16:00 &#8211; 16:30<\/td>\n<td class=\"tg-yw4l\">Kamil Khadiev, Rishat Ibrahimov<br \/>\n&#8211; <em>Width Hierarchies for Quantum and Classical Ordered Binary Decision Diagrams with Repeated Test<\/em><\/td>\n<\/tr>\n<tr>\n<td class=\"tg-yw4l\">16:30 &#8211; 17:00<\/td>\n<td class=\"tg-yw4l\">Elena Bozhenkova, Irina Virbitskaite<br \/>\n&#8211; <em>Some Space-Time Characteristics of Relational Structures<\/em><\/td>\n<\/tr>\n<\/table>\n<table class=\"tg\" style=\"width: 700px\">\n<colgroup>\n<col style=\"width: 56px\" \/>\n<col style=\"width: 201px\" \/> <\/colgroup>\n<tr>\n<th class=\"tg-yw4l\" colspan=\"2\">Thursday 18th<\/th>\n<\/tr>\n<tr>\n<td class=\"tg-031e\">9:00 &#8211; 10:00<\/td>\n<td class=\"tg-e3zv\"><strong>Invited talk:<\/strong><br \/>Alexei Miasnikov<br \/>\n&#8211; <em>Non-commutative discrete optimization: geometry, compression, and complexity<\/em><\/td>\n<\/tr>\n<tr>\n<td class=\"tg-031e\">10:00 &#8211; 10:30<\/td>\n<td class=\"tg-031e\">Coffee break<\/td>\n<\/tr>\n<tr>\n<td class=\"tg-yw4l\">10:30 &#8211; 11:00<\/td>\n<td class=\"tg-yw4l\">Dmitri V. Karpov<br \/>\n&#8211; <em>Large contractible subgraphs of a 3-connected graph<\/em><\/td>\n<\/tr>\n<tr>\n<td class=\"tg-yw4l\">11:00 &#8211; 11:30<\/td>\n<td class=\"tg-yw4l\">Ville Junnila, Tero Laihonen, Tuomo Lehtil\u00e4<br \/>\n&#8211; <em>Two New Classes of Locating-Dominating Codes<\/em><\/td>\n<\/tr>\n<tr>\n<td class=\"tg-yw4l\">11:30 &#8211; 12:00<\/td>\n<td class=\"tg-yw4l\">Vladimir Edemskiy, Nikita Sokolovskiy, Aleksandra Tsurina<br \/>\n&#8211; <em>Notes about the linear complexity of cyclotomic sequences of order six and appropriate cyclic codes<\/em><\/td>\n<\/tr>\n<tr>\n<td class=\"tg-yw4l\">12:00 &#8211; 13:30<\/td>\n<td class=\"tg-yw4l\">Lunch<\/td>\n<\/tr>\n<tr>\n<td class=\"tg-yw4l\">13:30 &#8211; 14:00<\/td>\n<td class=\"tg-9hbo\">Sergey Afonin<br \/>\n&#8211; <em>Decision Problems and Application of Rational Sets of Regular Languages<\/em><\/td>\n<\/tr>\n<tr>\n<td class=\"tg-yw4l\">14:00 &#8211; 14:30<\/td>\n<td class=\"tg-yw4l\">Anni Hakanen, Tero Laihonen<br \/>\n&#8211; <em>On resolving several objects in the king grid<\/em><\/td>\n<\/tr>\n<tr>\n<td class=\"tg-yw4l\">14:30 &#8211; 15:00<\/td>\n<td class=\"tg-yw4l\">Spare time<\/td>\n<\/tr>\n<tr>\n<td class=\"tg-yw4l\">15:00 &#8211; 19:00<\/td>\n<td class=\"tg-yw4l\">City Excursion<\/td>\n<\/tr>\n<tr>\n<td class=\"tg-yw4l\">19:00 &#8211; <\/td>\n<td class=\"tg-yw4l\">Symposium Dinner<\/td>\n<\/tr>\n<\/table>\n<table class=\"tg\" style=\"width: 700px\">\n<colgroup>\n<col style=\"width: 56px\" \/>\n<col style=\"width: 201px\" \/> <\/colgroup>\n<tr>\n<th class=\"tg-yw4l\" colspan=\"2\">Friday 19th<\/th>\n<\/tr>\n<tr>\n<td class=\"tg-031e\">9:00 &#8211; 10:00<\/td>\n<td class=\"tg-e3zv\"><strong>Invited talk:<\/strong><br \/>Igor Potapov<br \/>\n&#8211; <em>Decision problems in matrix semigroups: limitations and algorithms<\/em><\/td>\n<\/tr>\n<tr>\n<td class=\"tg-031e\">10:00 &#8211; 10:30<\/td>\n<td class=\"tg-031e\">Coffee break<\/td>\n<\/tr>\n<tr>\n<td class=\"tg-yw4l\">10:30 &#8211; 11:00<\/td>\n<td class=\"tg-yw4l\">A.E. Guterman, A.M. Maksaev<br \/>\n&#8211; <em>On the scrambling index of non-negative matrices<\/em><\/td>\n<\/tr>\n<tr>\n<td class=\"tg-yw4l\">11:00 &#8211; 11:30<\/td>\n<td class=\"tg-yw4l\">Jarkko Peltom\u00e4ki, Ville Salo<br \/>\n&#8211; <em>On winning shifts of generalized Thue-Morse substitutions<\/em><\/td>\n<\/tr>\n<tr>\n<td class=\"tg-yw4l\">11:30 &#8211; 12:00<\/td>\n<td class=\"tg-yw4l\">Anna Rettieva<br \/>\n&#8211; <em>Cooperation in Dynamic Multicriteria Games with Random Horizons<\/em><\/td>\n<\/tr>\n<tr>\n<td class=\"tg-yw4l\">12:00 &#8211; 13:30<\/td>\n<td class=\"tg-yw4l\">Lunch<\/td>\n<\/tr>\n<tr>\n<td class=\"tg-yw4l\">13:30 &#8211; 14:00<\/td>\n<td class=\"tg-9hbo\">Yana Teplitskaya<br \/>\n&#8211; <em>Regularity of the maximal distance minimizers<\/em><\/td>\n<\/tr>\n<tr>\n<td class=\"tg-yw4l\">14:00 &#8211; 14:30<\/td>\n<td class=\"tg-yw4l\">Irina Cheplyukova, Yuri Pavlov<br \/>\n&#8211; <em>On the dynamics of a confguration graph with random vertex degrees and bounded number of edges<\/em><\/td>\n<\/tr>\n<tr>\n<td class=\"tg-yw4l\">14:30 &#8211; 15:00<\/td>\n<td class=\"tg-yw4l\">Marina Leri, Yuri Pavlov<br \/>\n&#8211; <em>On robustness of configuration graphs in random environment<\/em><\/td>\n<\/tr>\n<tr>\n<td class=\"tg-yw4l\">15:00 &#8211; 15:30<\/td>\n<td class=\"tg-yw4l\">Coffee break<\/td>\n<\/tr>\n<tr>\n<td class=\"tg-yw4l\">15:30 &#8211;<\/td>\n<td class=\"tg-yw4l\">End of Symposium<\/td>\n<\/tr>\n<\/table>\n<div class=\"pvc_clear\"><\/div>\n<p id=\"pvc_stats_51\" class=\"pvc_stats all  \" data-element-id=\"51\" style=\"\"><i class=\"pvc-stats-icon medium\" aria-hidden=\"true\"><svg aria-hidden=\"true\" focusable=\"false\" data-prefix=\"far\" data-icon=\"chart-bar\" role=\"img\" xmlns=\"http:\/\/www.w3.org\/2000\/svg\" viewBox=\"0 0 512 512\" class=\"svg-inline--fa fa-chart-bar fa-w-16 fa-2x\"><path fill=\"currentColor\" d=\"M396.8 352h22.4c6.4 0 12.8-6.4 12.8-12.8V108.8c0-6.4-6.4-12.8-12.8-12.8h-22.4c-6.4 0-12.8 6.4-12.8 12.8v230.4c0 6.4 6.4 12.8 12.8 12.8zm-192 0h22.4c6.4 0 12.8-6.4 12.8-12.8V140.8c0-6.4-6.4-12.8-12.8-12.8h-22.4c-6.4 0-12.8 6.4-12.8 12.8v198.4c0 6.4 6.4 12.8 12.8 12.8zm96 0h22.4c6.4 0 12.8-6.4 12.8-12.8V204.8c0-6.4-6.4-12.8-12.8-12.8h-22.4c-6.4 0-12.8 6.4-12.8 12.8v134.4c0 6.4 6.4 12.8 12.8 12.8zM496 400H48V80c0-8.84-7.16-16-16-16H16C7.16 64 0 71.16 0 80v336c0 17.67 14.33 32 32 32h464c8.84 0 16-7.16 16-16v-16c0-8.84-7.16-16-16-16zm-387.2-48h22.4c6.4 0 12.8-6.4 12.8-12.8v-70.4c0-6.4-6.4-12.8-12.8-12.8h-22.4c-6.4 0-12.8 6.4-12.8 12.8v70.4c0 6.4 6.4 12.8 12.8 12.8z\" class=\"\"><\/path><\/svg><\/i> <img loading=\"lazy\" decoding=\"async\" width=\"16\" height=\"16\" alt=\"Loading\" src=\"https:\/\/math.utu.fi\/rufidim2017\/wp-content\/plugins\/page-views-count\/ajax-loader-2x.gif\" border=0 \/><\/p>\n<div class=\"pvc_clear\"><\/div>\n","protected":false},"excerpt":{"rendered":"<p>Proceedings Printed proceedings were distributed to each participant. The electronic proceedings of the symposium have been published, please see http:\/\/www.doria.fi\/handle\/10024\/143322. Program The conference is held at The university of Turku, in building Quantum. The building is located at the top of the so-called &#8220;university hill&#8221;. The talks are held in the Quantum auditorium, except on &hellip; <a href=\"https:\/\/math.utu.fi\/rufidim2017\/conference-program\/\" class=\"more-link\">Continue reading <span class=\"screen-reader-text\">Conference program<\/span><\/a><\/p>\n<div class=\"pvc_clear\"><\/div>\n<p id=\"pvc_stats_51\" class=\"pvc_stats all  \" data-element-id=\"51\" style=\"\"><i class=\"pvc-stats-icon medium\" aria-hidden=\"true\"><svg aria-hidden=\"true\" focusable=\"false\" data-prefix=\"far\" data-icon=\"chart-bar\" role=\"img\" xmlns=\"http:\/\/www.w3.org\/2000\/svg\" viewBox=\"0 0 512 512\" class=\"svg-inline--fa fa-chart-bar fa-w-16 fa-2x\"><path fill=\"currentColor\" d=\"M396.8 352h22.4c6.4 0 12.8-6.4 12.8-12.8V108.8c0-6.4-6.4-12.8-12.8-12.8h-22.4c-6.4 0-12.8 6.4-12.8 12.8v230.4c0 6.4 6.4 12.8 12.8 12.8zm-192 0h22.4c6.4 0 12.8-6.4 12.8-12.8V140.8c0-6.4-6.4-12.8-12.8-12.8h-22.4c-6.4 0-12.8 6.4-12.8 12.8v198.4c0 6.4 6.4 12.8 12.8 12.8zm96 0h22.4c6.4 0 12.8-6.4 12.8-12.8V204.8c0-6.4-6.4-12.8-12.8-12.8h-22.4c-6.4 0-12.8 6.4-12.8 12.8v134.4c0 6.4 6.4 12.8 12.8 12.8zM496 400H48V80c0-8.84-7.16-16-16-16H16C7.16 64 0 71.16 0 80v336c0 17.67 14.33 32 32 32h464c8.84 0 16-7.16 16-16v-16c0-8.84-7.16-16-16-16zm-387.2-48h22.4c6.4 0 12.8-6.4 12.8-12.8v-70.4c0-6.4-6.4-12.8-12.8-12.8h-22.4c-6.4 0-12.8 6.4-12.8 12.8v70.4c0 6.4 6.4 12.8 12.8 12.8z\" class=\"\"><\/path><\/svg><\/i> <img loading=\"lazy\" decoding=\"async\" width=\"16\" height=\"16\" alt=\"Loading\" src=\"https:\/\/math.utu.fi\/rufidim2017\/wp-content\/plugins\/page-views-count\/ajax-loader-2x.gif\" border=0 \/><\/p>\n<div class=\"pvc_clear\"><\/div>\n","protected":false},"author":14,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-51","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/math.utu.fi\/rufidim2017\/wp-json\/wp\/v2\/pages\/51","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/math.utu.fi\/rufidim2017\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/math.utu.fi\/rufidim2017\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/math.utu.fi\/rufidim2017\/wp-json\/wp\/v2\/users\/14"}],"replies":[{"embeddable":true,"href":"https:\/\/math.utu.fi\/rufidim2017\/wp-json\/wp\/v2\/comments?post=51"}],"version-history":[{"count":22,"href":"https:\/\/math.utu.fi\/rufidim2017\/wp-json\/wp\/v2\/pages\/51\/revisions"}],"predecessor-version":[{"id":533,"href":"https:\/\/math.utu.fi\/rufidim2017\/wp-json\/wp\/v2\/pages\/51\/revisions\/533"}],"wp:attachment":[{"href":"https:\/\/math.utu.fi\/rufidim2017\/wp-json\/wp\/v2\/media?parent=51"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}