W3C home > Mailing lists > Public > www-rdf-logic@w3.org > March 2006

Formal Methods 2006: Call for Demos (Commercial and Research) and Posters

From: <event@in.tu-clausthal.de>
Date: Mon, 20 Mar 2006 20:21:47 -0500
To: acl2@cs.utexas.edu, action-semantics@brics.dk, agents@cs.umbc.edu, algprog@comlab.ox.ac.uk, alp-request@nic.surfnet.nl, bforum@matrix.inrets.fr, caml-announce@inria.fr, caml-list@pauillac.inria.fr, categories@mta.ca, church-announce@types.bu.edu, cipher-cfp@ieee-security.org, clean-list@cs.kun.nl, clics@doc.ic.ac.uk, clp@comp.nus.edu.sg, concurrency@cwi.nl, coq-club@pauillac.inria.fr, csl@dbai.tuwien.ac.at, deduktion@intellektik.informatik.tu-darmstadt.de, dgp-project@comlab.ox.ac.uk, dss@cs.auc.dk, eacsl@dimi.uniud.it, easst-members-owner@informatik.uni-goettingen.de, ecoop-info@ecoop.org, erlang-questions@erlang.org, event@in.tu-clausthal.de, events@fmeurope.org, fmacademic@cas.mcmaster.ca, formal-methods@cs.uidaho.edu, formal-methods@cs.toronto.edu, fortia@fmeurope.org, generic-haskell@cs.uu.nl, grin@di.unipi.it, haskell@haskell.org, isabelle-users@cl.cam.ac.uk, kgs@logic.tuwien.ac.at, lotos-world@site.uottawa.ca, lprolog@cs.umn.edu, members@fmeurope.org, mercury-ads@cs.mu.oz.au, nuprllist@CS.Cornell.EDU, nvti-list@cwi.nl, oose@uni-paderborn.de, pept@yl.is.s.u-tokyo.ac.jp, petrinet@informatik.uni-hamburg.de, pl-seminar@ccs.neu.edu, plt-scheme@slow.flux.utah.edu, podc@acm.org, procos-request@jiscmail.ac.uk, prog-lang@diku.dk, progtools@comlab.ox.ac.uk, prolog-vendors@sics.se, puml-list@cs.york.ac.uk, pvs@csl.sri.com, relmics-l@McMaster.CA, rewriting@ens-lyon.fr, rrs-authors@zurich.csail.mit.edu, seworld@cs.colorado.edu, sicstus-users@sics.se, theorem-provers@ai.mit.edu, theory-logic@cs.cmu.edu, theorynt@listserv.nodak.edu, types-announce@lists.seas.upenn.edu, unification@sics.se, users@mozart-oz.org, zforum@prg.ox.ac.uk
Message-Id: <20060321012147.4E5244A933@qew.cs>
Cc:

For info on unsubscription, see the info at the bottom of this message.

We apologize for multiple copies you could receive.
------------------------------------------------------------------------


Appologies if you receive multiple copies of this announcement.
For information on commercial demos and exhibits, please read on.

