九州産業大学の田中義人です．九州大学の溝口佳寛先生の代理で投稿いたします．
九州大学により，オンライン講義「モデル理論:ソフトウェアの代数的仕様記述と
形式検証」が以下の要領で開催されます：
期間：5月13日-7月29日
日時：毎週木曜日16:00-18:00
詳細は添付のポスターをご参照ください（2行目の講義開始日は5月13日の誤りです）．
ZoomのURL，ID等は，以下にお問い合わせください：
Daniel Gaina：daniel(a)imi.kyushu-u.ac.jp
溝口佳寛：ym(a)imi.kyushu-u.ac.jp
*********************************
田中義人
九州産業大学経済学部
813-8503 福岡市東区松香台2-3-1
092-673-5216 (直通)
e-mail: ytanaka(a)ip.kyusan-u.ac.jp
*********************************
