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                    |