FACS FACTS Newsletter Call for Contributions on Formal Aspects of Computing Science (deadline 15 October 2004)

From: Paul Boca (paul.boca_at_virgin.net)
Date: 10/10/04

  • Next message: Alex Vinokur: "Fibonacci connection between Huffman codes and Wythoff array" 
    Date: 10 Oct 2004 06:47:17 -0700

    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

  • Next message: Alex Vinokur: "Fibonacci connection between Huffman codes and Wythoff array"

    Relevant Pages