Formal Underpinnings of Java (fwd)

[Adrian Lawrence <adrian.lawrence@xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx>]

This just appeared on another mailing list, in case it interests anyone.
Oopps? This should have gone to java-threads? Anyway ...

>Susan Eisenbach writes:

> Date: Sun, 07 Jun 1998 19:14:36 +0100
> From: Susan Eisenbach <se@xxxxxxxxxxxx>
> Subject: 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

Adrian
-- 
Adrian Lawrence.
adrian.lawrence@xxxxxxxxxxxxxx or adrian.lawrence@xxxxxxxxxxxxxxx
  MicroProcessor Unit        | Computing Laboratory,
  13, Banbury Road,          | Wolfson Building,
  Oxford. OX2 6NN.           | Parks Road, Oxford.
  UK.                        | OX1 3QD. UK.
Voice: (+44)-1865-273274,(+44)-1865-283526  Fax: (+44)-1865-273275