国立情報学研究所の勝股です。
ERATO蓮尾メタ数理システムデザインプロジェクトでは、プロジェクトの紹介と研究交流のためのキックオフワークショップを以下の要領で行います。お気軽にお越しください。
名称 ERATO MMSD キックオフワークショップ 日時 6月15日(木) 14:30開始 17:15終了 場所 東京都千代田区一ツ橋2-1-2 国立情報学研究所12階 1208-1210
参加をご希望の方は文末のフォームにご記入の上、[email protected] に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)
========== [email protected] 宛ワークショップ参加連絡フォーム ========== ERATO MMSD キックオフワークショップにご出席します。
お名前:
研究交流会の参加：する しない (該当しないものを消去して下さい)
研究交流会の参加区分：一般 学生 (該当しないものを消去して下さい)
========== ERATOプロジェクトホームページ ========== http://www.jst.go.jp/erato/research_area/ongoing/16816853.html
国立情報学研究所 勝股 審也