[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Formal Underpinnings of Java (fwd)
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
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