| Paul Boca 2004-10-10, 3:56 pm |
| FACS FACTS Issue 2004-3
Call For Submissions
Deadline: >>> 15 October 2004 <<<
Issue 2004-3 of FACS FACTS will be published in November
2004. Submissions for this 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
[Paul.Boca@virgin.net], by >>> 15 October <<< .
Guest columnists and reporters are also required for
future issues - please contact Paul Boca for further
details.
Thank you.
Paul Boca
BCS-FACS Newsletter Editor
http://www.bcs-facs.org
|