{"id":1918,"date":"2022-08-29T20:16:18","date_gmt":"2022-08-29T20:16:18","guid":{"rendered":"https:\/\/remaro.eu\/?page_id=1918"},"modified":"2024-01-22T18:58:45","modified_gmt":"2024-01-22T18:58:45","slug":"remaro-fall-school-at-rwth-aachen-university","status":"publish","type":"page","link":"https:\/\/remaro.eu\/index.php\/remaro-fall-school-at-rwth-aachen-university\/","title":{"rendered":"REMARO Fall School at RWTH Aachen University 2022"},"content":{"rendered":"\n<h4>5<sup>th<\/sup> &#8211; 9<sup>th<\/sup> September, 2022<\/h4>\n\n\n\n<p><strong><span class=\"has-inline-color has-luminous-vivid-orange-color\">Venue:<\/span><\/strong><br><br><strong>Computer Science Center &#8211; RWTH Aachen University<\/strong><br>The Computer Science Center is located in an area between Ahornstra\u00dfe, Halifaxstra\u00dfe, and Mies-van-der-Rohe-Stra\u00dfe in Aachen.<\/p>\n\n\n\n<p>Map information available <a href=\"https:\/\/www.informatik.rwth-aachen.de\/cms\/informatik\/Fachgruppe\/Informatik-Zentrum\/~most\/ Lageplaene\/?lidx=1\">here<\/a>. <\/p>\n\n\n\n<p><\/p>\n\n\n\n<p><strong><span class=\"has-inline-color has-luminous-vivid-orange-color\">Lecturers:<\/span><\/strong><\/p>\n\n\n\n<ul><li>Erika \u00c1brah\u00e1m, RWTH Aachen University<\/li><li>Franceso Leofante, Imperial College London<\/li><li>Lorenz H\u00f6ppl, RWTH Innovation<\/li><li>Heike Vallery, TU Delft<\/li><li>Joost-Pieter Katoen, RWTH Aachen University<\/li><li>Maria Hilvert, RWTH Innovation<\/li><li>Lu\u00eds Madureira, OceanScan MST<\/li><\/ul>\n\n\n\n<p><\/p>\n\n\n\n<p><strong><span class=\"has-inline-color has-luminous-vivid-orange-color\">Program:<\/span><\/strong><\/p>\n\n\n\n<figure class=\"wp-block-table aligncenter is-style-stripes\"><table><tbody><tr><td class=\"has-text-align-center\" data-align=\"center\"><strong><span style=\"color:#070156\" class=\"has-inline-color\">Day<\/span><\/strong><\/td><td class=\"has-text-align-center\" data-align=\"center\"><strong><span style=\"color:#070156\" class=\"has-inline-color\">Time<\/span><\/strong><\/td><td class=\"has-text-align-center\" data-align=\"center\"><strong><span style=\"color:#070156\" class=\"has-inline-color\">Session<\/span><\/strong><\/td><\/tr><tr><td class=\"has-text-align-center\" data-align=\"center\">&nbsp;<span class=\"has-inline-color has-black-color\">Monday, September 5<\/span><\/td><td class=\"has-text-align-center\" data-align=\"center\"><span class=\"has-inline-color has-black-color\">9:00h &#8211; 12:30h<\/span><\/td><td class=\"has-text-align-center\" data-align=\"center\"><span class=\"has-inline-color has-black-color\">SMT Solving<\/span><br><span class=\"has-inline-color has-black-color\">Planning with SMT<\/span><\/td><\/tr><tr><td class=\"has-text-align-center\" data-align=\"center\"><\/td><td class=\"has-text-align-center\" data-align=\"center\">15:00h &#8211; 17:00h<\/td><td class=\"has-text-align-center\" data-align=\"center\">What you need to know about spin-offs<br>Transferring rehabilitation technology from research to real life<\/td><\/tr><tr><td class=\"has-text-align-center\" data-align=\"center\"><span class=\"has-inline-color has-black-color\">Tuesday, September 6<\/span><\/td><td class=\"has-text-align-center\" data-align=\"center\"><span class=\"has-inline-color has-black-color\">9:00h &#8211; 12:00h<\/span><\/td><td class=\"has-text-align-center\" data-align=\"center\"><span class=\"has-inline-color has-black-color\">Automated verification and synthesis of probabilistic models<\/span><\/td><\/tr><tr><td class=\"has-text-align-center\" data-align=\"center\"><\/td><td class=\"has-text-align-center\" data-align=\"center\">14:00h &#8211; 17:00h<\/td><td class=\"has-text-align-center\" data-align=\"center\">SMT hands on experience<\/td><\/tr><tr><td class=\"has-text-align-center\" data-align=\"center\">Wednesday, September 7<\/td><td class=\"has-text-align-center\" data-align=\"center\">9:00h &#8211; 17:00h<\/td><td class=\"has-text-align-center\" data-align=\"center\">REMARO workshop<\/td><\/tr><tr><td class=\"has-text-align-center\" data-align=\"center\">Thursday, September 8<\/td><td class=\"has-text-align-center\" data-align=\"center\">9:00h-10:00h<\/td><td class=\"has-text-align-center\" data-align=\"center\">Did you invent something? \u2013 Computer implemented invention disclosure, patents and what to consider upfront<\/td><\/tr><tr><td class=\"has-text-align-center\" data-align=\"center\"><\/td><td class=\"has-text-align-center\" data-align=\"center\">10:30h-15:30h<\/td><td class=\"has-text-align-center\" data-align=\"center\">Underwater robotics<\/td><\/tr><tr><td class=\"has-text-align-center\" data-align=\"center\"><\/td><td class=\"has-text-align-center\" data-align=\"center\">16:00h-19:00h<\/td><td class=\"has-text-align-center\" data-align=\"center\">Social activity<\/td><\/tr><tr><td class=\"has-text-align-center\" data-align=\"center\">Friday, September 9<\/td><td class=\"has-text-align-center\" data-align=\"center\">09:00h-11:00h<\/td><td class=\"has-text-align-center\" data-align=\"center\">Bias that affects your life<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n<p><\/p>\n\n\n\n<p>Download the <a href=\"https:\/\/remaro.eu\/wp-content\/uploads\/2022\/08\/REMARO_RWTHTraining_Program_v2.pdf\"><strong>General program here<\/strong><\/a><\/p>\n\n\n\n<p><\/p>\n","protected":false},"excerpt":{"rendered":"<p>5th &#8211; 9th September, 2022 Venue:Computer Science Center &#8211; RWTH Aachen UniversityThe Computer Science Center is located in an area between Ahornstra\u00dfe, Halifaxstra\u00dfe, and Mies-van-der-Rohe-Stra\u00dfe in Aachen. Map information available here. Lecturers: Erika \u00c1brah\u00e1m, RWTH Aachen UniversityFranceso Leofante, Imperial College LondonLorenz H\u00f6ppl, RWTH InnovationHeike Vallery, TU DelftJoost-Pieter Katoen, RWTH Aachen UniversityMaria Hilvert, RWTH InnovationLu\u00eds Madureira, &#8230;<\/p>\n","protected":false},"author":8,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":[],"_links":{"self":[{"href":"https:\/\/remaro.eu\/index.php\/wp-json\/wp\/v2\/pages\/1918"}],"collection":[{"href":"https:\/\/remaro.eu\/index.php\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/remaro.eu\/index.php\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/remaro.eu\/index.php\/wp-json\/wp\/v2\/users\/8"}],"replies":[{"embeddable":true,"href":"https:\/\/remaro.eu\/index.php\/wp-json\/wp\/v2\/comments?post=1918"}],"version-history":[{"count":9,"href":"https:\/\/remaro.eu\/index.php\/wp-json\/wp\/v2\/pages\/1918\/revisions"}],"predecessor-version":[{"id":2126,"href":"https:\/\/remaro.eu\/index.php\/wp-json\/wp\/v2\/pages\/1918\/revisions\/2126"}],"wp:attachment":[{"href":"https:\/\/remaro.eu\/index.php\/wp-json\/wp\/v2\/media?parent=1918"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}