秋田大学の新屋です．

3月26日(火)・3月27日(水)の2日間，秋田大学にてオートマトンとロジックのワークショップを開催します．

会場情報やプログラム・講演概要を下記のページにて公開しています．皆様どうぞ奮ってご参加ください．

聴講参加は申し込みは不要です．懇親会については事前に人数を把握しておきたいため，参加希望の方は

3月11日(月)までに新屋に懇親会参加の旨をご連絡いただけると幸いです．

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