From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id DA8FE7FC21 for ; Sat, 14 Feb 2015 17:58:09 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of kais.klai@lipn.univ-paris13.fr) identity=pra; client-ip=194.254.163.35; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="kais.klai@lipn.univ-paris13.fr"; x-sender="kais.klai@lipn.univ-paris13.fr"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of kais.klai@lipn.univ-paris13.fr) identity=mailfrom; client-ip=194.254.163.35; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="kais.klai@lipn.univ-paris13.fr"; x-sender="kais.klai@lipn.univ-paris13.fr"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail.lipn.univ-paris13.fr) identity=helo; client-ip=194.254.163.35; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="kais.klai@lipn.univ-paris13.fr"; x-sender="postmaster@mail.lipn.univ-paris13.fr"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0DhAAB4fd9UlyOj/sJbgkOBFcMHAQmFcYEPQwEBAQEBARABAQEBAQgWB0KEMCwfPgIgB1QwC4gdCa0xpm2MSYEjgXwNgjgMQB2BFAWPFYN4hV+BGIMLiBSDR4MNglSBPW6BBCSBGwEBAQ X-IPAS-Result: A0DhAAB4fd9UlyOj/sJbgkOBFcMHAQmFcYEPQwEBAQEBARABAQEBAQgWB0KEMCwfPgIgB1QwC4gdCa0xpm2MSYEjgXwNgjgMQB2BFAWPFYN4hV+BGIMLiBSDR4MNglSBPW6BBCSBGwEBAQ X-IronPort-AV: E=Sophos;i="5.09,577,1418079600"; d="scan'208,217";a="121770802" Received: from mail.lipn.univ-paris13.fr ([194.254.163.35]) by mail2-smtp-roc.national.inria.fr with ESMTP; 14 Feb 2015 17:58:09 +0100 Received: from pc16.home (AMontsouris-651-1-175-27.w90-46.abo.wanadoo.fr [90.46.246.27]) (using TLSv1 with cipher ECDHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) (Authenticated sender: klai@lipn.univ-paris13.fr) by mail.lipn.univ-paris13.fr (Postfix) with ESMTPSA id B79D826139E for ; Sat, 14 Feb 2015 17:58:11 +0100 (CET) From: Kais Klai Content-Type: multipart/alternative; boundary="Apple-Mail=_7C1E438D-5022-4943-B431-24221FA2F0E8" Message-Id: Date: Sat, 14 Feb 2015 17:58:08 +0100 To: caml-list@inria.fr Mime-Version: 1.0 (Mac OS X Mail 7.3 \(1878.6\)) X-Mailer: Apple Mail (2.1878.6) X-Validation-by: kais.klai@lipn.univ-paris13.fr Subject: [Caml-list] (extended deadline): CFP-Formal Verification of Service Based Systems FVSBS 2015 @ IEEE WETICE - Larnaca, Cyprus --Apple-Mail=_7C1E438D-5022-4943-B431-24221FA2F0E8 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=windows-1252 (Please accept our apologies if you receive multiple copies of this CFP) =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Call for Papers Third International track on Formal Verification of Service Based Systems FVSBS 2015 Conference Track @ IEEE WETICE 2015 Date: June 15 - 17, 2015 Location: Larnaca - Cyprus more info at http://www-inf.it-sudparis.eu/WETICE/FVSBS/ and www.wetice.org =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D 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 tec= hnical advances of formal verification of software architecture and to addr= ess adaptation and reconfiguration issues. Different investigation topics a= re involved, such as: Service Oriented Architecture (SOA); Service Componen= t 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 arc= hitecture has become the default discipline in the modern software developm= ent. FVSBS=922015 will provide an opportunity for the community to exchange= ideas and to present emerging new papers reporting s ubstantive new work i= n various aspects of formal verification of service based systems. TOPICS=20 Service oriented architecture, SOA migration and governance checking Service-oriented and component-based software applications and architecture= s 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 dy= namic composition Model-Driven Engineering (MDE) and SOA Modeling and Meta-modeling and SOA based applications IMPORTANT DATES Paper Submission: February 13, 2015 February 28, 2015 Decision Notification: March 27, 2015 Camera-Ready Submission : April 10, 2015 TRACK CHAIRS Mohamed Graiet (ISIM, Monastir, Tunisia) Kais Klai (LIPN, Paris, France) PAPER 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).=20 Authors must upload their paper as PDF file using the EasyChair submission = system. PROGRAM COMMITTEE=20 Abedelhak-Djamel Seriai, LIRMM, Montplier University, France Adnene Guabtni, NICTA, Australia Antoine Beugnard, TELECOM Bretagne, France=20 Armin Haller, Australian National University, Australia=20 Chihab Hanachi, Toulouse 1 University, IRIT Laboratory, France=20 Claude Godart, University Henri Poincar=E9 Nancy 1 - LORIA, France=20 Christelle Urtado, LGI2P, Ecole des Mines d'Al=E8s, France=20 Eric Cariou, LIUPPA, Pau University, France=20 Eric Pardede, La Trobe University, Australia=20 Fran=E7ois Charoy, University Henri Poincar=E9 Nancy 1 - LORIA, France=20 Inge Lucassen, ITNO, The Netherlands=20 Jean-Claude Royer, Mines de Nantes =96 INRIA, France=20 J=F6rg Desel, University of mathematic and computer science of Hagen, Germa= ny=20 Jun Sun, ISTD, Singapore University of Technology and Design (SUTD), Singap= ore=20 Kais Klai, LIPN, Paris13 University, France=20 Khaled Gaaloul, CRP Henri Tudor, Luxembourg=20 Laure Petrucci, LIPN, Paris13 University, France=20 Lazhar Hamel, ISIMM, Mon astir University, Tunisia=20 Lionel Seinturier, University of Lille 1, France=20 Liu Yang, School of Computer Engineering, Nanyang Technological University,= Singapore=20 Maciej Zaremba, National University of Ireland, Galway, Ireland=20 Mohamed Graiet, ISIMM, Monastir University, Tunisia=20 Mohamed Tahar Bhiri, FSS, Sfax University, Tunisia=20 Mourad Chabane Oussalah, University of Nantes, France=20 Mourad Kmimech, ISIMa, Monastir University, Tunisia=20 Nguyen Ngoc Chan,TELECOM SudParis, France=20 Olivier Barais, IRISA, France=20 Pascal ANDRE, LINA, Nantes University, France=20 Philippe Aniort=E9, LIUPPA, Pau University, France=20 Raoudha Maraoui, ISG, Kairouan University, Tunisia=20 Regine LALEAU, LACL, Paris-Est Creteil University, France=20 Sami Bhiri, DERI, National University of Ireland, Irland=20 Sami Evangelista, LIPN, Paris13 Universit y, France=20 Samir Tata, Institut Telecom, Telecom SudParis, France=20 Tayssir Touili, LIPN, Paris13 University, France=20 Walid Gaaloul, Institut Telecom, Telecom SudParis, France=20 Yamine Ait Ameur, LISI, ENSMA, France Yves Ledru, LIG, Grenoble University, France=20 Zhangbing Zhou,University of Geosciences, China= --Apple-Mail=_7C1E438D-5022-4943-B431-24221FA2F0E8 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=windows-1252 (Please accept our apologies if you receive multiple copies of t= his CFP)

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D
Ca= ll for Papers
Thir= d International track on Formal Verification of Service Based Systems
=
FVSBS 2015
Conference Track @ IEEE WETICE= 2015
Date: June 1= 5 - 17, 2015
Locat= ion: Larnaca - Cyprus
more info at http://www-inf.it-sudparis.eu/WETICE/FVSBS/ a= nd www.wetice.org=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

