Frama-C-discuss mailing list archives
This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Frama-c-discuss] Call for Papers: International Conference on Formal Verification of Object-Oriented Software (FoVeOOS 2010)
- Subject: [Frama-c-discuss] Call for Papers: International Conference on Formal Verification of Object-Oriented Software (FoVeOOS 2010)
- From: Claude.Marche at inria.fr (Claude Marche)
- Date: Wed, 17 Mar 2010 16:13:14 +0100
Dear all, I forward to you the following conference announcement and call for papers. Although the topics are focused to object-oriented software, any experience report in particular regarding industrial case studies are sought, in particular using Frama-C. Please contact me if you want more details. - Claude FoVeOOS 2010 International Conference on Formal Verification of Object-Oriented Software June 28-30, 2010, Paris, France http://foveoos2010.cost-ic0701.org *CALL FOR PAPERS* SCOPE Formal software verification has outgrown the area of academic case studies, and industry is showing serious interest. The logical next goal is the verification of industrial software products. Most programming languages used in industrial practice (such as Java, C++, and C#) are object-oriented. The International Conference on Formal Verification of Object-Oriented Software (FoVeOOS) aims to foster collaboration and interactions among researchers in this area. ORGANIZATION The conference is organised by COST Action IC0701 (http://www.cost-ic0701.org/) but it goes beyond the framework of this action. This conference is open to the whole scientific community around the following topics, and also encourages people close to industrial applications to submit papers and participate. The Action may provide travel grants (see the web page for details). TOPICS Topics include but are not limited to: * Logic-based methods for formal - verification - specification and description - construction, - analysis and validation, of object-oriented software * Technologies such as - logics - calculi - type systems for the formal verification of object-oriented software * Modularisation and verification of components * Verification of - adaptable and reusable - concurrent - distributed object-oriented software * Tool descriptions * Experience reports * Case studies IMPORTANT DATES April 26, 2010 Abstract submission deadline May 3, 2010 Paper submission deadline May 31, 2010 Acceptance notification June 14, 2010 Final version due June 28-30, 2010 Conference SUBMISSIONS Submissions should describe previously unpublished work (completed or in progress). Contributions are invited in these categories: A Research papers (reporting original theoretical and/or experimental research or applications) B System descriptions C Experience reports, case studies D Position papers and brief reports on work in progress Papers must be written in English and (in all categories A-D) not exceed 15 pages in LNCS format (http://www.springer.de/comp/lncs/authors.html). All submissions will be reviewed by peers, typically members of the program committee. Submission of papers is via EasyChair at http://www.easychair.org/FoVeOOS2010/ PROCEEDINGS The conference will use a two-stage process for the publication of proceedings, allowing for a very brief period between submission of papers and the conference and, thus, a speedy dissemination of results. All accepted papers will appear in pre-proceedings published as a Technical Report that will be available at the conference. Post-conference proceedings will be published within Springer's LNCS series (final approval pending). For this second stage, papers will be selected as follows: first, authors of papers that were definitely accepted in the first stage will submit a new version with minor revisions only; second, authors of papers that were only conditionally accepted (typically position papers) will be able to submit a new version with major revisions, which will be reviewed again. BEST STUDENT PRESENTATION AWARD Based on the comments given by the reviewers in the first stage of reviewing, and the presentation at the conference, the programme committee will give a best student presentation award. Eligible papers are those whose presentation is given by a PhD student. PROGRAM CO-CHAIRS Bernhard Beckert, Karlsruhe Institute of Technology, Germany Claude Marche, INRIA Saclay-Ile-de-France, France PROGRAMME COMMITTEE Gilles Barthe, IMDEA Software, Madrid, Spain Bernhard Beckert, Karlsruhe Institute of Technology, Germany Einar Broch Johnsen, U of Oslo, Norway Gabriel Ciobanu, U Alexandru Ioan Cuza, Romania Mads Dam, KTH Stockholm, Sweden Ferruccio Damiani, U of Torino, Italy Sophia Drossopoulou, Imperial College, UK Paola Giannini, U Piemonte Orientale, Italy Dilian Gurov, KTH Stockholm, Sweden Reiner Haehnle, Chalmers U of Technology, Gothenburg, Sweden Marieke Huisman, U of Twente, The Netherlands Thomas Jensen, IRISA/CNRS, France Joe Kiniry, ITU Copenhagen, Denmark Viktor Kuncak, EPF Lausanne, Switzerland Dorel Lucanu, U Alexandru Ioan Cuza, Romania Maria del Mar Gallardo Melgarejo, U of Malaga, Spain Claude Marche, INRIA Saclay-Ile-de-France, France Julio Marino, U Politecnica de Madrid, Spain Marius Minea, Politehnica U of Timisoara, Romania Anders Moeller, U Aarhus, Denmark Peter Mueller, ETH Zurich, Switzerland James Noble, Victoria U of Wellington, New Zealand Bjarte M. Oestvold, Norwegian Computing Center, Norway Olaf Owe, U of Oslo, Norway Ernesto Pimentel Sanchez, U of Malaga, Spain Arnd Poetzsch-Heffter, U of Kaiserslautern, Germany Erik Poll, U of Nijmegen, The Netherlands Antonio Ravara, New University of Lisbon, Portugal Rene Rydhof Hansen, U of Aalborg, Denmark Peter H. Schmitt, Karlsruhe Institute of Technology, Germany Aleksy Schubert, U of Warsaw, Poland Gheorghe Stefanescu, U of Bucharest, Romania Bent Thomsen, U of Aalborg, Denmark Shmuel Tyszberowicz, U of Tel Aviv, Israel Tarmo Uustalu, Institute of Cybernetics, Tallinn, Estonia Burkhart Wolff, U Paris-Sud (Orsay), France Wolfgang Reif, U of Augsburg, Germany Elena Zucca, U of Genova, Italy CONTACT Email: foveoos2010 at cost-ic0701.org Web: http://foveoos2010.cost-ic0701.org -- Claude March? | tel: +33 1 72 92 59 69 INRIA Saclay - ?le-de-France | mobile: +33 6 33 14 57 93 Parc Orsay Universit? | fax: +33 1 74 85 42 29 4, rue Jacques Monod - B?timent N | http://www.lri.fr/~marche/ F-91893 ORSAY Cedex |