<html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">みなさま，<div class=""><br class=""></div><div class="">こんにちは、秋田大学の新屋と申します．</div><div class=""><br class=""></div><div class="">3月23日(月)--3月25日(水)の3日間，秋田大学にて証明論と計算論のワークショップを開催します．</div><div class="">会場情報や講演者情報・プログラムを下記のページにて公開しています．皆様どうぞ奮ってご参加ください．</div><div class=""><a href="https://sites.google.com/view/proof-computation-akita/home" class="">https://sites.google.com/view/proof-computation-akita/home</a></div><div class=""><br class=""></div><div class=""><br class=""></div><div class="">聴講参加は申し込み不要です．懇親会については事前に人数を把握しておきたいため，参加希望の方は</div><div class="">3月6日(金)までに新屋に懇親会参加の旨をご連絡いただけると幸いです．</div><div class=""><br class=""></div><div class=""><br class=""></div><div class="">秋田大学 数理科学コース 新屋良磨</div></body></html>