Logic-ml June 2017

10 participants
11 discussions

ERATO MMSD キックオフワークショップのご案内
by Shin-ya KATSUMATA 01 Jun '17

01 Jun '17

国立情報学研究所の勝股です。 ERATO蓮尾メタ数理システムデザインプロジェクトでは、プロジェクトの紹介と研究交流のためのキックオフワークショップを以下の要領で行います。お気軽にお越しください。名称 ERATO MMSD キックオフワークショップ日時 6月15日(木) 14:30開始 17:15終了場所東京都千代田区一ツ橋2-1-2 国立情報学研究所12階 1208-1210 参加をご希望の方は文末のフォームにご記入の上、s.katsumata+kickoff(a)gmail.com に6月8日午前中までにご連絡下さいますようお願い申し上げます。また、ワークショップ後に研究交流会を行います。こちらもお気軽にお越しください。名称 ERATO MMSD 研究交流会日時 6月15日(木) 18:00開始場所東京都千代田区一ツ橋1-1-1 パレスサイドビルディング3階 ERATO蓮尾プロジェクト (http://group-mmm.org/eratommsd/accessj.html 東エレベータをご利用下さい) 参加費一般 3000円程度学生割引あり ========== ワークショッププログラム(発表は英語です) ========== 14:30-14:35 Introduction 14:35-14:55 Kengo Kido Nonstandard Static Analysis (Metatheoretical Transfer via Logic) 15:00-15:20 Natsuki Urabe Coalgebraic Unfolding in Forward and Backward Simulations (Metatheoretical Transfer via Category Theory) 15:25-15:45 Shin-ya Katsumata Simulations and Fibrational Liftings (Categorical Foundation for System Approximation) 15:45-16:00 Break 16:00-16:05 Interlude 16:05-16:25 Takamasa Okudono Generating Polynomial Interpolant with Semidefinite Programming (Numerical Optimization and Formal Methods) 16:30-16:50 Masaki Waga Efficient Timed Pattern Matching by Automata-Based Skipping (Automata Theory in Light-Weight Formal Methods) 16:55-17:15 Fuyuki Ishikawa Insights into Verification of Complex Systems from Software Testing Research (Formal Methods and Intelligence) ========== s.katsumata+kickoff(a)gmail.com 宛ワークショップ参加連絡フォーム ========== ERATO MMSD キックオフワークショップにご出席します。お名前: 研究交流会の参加：するしない (該当しないものを消去して下さい) 研究交流会の参加区分：一般学生 (該当しないものを消去して下さい) ========== ERATOプロジェクトホームページ ========== http://www.jst.go.jp/erato/research_area/ongoing/16816853.html 国立情報学研究所勝股審也

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml June 2017