Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!uunet!mcsun!ukc!mucs!ipse2pt5!cliff From: cliff@ipse2pt5.uucp (Cliff Jones) Newsgroups: comp.specification Subject: Journal: Formal Aspects of Computing Summary: Call for Papers Message-ID: <1094@m1.cs.man.ac.uk> Date: 16 Mar 90 11:01:38 GMT References: Sender: news@cs.man.ac.uk Reply-To: cliff@ipse2pt5.UUCP (Cliff Jones) Organization: University of Manchester, UK Lines: 20 This journal is one year old (I could type in the Contents of the first Volume in anyone is interested). We can still offer good submit/publication times and would welcome more papers on "formal methods" topics. One way to submit is to send 3 copies to: Dr. D. J. Cooke Department of Computer Studies, Loughborough University of Technology, Loughborough, Leicestershire, LE11 3TU UK But the best idea is to get a copy of the journal and choose the editor closest (scientifically) to your area. cliff jones