ワドラーがACM SIGPLANの次期chairになったようです。http://wadler.blogspot.com/2009/06/sigsoft-impact-project.html The SIGSOFT Impact Project As incoming Chair of SIGPLAN, one of my objectives is to explain to governments and the public why …

http://www.kb.ecei.tohoku.ac.jp/flops2010/締め切りは10月（会議は来年の4月）なのでまだ先ですが、論文募集中です。宜しくお願い致します。ところで、トップページの写真は大学の広報に相談して仙臺写真館からいただいたのですが（ありがとうございます）…