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