証明論と計算論のワークショップを開催します(延期となりました)

3月23日(月)–3月25日(水)に秋田大学にて開催予定でした証明論と計算論のワークショップは、新型コロナウイルスの感染拡大防止対策の政府方針を受け、開催を延期いたします.

3月23日(月)〜3月25日(水)の3日間,秋田大学総合研究棟1階教室にて証明論と計算論のワークショップを開催します.
会場情報や講演者情報・プログラムを下記のページにて公開しています.皆様どうぞ奮ってご参加ください.

https://sites.google.com/view/proof-computation-akita/home
再開の日程は調整中です.

参加申し込みは不要です.部分参加も歓迎です.
初日には入門的なチュートリアル講演もありますのでぜひ学部生の皆様も気軽にご参加ください.

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