16:00-17:00 線形時間論理の2つのシーケント計算体系の同等性およびcut除去の概要、また分岐時間論理の拡張 4CTL*（4-valued CTL）、 4LCTL* （4CTL+場所）の紹介。背景説明が主。 17:00-18:00 プログラム更新システムのプロトコルの、 信念を表すBAN logic…

起床は11時半。まだ寒いけれど体はもう春眠モード、いくらでも寝られそう。 14時に出発、JR駅前のマクドで昼食、15時半に千里に。