PC Meetingの翌日に、POPL 2008のプログラム委員を中心とする、交流のためのワークショップがありました。R6RSの操作的意味論を定義したロビー（伏字）が、そのときに利用したツールの発表をしていました。わりと実装系の話が多くて、自分の発表が一番理論的…

そういえばprogram co-chairのくせに書き忘れていましたが、PPL2008のcall for papersとホームページができました。http://www.nue.riec.tohoku.ac.jp/ppl2008/どうもありがとうございます。＞関係各位 ＆ よろしくお願いします。＞皆様なお、今回の正式表記…