ICFP 2007 and PLPV 2007

As I will be in Freiburg anyway, I decided to use the opportunity to attend the ACM SIGPLAN International Conference on Functional Programming, as well. Furthermore, I will be around at the co-located workshop on language-based approaches to program verification.

See you in Freiburg!