---------------------------------


      Call for Posters & Research Tool Demonstrations
   14th International Formal Methods Symposium (FM'06)
           McMaster University, Hamilton, Canada
                  August 21-27, 2006
                http://fm06.mcmaster.ca


FM'06 is the fourteenth in a series of symposia organized by Formal
Methods Europe, an independent association whose aim is to stimulate
the use of, and research on, formal methods for software development.
The symposia have been notably successful in bringing together
innovators and practitioners in precise mathematical methods for
software development, industrial users as well as researchers.

Tools are central to the success of formal methods in practice.
Hence, tool demonstrations will have a prominent role in the
conference. Demonstrators will be expected to present their tools
during specially-designated time that will be scheduled into the
conference program.  Tool demonstrations should be accompanied
by a poster.  In addition, a collection of short papers (2-3
pages), for every accepted tool demonstration, will be published as a
technical report and available to conference attendees.  The authors
maintain copyright on their written tool description.

We solicit proposals for tool demonstrations related to automated
reasoning using formal methods.  Tools can range from alpha-versions
to fully developed products that are being prepared for
commercialization. Products that are currently being commercialized
will not be accepted as subjects of demonstrations (see call for
commercial exhibits and tool demonstrations). Research tool
demonstrations are not intended to be sales pitches, and should
consequently highlight technical contributions. For further
clarification, please contact the tool demonstrations chair.

Priority will be given to tools based on sound, rigorous research
results to support the automation of analysis and/or verification of
software or hardware systems.

We also solicit posters describing late-breaking results related to
the theme of the conference.  Like tool demonstrations, accepted
posters will be accompanied by a short paper published as a technical
report and available to conference attendees.  Poster presenters are
expected to be available during a specially-scheduled time during the
conference to present their work.


Review Process

The Posters & Demos Committee will review each submission using
the standard FM criteria: originality and importance of contribution,
soundness of rationale or demonstration, quality of written and
graphic presentation, and appropriate consideration of relevant
literature.

Equipment

Demonstrators are expected to provide their own equipment.

How to submit

Submissions of proposals for posters & tool demonstrations must:

For demos:
    * be no more than 3 pages in LNCS format, describing the
technology or approach, what is the research that has gone into the
tool, how it relates to other industrial or research efforts,
including references, and what are the expected benefits.

    * have an appendix (not included in the 3-page count) that
provides a detailed description of how the presentation would be
conducted (possibly illustrated with a number of snapshots),
information on tool availability and maturity, and the URL of a
web-page for the tool (if one exists).

For Posters:
    * be no more than 3 pages in LNCS format, describing the
approach, how it relates to other industrial or research efforts,
including references, and what are the expected benefits.

For Demos and Posters:
    * be sent to by email to Marsha Chechik (chechik at cs dot toronto dot edu)
by the Posters & Demos submission deadline.  Please begin the subject
line with "FM 2006 Demo" or "FM 2006 Poster".


Accepted Posters and Demonstrations

Accepted posters and demonstrations will be published as short papers
in a special technical report, available to conference attendees.
In addition, the authors should be available for answering questions
or demonstrating their tools at scheduled times during the conference.


Important Dates
Submission deadline:
	May 26, 2006.
Author notification:
	June 12, 2006.
Camera-ready papers:
	June 22, 2006.

Tool Demo & Poster Chair
Marsha Chechik
Department of Computer Science
University of Toronto
Toronto, Ontario Canada



--------------------------------------------------------------------



        Call for Commercial Exhibits and Tool Demonstrations
        14th International Formal Methods Symposium (FM'06)
              McMaster University, Hamilton, Canada
                      August 21-27, 2006
                    http://fm06.mcmaster.ca

FM'06 is the fourteenth in a series of symposia organized by Formal
Methods Europe, an independent association whose aim is to stimulate
the use of, and research on, formal methods for software development.
The symposia have been notably successful in bringing together
innovators and practitioners in precise mathematical methods for
software development, industrial users as well as researchers.
Attendance will include roughly 250 researchers and practitioners from
industry and academia.  This is the first time FM is held in North America.

Exhibition and commercial tool demonstration space is available and
will be accessible to attendees for the duration of the conference
(August 21-27, 2006.).  One-day attendance is also available.

For a nominal cost, the conference will provide space for a booth and
a demo, as well as an opportunity to present the tool at lunch time
during the Industry Day (August 23, 2006), and once as a parallel
track to the technical paper session.  Interested exhibitors should
contact Marsha Chechik (chechik at cs dot toronto dot edu) for payment details
and to request any special space or demonstration needs.

Important Dates

    Application due			May 26,  2006
    Full Payment Due			June 23, 2006



------------------------------------------------------------------------
This e-mail was delivered to you by event@in.tu-clausthal.de, what is a
moderated list ran by Computational Intelligence Group of Clausthal University of Technology, Germany. 
All event announcements sent through this list are also listed in our
conference planner at http://cig.in.tu-clausthal.de/index.php?id=planner.
 
In the case of any requests, questions, or comments, do not hesitate and 
contact event-owner@in.tu-clausthal.de ASAP. 

If you want to unsubscribe from this list, please visit http://www2.in.tu-clausthal.de/mailman/listinfo/event, or send an e-mail to event@owner.in.tu-clausthal.de.
 
******************************************************
* CIG does not take any responsibility for validity  * 
* of content of messages sent through this list.     * 
******************************************************

Computational Intelligence Group
Department of Computer Science
Clausthal University of Technology
Germany
http://cig.in.tu-clausthal.de/
Received on Wednesday, 22 March 2006 22:01:08 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:52:53 GMT