Formal Underpinnings of Java (fwd)

From: Adrian Lawrence (adrian.lawrence_at_email.domain.hidden)
Date: 1998-06-08 20:03:56

• Next message: dyke: "Re: Formal Underpinnings of Java (fwd)"
• Previous message: SKALA: "WSCG conf.,Plzen(Prague,Czech)"
• Next in thread: dyke: "Re: Formal Underpinnings of Java (fwd)"
• Maybe reply: dyke: "Re: 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_at_doc.ic.ac.uk>
> 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_at_oucs.ox.ac.uk. or adrian.lawrence_at_comlab.ox.ac.uk
  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

• Next message: dyke: "Re: Formal Underpinnings of Java (fwd)"
• Previous message: SKALA: "WSCG conf.,Plzen(Prague,Czech)"
• Next in thread: dyke: "Re: Formal Underpinnings of Java (fwd)"
• Maybe reply: dyke: "Re: Formal Underpinnings of Java (fwd)"

Original text of this message