オートマトンとロジックのワークショップを行いました

3月26日—3月27日に秋田大学にてオートマトンとロジックのワークショップを行いました.
全参加者25名(内講演者11名)の賑やかなワークショップとなりました.
講演スライドはワークショップのページにて公開されていますので,ご興味のある方はどうぞご参照ください.