Elsnet
 
   


ELSNET-list archive

Category:   E-CFP
Subject:   Formal Methods 2006: Call for Demos (Commercial and Research) and Posters
From:  
Email:   event_(on)_in.tu-clausthal.de
Date received:   21 Mar 2006
Deadline:   26 May 2006
Start date:   21 Aug 2006

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 ------------------------------------------------------------------------ _______________________________________________ Elsnet-list mailing list Elsnet-list_(on)_elsnet.org http://mailman.elsnet.org/mailman/listinfo/elsnet-list
 

[print/pda] [no frame] [navigation table] [navigation frame]     Page generated 14-02-2008 by Steven Krauwer Disclaimer / Contact ELSNET