FACS FACTS Newsletter Call for Contributions on Formal Aspects of Computing Science (deadline 11 February 2005)
From: Paul Boca (paul.boca_at_virgin.net)
Date: 12/30/04
- Previous message: Richard Harter: "Re: sets against folders in filesystems"
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Date: 30 Dec 2004 12:18:20 -0800
FACS FACTS Issue 2005-1
Call For Submissions
Deadline: 11 February 2005
FACS FACTS (ISSN 0950-1231) is the newsletter of the
Formal Aspects of Computing Science (FACS) Specialist
Group (http://www.bcs-facs.org). The November 2004
bumper issue (Issue 2004-3) of FACS FACTS is available
to download from:
http://www.bcs-facs.org/newsletter/facts200411.pdf
Back issues are available at:
http://www.bcs-facs.org/newsletter/facsfactsarchive.html
Issue 2005-1 of FACS FACTS will be published in March 2005.
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
[Paul.Boca@virgin.net], by 11 February 2005.
Guest columnists and reporters are also required for
future issues - contact Paul Boca for further details.
Thank you.
Happy News Year!
Paul Boca
BCS-FACS Newsletter Editor
- Previous message: Richard Harter: "Re: sets against folders in filesystems"
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Relevant Pages
|
