[ecoop-info] CFP Track VFSBS at WETICE 2013 IEEE conference

[Kais Klai]

Apologies if you got multiple copies of this email.

*********************************************************************
     		FVSBS 2013: DEADLINE EXTENDED TO February 11, 2013
*********************************************************************

Dear colleague

*VFSBS 2013 (Formal Verification of Service Based Systems) is a track  
of the 22nd IEEE WETICE 2013 Conference* on Collaboration Technologies  
and Infrastructure.
WETICE 2013 will be held in*June 17-20, Hammamet, Tunisia*.  
Proceedings will be published by the IEEE CS Press.

Please consider the following CFP or forward this message to  
colleagues that might be interested.
You may also see the VFSBS 2013 site (http://www.isimm.rnu.tn/uploaded/file/Agance/Untitled-3.html 
) and the WETICE 2013 site (http://www.wetice2013.redcad.org/).

*Papers submission deadline is approaching: **February 1, 2013*

Best regards,
Kaïs Klai

*Call for Papers*
The goal of this track is to bring together researchers and developers  
from industry and the academic world to report on the latest  
scientific and technical advances of formal verification of software  
architecture and to address adaptation and reconfiguration issues.  
Different investigation topics are involved, such as: Service Oriented  
Architecture (SOA); Service Component Architecture (SCA); Business  
Process Management (BPM); Software analysis and model checking,  
Software process and workflow; Software validation and verification;  
Software testing and testing tools; Dynamic composition.

 From technology foundation perspective, formal verification of  
software architecture has become the default discipline in the modern  
software development. FVSBS’2013 will provide an opportunity for the  
community to exchange ideas and to present emerging new papers  
reporting substantive new work in various aspects of formal  
verification of service based systems.

Topics of Interest

    *Service oriented architecture, SOA migration and governance  
checking
    *Service-oriented and component-based software applications and
      architectures modeling verification
    *SCA based software applications checking
    *Formal Web services composition checking
    *Formal Tools and technologies for Web Services development,  
deployment and
      management
    *Impact of formal methods on Web Services and SOA and SCA base  
applications
    *Formal verification of service and component based system  
approaches for
     dynamic composition
    *Model-Driven Engineering (MDE) and SOA
    *Modeling and Meta-modeling and SOA based applications

Important Dates

    Paper Submission: February 1, 2013
    Notification: March 15, 2013
    Final Paper and registration: May 1, 2013

Track Chairs

    Kais Klai (LIPN, Paris, France)
    Mohamed Graiet (ISIM, Monastir, Tunisia)
    Walid Gaaloul (Telecom sudParis, Paris, France)

Papers Submission

Authors are invited to submit full papers (about 6 pages) or short  
papers (about 4 pages) of doismauble column text using single spaced  
10 point size on 8.5 x 11 inch pages, as per IEEE 8.5 x 11 manuscript  
guidelines (http://www.computer.org/portal/web/cscps/formatting).
Authors must upload their paper as PDF file using the EasyChair  
submission system.

If any problem arises when submitting your paper, please contact: mohamed.graiet at imag.fr 
; kais.klai at lipn.univ-paris13.fr

Program Committee

Abedelhak-Djamel Seriai, LIRMM, Montplier University, France
Adnene Guabtni, NICTA, Australia
Antoine Beugnard, TELECOM Bretagne, France
Armin Haller, Australian National University, Australia
Chihab Hanachi, Toulouse 1 University, IRIT Laboratory, France
Claude Godart, University Henri Poincaré Nancy 1 - LORIA, France
Christelle Urtado, LGI2P, Ecole des Mines d'Alès, France
Eric Cariou, LIUPPA, Pau University, France
Eric Pardede, La Trobe University, Australia
François Charoy, University Henri Poincaré Nancy 1 - LORIA, France
Hanen Ochi , LIPN, Paris13 University, France
Inge Lucassen, ITNO, The Netherlands
Jean-Claude Royer,  Mines de Nantes – INRIA, France
Jean-Pierre Giraudin, LIG, Grenoble University, France
Jörg Desel, University of mathematic and computer science of Hagen,  
Germany
Kais Klai, LIPN, Paris13 University, France
Karim Baïna, ENSIAS of Rab, Morrocco
Khaled Gaaloul, CRP Henri Tudor, Luxembourg
Laure Petrucci, LIPN, Paris13 University, France
Maciej Zaremba, National University of Ireland, Galway, Ireland
Mohamed Graiet, ISIMM, Monastir University, Tunisia
Mohamed Sellami, Institut Telecom, Telecom SudParis, France
Mohamed Tahar Bhiri, FSS, Sfax University, Tunisia
Mourad Chabane Oussalah, University of Nantes, France
Mourad Kmimech, ISIMa, Monastir University, Tunisia
Nguyen Ngoc Chan,TELECOM SudParis, France
Noureddine Belkhatir, LIG, Grenoble University, France
Olivier Barais, IRISA, France
Pascal ANDRE, LINA, Nantes University, France
Philippe Aniorté, LIUPPA, Pau University, France
Regine LALEAU, LACL, Paris-Est Creteil University, France
Sami Bhiri, DERI, National University of Ireland, Irland
Sami Evangelista, LIPN, Paris13 University, France
Samir Tata, Institut Telecom, Telecom SudParis, France
Walid Gaaloul, Institut Telecom, Telecom SudParis, France
Yamine Ait Ameur, LISI, ENSMA, France
Yves Ledru, LIG, Grenoble University, France
Zhangbing Zhou,University of Geosciences, China
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://web.satd.uma.es/pipermail/ecoop-info/attachments/20130130/5249a0a8/attachment.html