FACS FACTS Issue 2004-3
Call For Submissions
Deadline: 15 October 2004
FACS FACTS (ISSN 0950-1231) is the newsletter of the
Formal Aspects of Computing Science (FACS) Specialist
Group (http://www.bcs-facs.org). The July 2004 issue
(Issue 2004-2) of FACS FACTS is available for download
from:
http://www.bcs-facs.org/newslttr/facts200407.pdf
Back issues are available at:
http://www.bcs-facs.org/newsletter.html
Issue 2004-3 of FACS FACTS will be published in November
2004.
Submissions for this next issue are most welcome. Some
examples of possible submissions include:
. Letters to the Editor
. Conference reports
. Reports on funded projects and initiatives
. Calls for papers
. Workshop announcements
. Formal methods websites of interest
. Abstracts of PhD theses in the formal methods area
. Formal methods anecdotes
. Formal methods activities around the world
. Formal methods success stories
. News from formal methods-related organisations
. Experiences of using formal methods tools
. Novel applications of formal methods
. Technical articles
. Tutorials
. Book announcements
. Book reviews
. Adverts for upcoming conferences
. Job adverts
. Puzzles and light-hearted items
Please send these to the Newsletter Editor, Paul Boca
[[log in to unmask]], by 15 October.
Guest columnists and reporters are also required for
future issues - contact Paul Boca for further details.
Thank you.
Paul Boca
BCS-FACS Newsletter Editor
http://www.bcs-facs.org
|