Logic-ml の皆様，

東北大学の江口と申します． 下記の要領で東北大学ロジックセミナー(田中一之研究室)を開催いたします． 興味のある方は参加をご検討ください．

日時：9月26日(月)，16時から． 場所：東北大学北青葉山キャンパス理学総合棟1201号室 発表者：Florian Pelupessy (Ghent University, Belgium) タイトル：Phase transitions for unprovability アブストラクト： The talk will be an introduction to phase transitions for unprovability: theorems with a parameter function change from provable to unprovable with a change in that parameter.

Additionally we will present a transition for a Ramsey-like statement and for a theorem by Maclagan on monomial ideals.

東北大学ロジックセミナーの詳細につきましては下記をご参照ください． https://sites.google.com/site/sendailogichomepage/