We're planning to hold a POPL recap, Wednesday next week (February 6th) at 4pm. If you can't make it at that time, please let me know, and I'll try to reschedule. Vincent