2006-10-04から1日間の記事一覧

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 (総合研究棟B), Room 911-1 (9th Floor). Time: Oct. 5th 14:00 - 1…