[Prev][Next][Index][Thread]
Formal Underpinnings of Java
-
To: concurrency@cwi.nl, categories@mta.ca, logic@CS.Cornell.EDU, types@cs.indiana.edu, THEORYNT@LISTSERV.NODAK.EDU, PetriNets@daimi.aau.dk, amast@cs.utwente.nl, sea@sna.co.umits.ac.uk, java-genericity@galileo.EastSun.COM, debabi@avicenne.ift.ulaval.cs, EvaRose@ens-lyon-fr, posegga@tzd.telekom.de, qian@Informatik.Uni-Bremen.DF, formal-methods@cs.uidaho.edu, fsdm@cs.UQ.OZ.AU, info-hol@leopard.cs.byu.edu, isabelle-users@cl.cam.ac.uk, procos-list@comlab.ox.ac.uk, coq-club@pauillac.INRIA.FR, lics-owner@research.bell-labs.com, deduktion@intellektik.informatik.th-darmstadt.de
-
Subject: Formal Underpinnings of Java
-
From: Susan Eisenbach <se@doc.ic.ac.uk>
-
Date: Sun, 07 Jun 1998 19:14:36 +0100
-
CC: scd@doc.ic.ac.uk
-
Delivery-Date: Sun, 07 Jun 1998 13:18:03 -0500
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.