First things first: the paper sub­mit­ted to LCC has been put up on the Pola pro­ject page.

Secondly, one of my super­visors informed of the loom­ing dead­line for FOPARA (Found­a­tional and Prac­tical Applic­a­tions of Resource Ana­lysis), a work­shop of FM2009 in Eind­hoven. The work­shop seems like a bril­liant fit for my work and there are a lot of inter­est­ing people attend­ing (for instance Mar­tin Hof­mann as well as Hume people like Kevin Ham­mond and Greg Michael­son and many others).

The only stick­ing point is the dead­line, less than 3 weeks away. I think this would be a good oppor­tun­ity to write up the more prac­tical aspects of Pola, how it’s imple­men­ted and how a pro­gram­mer could use it. I’m already a little back­logged with imple­ment­a­tion details and, in my mind, fin­ish­ing up the new imple­ment­a­tion of bounds infer­ence is more import­ant than writ­ing another paper.