みなさま，

秋田大学の新屋です．

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日(月)までに新屋に懇親会参加の旨をご連絡いただけると幸いです．

秋田大学 数理科学コース 新屋良磨