The goal of this track is to bring together researchers and devel= opers from industry and the academic world to report on the latest scientif= ic and technical advances of formal verification of software architecture a= nd to address adaptation and reconfiguration issues. Different investigatio= n topics are involved, such as: Service Oriented Architecture (SOA); Servic= e Component Architecture (SCA); Business Process Management (BPM); Software= analysis and model checking, Software process and workflow; Software valid= ation and verification; Software testing and testing tools; Dynamic composi= tion.

From technology foundation perspective, formal verification of so= ftware architecture has become the default discipline in the modern softwar= e development. FVSBS=922015 will provide an opportunity for the community t= o exchange ideas and to present emerging new papers reporting s ubstantive = new work in various aspects of formal verification of service based systems= .



TOPICS 

=
Service oriented architecture, SOA migratio= n and governance checking
Service-orie= nted and component-based software applications and architectures modeling v= erification
SCA based software applica= tions checking
Formal Web services com= position checking
Formal Tools and tec= hnologies for Web Services development, deployment and management
Impact of formal methods on Web Services and SO= A and SCA base applications
Formal ver= ification of service and component based system approaches for dynamic comp= osition
Model-Driven Engineering (MDE)= and SOA
Modeling and Meta-modeling an= d SOA based applications

IMPOR= TANT DATES

