午前の部

9時20分から会議が始まる。会場はオックスフォード大学数学科（画像は数学科ビルBanbury Road側入り口）の地下。

1. Modal fixpoint logicの代数的意味論に関するVenemaの発表は興味深かった。
2. またグルジア人のEsakiaによるSolovayのmodal system（φが必然的 iff φがZFの全てのモデルで真）に関する発表、その様相論理の体系を表現する位相空間を定義する。OHPな上に観衆をものすごい勢いで置いてきぼりにしていたが、内容は個人的に興味を持っていた話なので面白かったです。conference dinnerの時、彼の隣に座って話を聞いたのだが、別にグルジアでは集合論が盛んなわけではなく、一人で文献で勉強している由。