[logic-ml] ERATO MMSD キックオフワークショップのご案内

[Shin-ya KATSUMATA]

国立情報学研究所の勝股です。
 
ERATO蓮尾メタ数理システムデザインプロジェクトでは、プロジェクトの紹介と研究交流のためのキックオフワークショップを以下の要領で行います。お気軽にお越しください。
 
名称	ERATO MMSD キックオフワークショップ
日時	6月15日(木) 14:30開始 17:15終了
場所	東京都千代田区一ツ橋2-1-2 国立情報学研究所12階 1208-1210

参加をご希望の方は文末のフォームにご記入の上、s.katsumata+kickoff at 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 at gmail.com 宛ワークショップ参加連絡フォーム ==========
ERATO MMSD キックオフワークショップにご出席します。
 
お名前:

研究交流会の参加：する しない (該当しないものを消去して下さい)
 
研究交流会の参加区分：一般 学生 (該当しないものを消去して下さい)
 
========== ERATOプロジェクトホームページ ==========
http://www.jst.go.jp/erato/research_area/ongoing/16816853.html
 
国立情報学研究所
勝股 審也