{"id":513,"date":"2019-03-28T00:50:12","date_gmt":"2019-03-27T15:50:12","guid":{"rendered":"https:\/\/group-mmm.org\/eratommsd\/?page_id=513"},"modified":"2019-05-20T13:11:10","modified_gmt":"2019-05-20T04:11:10","slug":"vvav-symposium-201905","status":"publish","type":"page","link":"https:\/\/group-mmm.org\/eratommsd\/events\/vvav-symposium-201905\/","title":{"rendered":"ERATO MMSD Symposium"},"content":{"rendered":"\n<h1 style=\"text-align: center; font-size: 1.2em;\">ERATO MMSD Symposium<br><span style=\"text-align: center; font-size: 1.5em;\">Academic Frontiers in <br>Automated Driving Safety<\/span><br>From Mathematical Foundation to Artificial Intelligence<br> and Software Platforms<\/h1>\n\n\n\n<hr class=\"wp-block-separator\"\/>\n\n\n\n<p><a href=\"https:\/\/www.jst.go.jp\/erato\/en\/\">ERATO<\/a> <a href=\"http:\/\/group-mmm.org\/eratommsd\/\">Metamathematics for Systems Design Project<\/a> (ERATO MMSD) is a <a href=\"http:\/\/www.jst.go.jp\/EN\/about\/\">JST<\/a>-funded 5.5-year research project dedicated to academic research of quality assurance methods for <em>cyber-physical systems<\/em> (CPS). In particular, we set <em>automated driving systems<\/em> as our strategic application domain.  We have been pursuing advanced techniques for modeling, testing and formal verification of automated driving systems, as well as comprehensive and industry-applicable V&amp;V techniques that combine those individual methods.<\/p>\n\n\n\n<p>Our symposium this time aims to introduce\nglobal research trends in automated driving safety, our technologies developed at ERATO MMSD, and our future vision and goals.\nThe target audience is R&amp;D practitioners in the automotive and related sectors.\n<\/p>\n\n\n\n<p>Automated driving is a challenge so big that interdisciplinary efforts are indispensable (from software, control, AI, etc.).  ERATO MMSD is an academic project, with an emphasis on<em> mathematical (meta-)theories<\/em> as solid foundations of such interdisciplinary collaboration. At the symposium, we will deliver a unique academic vision that unifies the following. <\/p>\n\n\n\n<ul class=\"wp-block-list\"><li>Tools and technologies available <strong>today<\/strong>; <br><\/li><li>those which will become available <strong>tomorrow<\/strong>; and<\/li><li>the shape of <strong>the day after tomorrow<\/strong> carved out by these concrete technologies.<\/li><\/ul>\n\n\n\n<p>We also have <a href=\"https:\/\/gsd.uwaterloo.ca\/kczarnec\">Krzysztof Czarnecki<\/a> as a speaker. He leads <a href=\"https:\/\/autonomoose.net\"><g class=\"gr_ gr_13 gr-alert gr_spell gr_inline_cards gr_run_anim ContextualSpelling ins-del multiReplace\" id=\"13\" data-gr-id=\"13\">Autonomoose<\/g><\/a> Project at U. Waterloo, where they develop their own automated driving system. With their software engineering backgrounds, their approach is distinctively software-oriented, putting a lot of emphases on safety and reliability of automated driving.  Krzysztof Czarnecki is a member of ERATO MMSD, too.<\/p>\n\n\n\n<p>We sincerely hope that the symposium will trigger further collaborations between you, industry practitioners, and our academic efforts. We look forward to your participation.<\/p>\n\n\n\n<p>Ichiro Hasuo<br>Research Director, ERATO&nbsp;MMSD<br>Associate Professor, National Institute of Informatics<\/p>\n\n\n\n<hr class=\"wp-block-separator\"\/>\n\n\n\n<div class=\"wp-block-button aligncenter\"><a class=\"wp-block-button__link\" href=\"https:\/\/docs.google.com\/forms\/d\/e\/1FAIpQLSfw9nt8Q_YvCeKh_Kpze01wtwqViKjsnyXbqPGx4Tby45lTxg\/viewform?usp=sf_link\">Registration form<\/a><\/div>\n\n\n\n<hr class=\"wp-block-separator\"\/>\n\n\n\n<h2 class=\"wp-block-heading\">Speakers<\/h2>\n\n\n\n<div class=\"wp-block-media-text alignwide\" style=\"grid-template-columns:25% auto\"><figure class=\"wp-block-media-text__media\"><img loading=\"lazy\" decoding=\"async\" width=\"374\" height=\"428\" src=\"https:\/\/group-mmm.org\/eratommsd\/wp-content\/uploads\/2019\/03\/portrait-3-e1553405501757.jpg\" alt=\"\" class=\"wp-image-241\" srcset=\"https:\/\/group-mmm.org\/eratommsd\/wp-content\/uploads\/2019\/03\/portrait-3-e1553405501757.jpg 374w, https:\/\/group-mmm.org\/eratommsd\/wp-content\/uploads\/2019\/03\/portrait-3-e1553405501757-262x300.jpg 262w\" sizes=\"auto, (max-width: 374px) 100vw, 374px\" \/><\/figure><div class=\"wp-block-media-text__content\">\n<p><a href=\"http:\/\/group-mmm.org\/~ichiro\/\">Ichiro Hasuo<\/a><\/p>\n\n\n\n<p>Associate Professor, NII<br>Research Director, ERATO MMSD<br><\/p>\n<\/div><\/div>\n\n\n\n<div class=\"wp-block-media-text alignwide\" style=\"grid-template-columns:25% auto\"><figure class=\"wp-block-media-text__media\"><img loading=\"lazy\" decoding=\"async\" width=\"137\" height=\"145\" src=\"https:\/\/group-mmm.org\/eratommsd\/wp-content\/uploads\/2019\/03\/ishikawa-e1553405639536.jpg\" alt=\"\" class=\"wp-image-242\"\/><\/figure><div class=\"wp-block-media-text__content\">\n<p><a href=\"http:\/\/research.nii.ac.jp\/~f-ishikawa\/en\/\">Fuyuki Ishikawa<\/a><\/p>\n\n\n\n<p>Associate Professor, NII<br>Group 3 Leader, ERATO MMSD<br><\/p>\n<\/div><\/div>\n\n\n\n<div class=\"wp-block-media-text alignwide\" style=\"grid-template-columns:25% auto\"><figure class=\"wp-block-media-text__media\"><img loading=\"lazy\" decoding=\"async\" width=\"452\" height=\"584\" src=\"https:\/\/group-mmm.org\/eratommsd\/wp-content\/uploads\/2019\/03\/krzysztof_czarnecki_14_0-e1553405723701.jpg\" alt=\"\" class=\"wp-image-243\" srcset=\"https:\/\/group-mmm.org\/eratommsd\/wp-content\/uploads\/2019\/03\/krzysztof_czarnecki_14_0-e1553405723701.jpg 452w, https:\/\/group-mmm.org\/eratommsd\/wp-content\/uploads\/2019\/03\/krzysztof_czarnecki_14_0-e1553405723701-232x300.jpg 232w\" sizes=\"auto, (max-width: 452px) 100vw, 452px\" \/><\/figure><div class=\"wp-block-media-text__content\">\n<p><a href=\"https:\/\/gsd.uwaterloo.ca\/kczarnec\">Krzysztof Czarnecki<\/a><\/p>\n\n\n\n<p>Professor, U. Waterloo<br>Group 2 Leader, ERATO MMSD<br>Leader, the <a href=\"https:\/\/www.autonomoose.net\/\">Autonomoose<\/a> Project<\/p>\n<\/div><\/div>\n\n\n\n<hr class=\"wp-block-separator\"\/>\n\n\n\n<h2 class=\"wp-block-heading\">Language<\/h2>\n\n\n\n<p>Krzysztof Czarnecki&#8217;s talk will be in English; so are the interactive discussions at the technology showcase. <\/p>\n\n\n\n<p>The other talks (by Ichiro Hasuo and Fuyuki Ishikawa) will be in Japanese.<\/p>\n\n\n\n<h2 class=\"wp-block-heading\">Date<\/h2>\n\n\n\n<p>13:00-19:00, Tuesday 21 <g class=\"gr_ gr_4 gr-alert gr_gramm gr_inline_cards gr_run_anim Punctuation only-del replaceWithoutSep\" id=\"4\" data-gr-id=\"4\">May,<\/g> 2019<br>(Registration will open at 12:30)<\/p>\n\n\n\n<h2 class=\"wp-block-heading\">Venue<\/h2>\n\n\n\n<p><a href=\"http:\/\/TKP\u7bc9\u5730\u65b0\u5bcc\u753a\u30ab\u30f3\u30d5\u30a1\u30ec\u30f3\u30b9\u30bb\u30f3\u30bf\u30fc\uff08\u6771\u4eac\u90fd\u4e2d\u592e\u533a\uff09\">TKP Tsukiji-Shintomicho Conference Center<\/a><br><a href=\"https:\/\/www.google.com\/maps?ll=35.670388,139.77546&amp;z=17&amp;t=m&amp;hl=en-US&amp;gl=JP&amp;mapclient=embed&amp;q=3-ch%C5%8Dme-2-10+Irifune+Chuo+City,+T%C5%8Dky%C5%8D-to+104-0042\">map<\/a><br><\/p>\n\n\n\n<h2 class=\"wp-block-heading\">Hosted by<\/h2>\n\n\n\n<ul class=\"wp-block-list\"><li><a href=\"https:\/\/group-mmm.org\/eratommsd\/\">ERATO Metamathematics for Systems Design Project<\/a> (ERATO MMSD), <br><a href=\"http:\/\/www.jst.go.jp\/EN\/about\/\">Japan Science and Technology Agency<\/a> (JST)<\/li><li>Global Research Center for System Design and Mathematics, <a href=\"https:\/\/www.nii.ac.jp\/en\/\">National Institute of Informatics<\/a> (NII)<\/li><\/ul>\n\n\n\n<h2 class=\"wp-block-heading\">Supported by<\/h2>\n\n\n\n<p>Ministry of Education, Culture, Sports, Science and Technology (MEXT)<\/p>\n\n\n\n<h2 class=\"wp-block-heading\">Target Audience<\/h2>\n\n\n\n<p>Researchers, developers and practitioners in the automotive and related sectors<\/p>\n\n\n\n<h2 class=\"wp-block-heading\">Registration<\/h2>\n\n\n\n<p><a href=\"https:\/\/docs.google.com\/forms\/d\/e\/1FAIpQLSfw9nt8Q_YvCeKh_Kpze01wtwqViKjsnyXbqPGx4Tby45lTxg\/viewform?usp=sf_link\">Registration Form (Click me!)<\/a><\/p>\n\n\n\n<p>Registration required; will be closed on 10 May 2019. No fees. <br>Please note that the venue capacity is limited.<\/p>\n\n\n\n<h2 class=\"wp-block-heading\">Organization<\/h2>\n\n\n\n<p>ERATO MMSD Symposium Organization Team<br>E-mail: hasuolab-secr [at] nii.ac.jp<br>Tel: 03-6273-4886  (10:00-17:30, weekdays)<\/p>\n\n\n\n<hr class=\"wp-block-separator\"\/>\n\n\n\n<h2 class=\"wp-block-heading\">Program<\/h2>\n\n\n\n\n<table id=\"tablepress-3\" class=\"tablepress tablepress-id-3\">\n<tbody>\n<tr class=\"row-1 odd\">\n\t<td class=\"column-1\">12:30<\/td><td class=\"column-2\">Registration<\/td>\n<\/tr>\n<tr class=\"row-2 even\">\n\t<td class=\"column-1\">13:00\uff5e13:10<\/td><td class=\"column-2\"><b>Guest Speech<\/b><br \/>\nTadatoshi Kaneko<br \/>\nBasic Research Promotion Division<br \/>\nResearch Promotion Bureau<br \/>\nMinistry of Education, Culture, Sports, Science and Technology (MEXT)<\/td>\n<\/tr>\n<tr class=\"row-3 odd\">\n\t<td class=\"column-1\">13:10\uff5e13:40<\/td><td class=\"column-2\"><b>Introducing the ERATO MMSD Project: Comprehensive Academic Research towards Reliable Cyber-Physical Systems<\/b> <br \/>\nIchiro Hasuo <br \/>\n(NII &amp; ERATO MMSD)<\/td>\n<\/tr>\n<tr class=\"row-4 even\">\n\t<td class=\"column-1\">13:40\uff5e13:45<\/td><td class=\"column-2\">Break<\/td>\n<\/tr>\n<tr class=\"row-5 odd\">\n\t<td class=\"column-1\">13:45\uff5e14:45<\/td><td class=\"column-2\"><b>Introducing the Autonomoose Project: Software-Driven Development of Automated Driving Systems<\/b><br \/>\nKrzysztof Czarnecki <br \/>\n(U. Waterloo, ERATO MMSD &amp; Autonomoose)<\/td>\n<\/tr>\n<tr class=\"row-6 even\">\n\t<td class=\"column-1\">14:45\uff5e15:00<\/td><td class=\"column-2\">Break<\/td>\n<\/tr>\n<tr class=\"row-7 odd\">\n\t<td class=\"column-1\">15:00\uff5e15:45<\/td><td class=\"column-2\"><b>Towards Automated Driving Safety: Technology Overview from Software Engineering and AI<\/b><br \/>\nFuyuki Ishikawa <br \/>\n(NII &amp; ERATO MMSD)<\/td>\n<\/tr>\n<tr class=\"row-8 even\">\n\t<td class=\"column-1\">15:45\uff5e16:30<\/td><td class=\"column-2\"><b>Towards Automated Driving Safety: Technology Overview from Software Science, Formal Methods and Mathematical Foundations<\/b><br \/>\nIchiro Hasuo <br \/>\n(NII &amp; ERATO MMSD)<\/td>\n<\/tr>\n<tr class=\"row-9 odd\">\n\t<td class=\"column-1\">16:30\uff5e16:45<\/td><td class=\"column-2\">Break<\/td>\n<\/tr>\n<tr class=\"row-10 even\">\n\t<td class=\"column-1\">16:45\uff5e18:00<\/td><td class=\"column-2\">Technology Showcase by Project Researchers and Grad Students<\/td>\n<\/tr>\n<tr class=\"row-11 odd\">\n\t<td class=\"column-1\">18:00\uff5e19:00<\/td><td class=\"column-2\">Discussion and Reception<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<!-- #tablepress-3 from cache -->\n\n\n\n<hr class=\"wp-block-separator\"\/>\n\n\n\n<div class=\"wp-block-button aligncenter\"><a class=\"wp-block-button__link\" href=\"https:\/\/docs.google.com\/forms\/d\/e\/1FAIpQLSfw9nt8Q_YvCeKh_Kpze01wtwqViKjsnyXbqPGx4Tby45lTxg\/viewform?usp=sf_link\">Registration form<\/a><\/div>\n","protected":false},"excerpt":{"rendered":"<p>ERATO MMSD SymposiumAcademic Frontiers in Automated Driving SafetyFrom Mathematical Foundation to Artificial Intelligence and Software Platforms ERATO Metamathematics for Systems Design Project (ERATO MMSD) is a JST-funded 5.5-year research project dedicated to academic research of quality assurance methods for cyber-physical systems (CPS). In particular, we set automated driving systems as our strategic application domain. We have been pursuing advanced techniques for modeling, testing and formal verification of automated driving systems, as well as comprehensive and industry-applicable V&amp;V techniques that combine those individual methods. Our symposium this time aims to introduce global research trends in automated driving safety, our technologies developed at ERATO MMSD, and our future vision and goals. The &hellip; <a href=\"https:\/\/group-mmm.org\/eratommsd\/events\/vvav-symposium-201905\/\" class=\"more-link\">Continue reading <span class=\"screen-reader-text\">ERATO MMSD Symposium<\/span><\/a><\/p>\n","protected":false},"author":7,"featured_media":0,"parent":43,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_locale":"en_US","_original_post":"220","footnotes":""},"class_list":["post-513","page","type-page","status-publish","hentry","en-US"],"_links":{"self":[{"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/pages\/513","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/users\/7"}],"replies":[{"embeddable":true,"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/comments?post=513"}],"version-history":[{"count":31,"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/pages\/513\/revisions"}],"predecessor-version":[{"id":854,"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/pages\/513\/revisions\/854"}],"up":[{"embeddable":true,"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/pages\/43"}],"wp:attachment":[{"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/media?parent=513"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}