FACS FACTS Newsletter Call for Contributions on formal aspects of computing science (deadline 11 June 2004)

From: Prof Jonathan Bowen (jpbowen_at_btinternet.com)
Date: 05/22/04 

Date: 22 May 2004 03:45:24 -0700

FACS FACTS [ISSN 0950-1231] is the newsletter of the
Formal Aspects of Computing Science (FACS) specialist
group (http://www.bcs-facs.org). Recent issues of
FACS FACTS are available at:

        http://www.bcs-facs.org/newsletter.html

I would be very pleased to receive submissions for the
next issue, which is due out on 1 July. Some examples of
possible submissions include:

* Reports on formal-methods related conferences
* Status reports on funded projects
* Reviews of new books on formal methods
* Announcements of forthcoming books on formal methods
* News from other societies/groups
* Details of recent PhDs of interest to FACS members
* Calls for papers and workshop announcements
* Details of forthcoming events in the formal methods area

Please send these by 11 June to Paul Boca (Paul.Boca@virgin.net),
the Newsletter Editor.

Guest columnists and reporters are also required for future issues -
contact Paul Boca for further details.

Best wishes,

Paul Boca
BCS-FACS Newsletter Editor

http://www.bcs-facs.org