Paper Submission: February 13, 2015 February 28, 2015
Decision Notification: March 27, 2015
Camera-Ready Submission : April 10, 2015

TRACK CHAIRS

Mohamed Graiet (ISIM, Monastir, Tunisia)
Kais Klai (LIPN, Paris, France)

PAPER SUBMISSION

Authors are invited to submit full paper= s (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 u= pload their paper as PDF file using the EasyChair submission s= ystem.

PROGRAM COMMITTEE 

Abedelhak-Djamel Seriai, LIRM= M, Montplier University, France
Adnene= Guabtni, NICTA, Australia
Antoine Beu= gnard, TELECOM Bretagne, France 
Armin Haller, Australian National= University, Australia 
Chihab Hanachi, Toulouse 1 Universit= y, IRIT Laboratory, France 
Claude Godart, University Henri = Poincar=E9 Nancy 1 - LORIA, France 
Christelle Urtado, LGI2P= , Ecole des Mines d'Al=E8s, France 
Eric Cariou, LIUPPA, Pau= University, France 
Eric Pardede, La Trobe University, Aust= ralia 
Fran=E7ois Charoy, University Henri Poincar=E9 Nancy = 1 - LORIA, France 
Inge Lucassen, ITNO, The Netherlands = ;
Jean-Claude Royer,  Mines de Nantes =96 INRIA, France = ;
J=F6rg Desel, University of mathematic and computer science of = Hagen, Germany 
Jun Sun, ISTD, Singapore University of Techn= ology and Design (SUTD), Singapore 
Kais Klai, LIPN, Paris13= University, France 
Khaled Gaaloul, CRP Henri Tudor, Luxemb= ourg 
Laure Petrucci, LIPN, Paris13 University, France =
Lazhar Hamel, ISIMM, Mon astir University, Tunisia 
Lionel Seinturier, University of Lille 1, France 
Liu Yan= g, School of Computer Engineering, Nanyang Technological University, Singap= ore 
Maciej Zaremba, National University of Ireland, Galway,= Ireland 
Mohamed Graiet, ISIMM, Monastir University, Tunisi= a 
Mohamed Tahar Bhiri, FSS, Sfax University, Tunisia <= /div>
Mourad Chabane Oussalah, University of Nantes, France 
=
Mourad Kmimech, ISIMa, Monastir University, Tunisia 
Ng= uyen Ngoc Chan,TELECOM SudParis, France 
Olivier Barais, IRI= SA, France 
Pascal ANDRE, LINA, Nantes University, France&nb= sp;
Philippe Aniort=E9, LIUPPA, Pau University, France 
Raoudha Maraoui, ISG, Kairouan University, Tunisia 
Re= gine LALEAU, LACL, Paris-Est Creteil University, France 
Sam= i Bhiri, DERI, National University of Ireland, Irland 
Sami = Evangelista, LIPN, Paris13 Universit y, France 
Samir Tata, = Institut Telecom, Telecom SudParis, France 
Tayssir Touili, = LIPN, Paris13 University, France 
Walid Gaaloul, Institut Te= lecom, Telecom SudParis, France 
Yamine Ait Ameur, LISI, ENS= MA, France
Yves Ledru, LIG, Grenoble University, France 
Zhangbing Zhou,University of Geosciences, China
= --Apple-Mail=_7C1E438D-5022-4943-B431-24221FA2F0E8--