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: 01/30/05 

Date: 30 Jan 2005 07:05:28 -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.

Best wishes,

Paul Boca
BCS-FACS Newsletter Editor

http://www.bcs-facs.org

Relevant Pages