3月26日(火)・3月27日(水)の2日間，秋田大学総合研究棟2階教室にてオートマトンとロジックのワークショップを開催します．
会場情報やプログラム・講演概要を下記のページにて公開しています．
https://sites.google.com/view/automata-logic-akita2019/home

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