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=3.8 required=5.0 tests=NO_REAL_NAME,SPF_NEUTRAL, X_LIBRARY autolearn=disabled version=3.1.3 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 9AE0FBBAF for ; Mon, 20 Apr 2009 15:01:47 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AlwCAPcO7EnMshAxgWdsb2JhbACKN4MOAYgAeAEBFiKBALgjg3wG X-IronPort-AV: E=Sophos;i="4.40,217,1238968800"; d="scan'208";a="24863244" Received: from crufty.research.bell-labs.com ([204.178.16.49]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 20 Apr 2009 15:01:46 +0200 Received: from scummy.research.bell-labs.com (H-135-104-2-10.research.bell-labs.com [135.104.2.10]) by crufty.research.bell-labs.com (8.12.10/8.12.10) with ESMTP id n3KD1g01038236 for ; Mon, 20 Apr 2009 09:01:46 -0400 (EDT) Received: from zydeco.research.bell-labs.com (zydeco.research.bell-labs.com [135.104.120.150]) by scummy.research.bell-labs.com (8.12.9/8.12.9) with ESMTP id n3KD1a1D066608 for ; Mon, 20 Apr 2009 09:01:36 -0400 (EDT) Received: from DAMS-X200 (DAMS-X200.be.alcatel-lucent.com [172.31.133.79]) by zydeco.research.bell-labs.com (8.12.10/8.12.10) with ESMTP id n3KD1ZZV015120 for ; Mon, 20 Apr 2009 09:01:36 -0400 (EDT) Message-Id: <200904201301.n3KD1ZZV015120@zydeco.research.bell-labs.com> From: dennis@research.bell-labs.com Subject: [FM 2009] *****submission deadline May 4th***** To: caml-list@inria.fr Date: Mon, 20 Apr 2009 15:01:36 +0200 X-Priority: 3 X-Library: Indy 9.00.10 X-Spam: no; 0.00; eindhoven:01 lncs:01 lncs:01 barthe:01 bjorner:01 ralf:01 nils:01 knoop:01 tobias:01 nipkow:01 marjan:01 andrzej:01 2009:98 2009:98 spotlight:98 ********************************************************* * * * FM2009: 16th FM Symposium and 2nd World Congress * * Theory meets practice * * * * *** FINAL Call For Papers *** * * Deadline for submissions: 4 May * * * * October 30 - November 7, 2009 * * Eindhoven, the Netherlands * * http://www.win.tue.nl/fm2009 * * * ********************************************************* * * * ** NEWS ** * * * * >> FMWEEK INVITED SPEAKER: * * ____________Prof. E. Allen Emerson_____________ * * (Univ. of Texas, Austin) * * co-recipient of the * * _____________2007 ACM Turing Award_____________ * * * * >> Submission server now open: * * http://www.easychair.org/conferences/?conf=fm2009 * * * * >> Spotlight event: * * Authors of papers presented in the tools track * * will be invited to participate in the Tool * * Exhibition. A special spotlight session * * of the Exhibition will feature all these tools. * * * ********************************************************* FM2009 is the sixteenth in a series of symposia of the Formal Methods Europe association, and the second one that is organized as a world congress. Ten years after FM'99, the 1st World Congress, the formal methods communities from all over the world will once again have an opportunity to meet. FM 2009 will be both an opportunity to celebrate, and an opportunity to join in when enthusiastic researchers and practitioners from a diversity of backgrounds and schools come together to discuss their ideas and experiences. The Programme Committee of FM2009 comprises 82 members representing 46 countries. For the technical symposium, papers on every aspect of the *development and application of formal methods for the improvement of the current practice on system developments* are invited for submission. Of particular interest are papers on *tools* and *industrial applications* : there will be a special track devoted to these topics. Many have already joined the celebrations. Springer has offered a prize for the best paper; this award will include free electronic access to the Formal Aspects of Computing journal for one year, and a choice of Springer books up to a value of EUR 250.00. The authors of a selection of the accepted papers will be invited to submit extended versions of their papers to anniversary special issues of Formal Aspects of Computing or Formal Methods in Systems Design. Complete and up to date information can be found at http://www.win.tue.nl/fm2009/. There will be tutorials, workshops, a Doctoral Symposium, and a Tools Exhibition. FM2009 is also part of the 1st FMweek (Formal Methods week, http://www.win.tue.nl/fmweek/), which will bring together a variety of events in the area. SUBMISSION PROCEDURE ==================== The proceedings of FM2009 will be published as a volume in the Springer Lecture Notes in Computer Science. Submitted papers should not have been submitted elsewhere for publication, should be in Springer's LNCS format, as described on http://www.springer.com/lncs, and should not exceed 16 pages including appendices. Submission deadline 4 May, 2009 Notification of acceptance 6 July, 2009 Final version 10 August, 2009 Papers will be processed through the EasyChair conference management system. To submit your paper, please visit: http://www.easychair.org/conferences/?conf=fm2009 Authors who would like their papers to be included in the special track on tools and industrial applications should indicate either "tool" or "industrial application" as the first keyword. These papers will be judged on the same basis as all the others, but if accepted, they will be presented jointly in special sessions. INVITED SPEAKERS ================ Wan Fokkink, The Netherlands Carroll Morgan, Australia Colin O'Halloran, UK Sriram Rajamani, India Jeannette Wing, USA GENERAL CHAIR ============= Jos Baeten, The Netherlands PROGRAMME COMMITTEE =================== Ralph-Johan Back, Finland Jos Baeten, The Netherlands Sergey Baranov, Russia Gilles Barthe, Spain Rahma Ben-Ayed, Tunisia Mohamed Bettaz, Algeria Dines Bjorner, Denmark Michael Butler, UK Rodrigo Cardoso, Colombia Ana Cavalcanti, UK (Chair) Flavio Corradini, Italy Jorge Cuellar, Germany Dang Van Hung, Vietnam Dennis Dams, USA (Chair) Jim Davies, UK Susanna Donatelli, Italy Jin Song Dong, Singapore Cindy Eisner, Israel Lars-Henrik Eriksson, Sweden Juhan-P. Ernits, Estonia Jasmin Fisher, UK John Fitzgerald, UK Limor Fix, Israel Marc Frappier, Canada Marcelo Frias, Argentina Masahiro Fujita, Japan Marie-Claude Gaudel, France Stefania Gnesi, Italy Lindsay Groves, New Zealand Anthony Hall, UK Anne Haxthausen, Denmark Ian Hayes, Australia Matthew Hennessy, Republic of Ireland Ralf Huuck, Australia Predrag Janicic, Serbia Cliff Jones, UK Rajeev Joshi, USA Shmuel Katz, Israel Moonzoo Kim, Republic of Korea Nils Klarlund, USA Jens Knoop, Austria Bob Kurshan, USA Peter Gorm Larsen, Denmark Yves Ledru, France Insup Lee, USA Huimin Lin, China Zhiming Liu, Macao Nancy Lynch, USA Tom Maibaum, Canada Dino Mandrioli, Italy Sjouke Mauw, Luxembourg Annabelle McIver, Australia Dominique Mery, France Marius Minea, Romenia Peter Mueller, Switzerland Tobias Nipkow, Germany Manuel Nunez, Spain Jose Nuno Oliveira, Portugal Gordon Pace, Malta Paritosh Pandya, India Alberto Pardo, Uruguay Frantisek Plasil, Czech Republic Jaco van de Pol, The Netherlands Ingrid Rewitzky, South Africa Leila Ribeiro, Brazil Augusto Sampaio, Brazil Steve Schneider, UK Christel Seguin, France Emil Sekerinski, Canada Kaisa Sere, Finland Natalia Sidorova, The Netherlands Marjan Sirjani, Iran Ketil Stolen, Norway Andrzej Tarlecki, Poland Axel van Lamsweerde, Belgium Daniel Varro, Hungary Marcel Verhoef, The Netherlands Jurgen Vinju, The Netherlands Willem Visser, USA Farn Wang, Taiwan Jim Woodcock, UK Husnu Yenigun, Turkey FM 2009 is part of: ********************************************************* * * * +============================================+ * * | | * * | ** FMweek ** | * * | | * * +============================================+ * * | FMICS | FM2009 | REFINE | * * +--------------------------------------------+ * * | PDMC | TESTCOM/FATES | * * +--------------------------------------------+ * * | FACS | CPA | FAST | FMCO | * * +--------------------------------------------+ * * | http://www.win.tue.nl/fmweek | * * +============================================+ * * * *********************************************************