[Apologies if you receive multiple copies of this announcement]
FACS FACTS Issue 2005-4
Call For Submissions
Deadline: >>> 14 November 2005 <<<
FACS FACTS [ISSN 0950-1231] is the newsletter of the
Formal Aspects of Computing Science Specialist Group.
Issue 2005-3 of the newsletter has just been published
and is available to download from
http://www.bcs-facs.org/newsletter/facts200509.pdf
Submissions for the next issue of FACS FACTS, which
will be published in December, 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 organizations
• 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 >>> 14 November 2005 <<<.
Guest columnists and reporters are also required for
future issues - contact Paul Boca for further details.
Word, LaTeX or plain text formats are welcome.
Thank you.
Best wishes,
Paul Boca
BCS-FACS Secretary & Newsletter Editor
http://www.bcs-facs.org
|