Final CFP: FoVeOOS 2011 (post-proceeding will be published on Springer LNCS)

Ferruccio Damiani damiani at di.unito.it
Di Jul 26 00:33:20 CEST 2011


======================================================================

*Springer agreed to publish the post-proceedings of FoVeOOS 2011 on LNCS*

Submission deadline of FoVeOOS 2011 is  approaching:
- August 3, 2011       Abstract submission deadline
- August 10, 2011    Paper submission deadline

CONTACT

Email: foveoos2011 at cost-ic0701.org
Web: http://foveoos2011.cost-ic0701.org

======================================================================

FoVeOOS 2011


2nd International Conference
on
Formal Verification of Object-Oriented Software


October 5-7, 2011, Turin, Italy


http://foveoos2011.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
  * Teaching formal verification


     IMPORTANT DATES


August 3, 2011      Abstract submission deadline
August 10, 2011     Paper submission deadline
September 7, 2011   Acceptance notification
September 21, 2011  Final version due
October 5-7, 2011   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


All submissions will be reviewed by peers, typically members of the
program committee.


Papers must be written in English and not exceed 18 pages in LNCS
format (http://www.springer.de/comp/lncs/authors.html). Submission of
papers is via EasyChair at
http://www.easychair.org/conferences/?conf=foveoos2011


     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. 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


Ferruccio Damiani, U of Torino, Italy
Dilian Gurov, KTH Stockholm, Sweden


     PROGRAMME COMMITTEE


Bernhard Beckert, Karlsruhe Institute of Technology, Germany
Frank S. de Boer, CWI, The Netherlands
Marcello Bonsangue,  U Leiden (LIACS), The Netherlands
Einar Broch Johnsen, U of Oslo, Norway
Gabriel Ciobanu, ICS, Romanian Academy, Iasi, 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
Bart Jacobs, Katholieke Universiteit Leuven, Belgium
Thomas Jensen, INRIA Rennes, France
Ioannis Kassios, ETH Zurich, Switzerland
Joe Kiniry, ITU Copenhagen, Denmark
Vladimir Klebanov, Karlsruhe Institute of Technology, Germany
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
Rosemary Monahan, NUI Maynooth, Ireland
Wojciech Mostowski, Radbound U Nijmegen, The Netherlands
James Noble, Victoria U of Wellington, New Zealand
Bjarte M. Ostvold, Norwegian Computing Center, Norway
Olaf Owe, U of Oslo, Norway
Matthew Parkinson, Cambridge U, UK
David Pichardie, IRISA, France
Frank Piessens, Katholieke U Leuven, Belgium
Ernesto Pimentel, 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
Wolfgang Reif, U of Augsburg, Germany
Rene Rydhof Hansen, U of Aalborg, Denmark
Ina Schaefer, Technical U od Braunschweig, Germany
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
Amiram Yehudai, U of Tel Aviv, Israel
Elena Zucca, U of Genova, Italy


     CONTACT


Email: foveoos2011 at cost-ic0701.org
Web: http://foveoos2011.cost-ic0701.org


-- 
Prof. Ferruccio Damiani
Dipartimento di Informatica      |Phone: (+39) 011 670 6719
Università degli Studi di Torino |Fax  : (+39) 011 75 16 03
C.so Svizzera 185                |Email: damiani at di.unito.it
I-10149 Torino, Italy            |URL  : http://www.di.unito.it/~damiani

-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL: <https://lists.tu-clausthal.de/cgi-bin/mailman/private/ifi-ci-event/attachments/20110726/ce7eeb58/attachment.html>


Mehr Informationen über die Mailingliste IFI-CI-Event