FLOPS 2010（第10回関数型・論理型プログラミング国際会議）

http://www.kb.ecei.tohoku.ac.jp/flops2010/

締め切りは10月（会議は来年の4月）なのでまだ先ですが、論文募集中です。宜しくお願い致します。

ところで、トップページの写真は大学の広報に相談して仙臺写真館からいただいたのですが（ありがとうございます）、オリジナルでも右上に黒い横線が入っています。僅かに緑がかっているのですが、木の枝ではなさそうですし、何なのかわかる方はいらっしゃいますか…？（写真の切り抜きをスキャンした？？）