Formal Underpinnings of Java

If you are doing formal work around the Java programming language, there will be a workshop at OOPSLA where you could exchange ideas with other researchers in the area. Details are available at http://www-dse.doc.ic.ac.uk/~sue/oopsla/cfp.html Apologies if you receive multiple copies of this call.