I have spent the last week working on my poster, which is coming along slowly. I will post it here after I submit it on Sunday. I am getting varying advice, but it seems I have to cut down on the amount of text. It could also do with some better graphic design, though that may not happen.
Also, Stephen Nelson just pointed me to a paper Verifiable Functional Purity in Java which looks interesting.