From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.6 required=5.0 tests=AWL,SPF_SOFTFAIL autolearn=disabled version=3.1.3 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 62BF2BBAF for ; Fri, 8 May 2009 08:58:11 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AhoCAJt0A0qeKvkVnGdsb2JhbACBUJVBAQEBAQEICwgJEbd5gT6CPwU X-IronPort-AV: E=Sophos;i="4.38,431,1233529200"; d="scan'208";a="28948312" Received: from marfik.cc.upv.es (HELO smtpsal.upv.es) ([158.42.249.21]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 08 May 2009 08:58:10 +0200 Received: from pop.upv.es (deneb.cc.upv.es [158.42.3.51]) by smtpsal.upv.es (8.13.6/8.13.6) with ESMTP id n486qM0G026718; Fri, 8 May 2009 08:52:22 +0200 Received: from smtp.upv.es (celaeno.cc.upv.es [158.42.249.55]) by pop.upv.es (8.11.3/8.11.3) with ESMTP id n486qLg18484;; Fri, 8 May 2009 08:52:21 +0200 (METDST) Received: from batman.dsic.upv.es (batman.dsic.upv.es [158.42.184.3]) by smtp.upv.es (8.13.6/8.13.6) with ESMTP id n486qEND017151; Fri, 8 May 2009 08:52:14 +0200 Received: from [158.42.187.7] (ambel.dsic.upv.es [158.42.187.7]) by batman.dsic.upv.es (Postfix) with ESMTP id 47C13177F7; Fri, 8 May 2009 08:52:14 +0200 (CEST) Message-ID: <4A03D69D.9090805@dsic.upv.es> Date: Fri, 08 May 2009 08:52:13 +0200 From: FMICS 2009 workshop chair User-Agent: Thunderbird 2.0.0.6 (X11/20070728) MIME-Version: 1.0 To: FMICS 2009 workshop chair Cc: ada-belgium-info@cs.kuleuven.ac.be, alp-request@nic.surfnet.nl, alp-diffusion@univ-lille1.fr, bforum@inrets.fr, bulletin@aisb.org.uk, calligramme@loria.fr, caml-list@inria.fr, categories@mta.ca, chi-Announcements@acm.org, clean-list@science.ru.nl, clp@comp.nus.edu.sg, cmcs@cs.indiana.edu, comlab@comlab.ox.ac.uk, compgeom-announce@lists-sop.inria.fr, complog@cs.nmsu.edu, compulognet-parimp@dia.fi.upm.es, concurrency@tue.nl, concurrency@cwi.nl, coq-club@pauillac.inria.fr, cphc-conf@jiscmail.ac.uk, curry@informatik.rwth-aachen.de, dbworld@cs.wisc.edu, distjisbd@lcc.uma.es, eapls@jiscmail.ac.uk, easst-members@cs.uni-potsdam.de, elan-users@loria.fr, etalle@cs.utwente.nl, events@fmeurope.org, fg214@informatik.uni-kiel.de, fmics@inrialpes.fr, FMxSOCandBPM@cs.unibo.it, focs@comlab.ox.ac.uk, gdr.gpl@imag.fr, generic-haskell@cs.uu.nl, gragra@i3.informatik.rwth-aachen.de, haskell@haskell.org, hise-safety-critical@minster.cs.york.ac.uk, infodesign@list.informationdesign.org, infodesign-cafe@list.informationdesign.org, int-artif-request@listserv.rediris.es, isabelle-users@cl.cam.ac.uk, ipa@tue.nl, isworld@lyris.isworld.org, Jcsd@dsi.uclm.es, julia@diku.dk, kgs@logic.tuwien.ac.at, lande@irisa.fr, lfcs-interest@dcs.ed.ac.uk, lics@research.bell-labs.com, list@prooftheory.org, lotos-world@site.uottawa.ca, lprolog@cs.umn.edu, m4m@science.uva.nl, maude-users@peepal.cs.uiuc.edu, maude-request@listserv.rediris.es, mercury-announce@cs.mu.oz.au, mercury-ads@cs.mu.oz.au, members@fmeurope.org, meta-devel@cwi.nl, MLton-user@mlton.org, moca-announce@list.it.uu.se, mozart-users@mozart-oz.org, mrg@itc.it, nvti-list@cwi.nl, oose@uni-paderborn.de, papm@inf.ed.ac.uk, pept@kb.ecei.tohoku.ac.jp, procos-request@jiscmail.ac.uk, prog-lang@diku.dk, prole@babel.ls.fi.upm.es, puml-list@cs.york.ac.uk, pvs@csl.sri.com, relmics-l@mcmaster.ca, resist@laas.fr, rewriting@ens-lyon.fr, safety-critical@cs.york.ac.uk, security@fosad.org, Sensoria@lists.tcs.ifi.lmu.de, seworld@cs.colorado.edu, siggen@ics.mq.edu.au, smlnet-users-request@jiscmail.ac.uk, softtech@cs.uu.nl, sonoteno@m.aist.go.jp, stratego@cs.uu.nl, theorem-provers@ai.mit.edu, theory-a@listserv.nodak.edu, theory@cl.cam.ac.uk, theorynt@listserv.nodak.edu, tocai@dis.uniroma1.it, tom-users@loria.fr, types-announce@lists.seas.upenn.edu, zucker@mcmaster.ca Subject: [FMICS 2009] Call for Posters Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Spam: no; 0.00; eindhoven:01 real-world:01 overviews:01 lncs:01 real-world:01 lncs:01 eindhoven:01 co-location:01 2009:98 2009:98 20,:98 cpa:98 cpa:98 abstract:01 thesis:01 FMICS 2009 - CALL FOR POSTERS Please visit: http://users.dsic.upv.es/workshops/fmics2009 ************************************************************ * 14th International Workshop on * * Formal Methods for Industrial Critical Systems * * FMICS 2009 * * * * November 2-3, 2009 * * Eindhoven, The Netherlands * ************************************************************ ** Attention Practitioners of Formal Methods: ** ** FMICS 2009 wants to Gain advantage of your Experience! ** FMICS 2009 is actively soliciting practitioners to present posters that describe how formal methods work---or fail to work---in real-world, industrial critical systems. * Poster contributions are sought in all areas of formal methods for industrial critical systems with a particular focus on practical experiences: - Tools for the development of formal design descriptions, code generation and testing with a focus on their industrial applicability (e.g., scalability and usability issues). - Formal techniques and tools to support automated analysis, certification, debugging, learning, optimization and transformation of complex, distributed, real-time systems and embedded systems. - Case studies and experience reports on industrial applications of formal methods, focusing on lessons learned or identification of new research directions. - Impact of the adoption of formal methods on the development process and associated costs. - Application of formal methods in standardization and industrial forums. - Applied research project overviews. - Speculative, late-breaking results. * Why should I present a Poster at FMICS 2009? The most obvious reason is to get your own work highly visible in a competitive forum. But it's also a chance to share your wisdom about formal methods with an appreciative audience. Evidence about the utility of formal methods is much more valuable when it has been carefully written up, formally reviewed and published in a citable proceedings. Poster descriptions will be published in the Springer series Lecture Notes in Computer Science (LNCS) volume for FMICS 2009. * Poster descriptions need to present a clear thesis and provide supporting evidence that might include: - insights gained from real-world projects using formal methods - comparison of formal methods with informal or semi-formal methods in the context of an industrial project - legal issues encountered when using formal methods in a real-world project - obstacles to commercialize SW Tools based on Formal Methods - real-world constraints that created special challenges for formal methods in general. * Attached to the poster, authors are invited to submit an extended abstract through the workshop paper submission web pages. Each accepted poster will have up to 2 pages in the LNCS proceedings, and a 10 minute slot for presentation in a plenary poster session. Authors of accepted posters will be expected to present them in person at Eindhoven. Posters will also be displayed during the workshop, and particularly before the poster session. * Submission deadline: June 5, 2009 Notification: June 20, 2009 Camera-ready version July 15, 2009 Workshop November 2-3, 2009 CO-LOCATION ----------- FMICS 2009 is part of the first Formal Methods Week (FMweek), which will bring together a choice of events in the area, including TESTCOM/FATES (Conference on Testing of Communicating Systems and Workshop on Formal Approaches to Testing of Software), FACS (Formal Aspects of Component Software), PDMC (Parallel and Distributed Methods of verifiCation), FM2009 (Symposium of Formal Methods Europe), CPA (Communicating Process Architectures), FAST (Formal Aspects of Security and Trust), FMCO (Formal Methods for Components and Objects), and the REFINE Workshop. For the latest information on FMweek, see http://www.win.tue.nl/fmweek. ************************************************************ * * * +============================================+ * * | | * * | ** FMweek ** | * * | | * * +============================================+ * * | CPA | FACS | FAST | * * +--------------------------------------------+ * * | FM2009 | FMCO | FMICS | * * +--------------------------------------------+ * * | PDMC | REFINE | TESTCOM/FATES | * * +--------------------------------------------+ * * | http://www.win.tue.nl/fmweek | * * +============================================+ * * * ************************************************************