[logic-ml] オンライン講義のご案内: モデル理論:ソフトウェアの代数的仕様記述と形式検証
Yoshihito Tanaka
ytanaka at ip.kyusan-u.ac.jp
Wed May 12 10:53:01 JST 2021
九州産業大学の田中義人です.九州大学の溝口佳寛先生の代理で投稿いたします.
九州大学により,オンライン講義「モデル理論:ソフトウェアの代数的仕様記述と
形式検証」が以下の要領で開催されます:
期間:5月13日-7月29日
日時:毎週木曜日16:00-18:00
詳細は添付のポスターをご参照ください(2行目の講義開始日は5月13日の誤りです).
ZoomのURL,ID等は,以下にお問い合わせください:
Daniel Gaina:daniel at imi.kyushu-u.ac.jp
溝口佳寛:ym at imi.kyushu-u.ac.jp
*********************************
田中義人
九州産業大学経済学部
813-8503 福岡市東区松香台2-3-1
092-673-5216 (直通)
e-mail: ytanaka at ip.kyusan-u.ac.jp
*********************************
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 2021_ModelTheory_v3.pdf
Type: application/pdf
Size: 98240 bytes
Desc: not available
URL: <http://www.fos.kuis.kyoto-u.ac.jp/pipermail/logic-ml/attachments/20210512/4fdf95fb/attachment-0001.pdf>
More information about the Logic-ml
mailing list