サテライト・ワークショップへ。「中規模存在論をコンピューターにインプットして、『箱の中のボールが外に飛び出さない』という定理を自動証明させる」試みとかがあった。 19時からreception、college中庭のテントに皆が集まり、ワインを飲む（食事はなし）…

アシュモリン美術館のジョルジオーネ。 自然史博物館に戻って、"Oxford dodo"。オックスフォードに連れてこられたドードー鳥、ルイス・キャロルもこれを見たらしい。

オックスフォードのハイ・ストリートからメルトン・ロードの間、University college の隣に、"Logic lane"と呼ばれる小道がある。 画像は Logic lane からメルトン・ストリートを眺める。詳細はこちらをご覧ください。･･･論理学とはあまり関係ないけど。

起床は6時、肌寒い。半袖しか持ってこなかったのが悔やまれる。 8時から学寮のダイニングホールで朝食、トーストと目玉焼きとベーコンとソーセージと焼きトマトと豆。English Breakfast. 日本人参加者のTkさんらと会う。9時からのregistrationに一緒に向かう…