Edmund Clarke 先生

http://www.kmonos.net/wlog/66.html#_0028061004

おっと、忘れるところだった。明日じゃまいか。

The workshop will be held in Oct. 5-6 at: 
    Bldg.: Laboratory for Advanced Research B (総合研究棟Ｂ),
    Room 911-1 (9th Floor).
Time: 
    Oct. 5th 14:00 - 17:30 
    Oct. 6th  9:00 - 12:30 

メモメモ。*1

*1:というか、居眠りしないようにしないと