[logic-ml] オートマトン&ロジックワークショップ開催の案内@秋田大(3/26~3/27)

[Ryoma Sin'ya]

みなさま，

秋田大学の新屋です．


3月26日(火)・3月27日(水)の2日間，秋田大学にてオートマトンとロジックのワークショップを開催します．
会場情報やプログラム・講演概要を下記のページにて公開しています．皆様どうぞ奮ってご参加ください．
https://sites.google.com/view/automata-logic-akita2019/home <https://sites.google.com/view/automata-logic-akita2019/home>


聴講参加は申し込みは不要です．懇親会については事前に人数を把握しておきたいため，参加希望の方は
3月11日(月)までに新屋に懇親会参加の旨をご連絡いただけると幸いです．


秋田大学 数理科学コース 新屋良磨
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.fos.kuis.kyoto-u.ac.jp/pipermail/logic-ml/attachments/20190218/7e05acb0/attachment.html>