2008-09-17から1日間の記事一覧

"A new project on formalizing specifications"

現在従事中のプロジェクトについて45分間発表。 In this talk we introduce a new on-going research project (jointly with several companies) for developing a methodology and software tools that can improve the upper development scene of softwar…

Wessex Theory Seminar

案内はこちら。 (内容については、後で追加します)

研究集会(バース)

起床は6時、発表練習をしてから朝食、トーストを食べ過ぎる。10時にバスで大学へ向かう。バス代1ポンド10ペンス、運転手に払うのだが、考えてみると、ヨーロッパでバス代を受け取るバスの運転手ってイギリスだけではないだろうか。すばらしい。