<div dir="ltr"><div style="font:13px/normal arial,sans-serif;text-align:center;color:rgb(80,0,80);text-transform:none;text-indent:0px;letter-spacing:normal;word-spacing:0px;white-space:normal;font-size-adjust:none;font-stretch:normal">

=================================================</div><div style="font:13px/normal arial,sans-serif;text-align:center;color:rgb(80,0,80);text-transform:none;text-indent:0px;letter-spacing:normal;word-spacing:0px;white-space:normal;font-size-adjust:none;font-stretch:normal">

Call for Papers</div><div style="font:13px/normal arial,sans-serif;text-align:center;color:rgb(80,0,80);text-transform:none;text-indent:0px;letter-spacing:normal;word-spacing:0px;white-space:normal;font-size-adjust:none;font-stretch:normal">

Second International track on Formal Verification of Service Based Systems</div><div style="font:13px/normal arial,sans-serif;text-align:center;color:rgb(80,0,80);text-transform:none;text-indent:0px;letter-spacing:normal;word-spacing:0px;white-space:normal;font-size-adjust:none;font-stretch:normal">

FVSBS 2014</div><div style="font:13px/normal arial,sans-serif;text-align:center;color:rgb(80,0,80);text-transform:none;text-indent:0px;letter-spacing:normal;word-spacing:0px;white-space:normal;font-size-adjust:none;font-stretch:normal">

Conference Track @ IEEE WETICE 2014</div><div style="font:13px/normal arial,sans-serif;text-align:center;color:rgb(80,0,80);text-transform:none;text-indent:0px;letter-spacing:normal;word-spacing:0px;white-space:normal;font-size-adjust:none;font-stretch:normal">

Date: June 23 - 25, 2014</div><div style="font:13px/normal arial,sans-serif;text-align:center;color:rgb(80,0,80);text-transform:none;text-indent:0px;letter-spacing:normal;word-spacing:0px;white-space:normal;font-size-adjust:none;font-stretch:normal">

Location: Parma - Italy</div><div style="font:13px/normal arial,sans-serif;text-align:center;color:rgb(80,0,80);text-transform:none;text-indent:0px;letter-spacing:normal;word-spacing:0px;white-space:normal;font-size-adjust:none;font-stretch:normal">

more info at <a style="color:rgb(17,85,204)" href="http://lipn.univ-paris13.fr/fvsbs/" target="_blank">http://lipn.univ-paris13.fr/fvsbs/</a> and <a style="color:rgb(17,85,204)" href="http://www.wetice.org/" target="_blank">www.wetice.org</a></div>

<div style="font:13px/normal arial,sans-serif;text-align:center;color:rgb(80,0,80);text-transform:none;text-indent:0px;letter-spacing:normal;word-spacing:0px;white-space:normal;font-size-adjust:none;font-stretch:normal">

=================================================</div><div style="font:13px/normal arial,sans-serif;color:rgb(80,0,80);text-transform:none;text-indent:0px;letter-spacing:normal;word-spacing:0px;white-space:normal;font-size-adjust:none;font-stretch:normal">

<p align="justify"><font face="arial, helvetica, sans-serif">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.</font></p>

<p align="justify"><font face="arial, helvetica, sans-serif">From technology foundation perspective, formal verification of software architecture has become the default discipline in the modern software development. FVSBS’2014 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.</font></p>

<p align="justify"><font face="arial, helvetica, sans-serif"><br></font></p><p align="justify"><font face="arial, helvetica, sans-serif">TOPICS </font></p><ul><li style="margin-left:15px"><font face="arial, helvetica, sans-serif">Service oriented architecture, SOA migration and governance checking<br>

</font></li><li style="margin-left:15px"><font face="arial, helvetica, sans-serif">Service-oriented and component-based software applications and architectures modeling verification<br></font></li><li style="margin-left:15px">

<font face="arial, helvetica, sans-serif">SCA based software applications checking<br></font></li><li style="margin-left:15px"><font face="arial, helvetica, sans-serif">Formal Web services composition checking<br></font></li>

<li style="margin-left:15px"><font face="arial, helvetica, sans-serif">Formal Tools and technologies for Web Services development, deployment and management<br></font></li><li style="margin-left:15px"><font face="arial, helvetica, sans-serif">Impact of formal methods on Web Services and SOA and SCA base applications<br>

</font></li><li style="margin-left:15px"><font face="arial, helvetica, sans-serif">Formal verification of service and component based system approaches for dynamic composition<br></font></li><li style="margin-left:15px">
<font face="arial, helvetica, sans-serif">Model-Driven Engineering (MDE) and SOA<br>
</font></li><li style="margin-left:15px"><font face="arial, helvetica, sans-serif">Modeling and Meta-modeling and SOA based applications</font><br></li></ul><font color="#000000" face="Verdana, Arial, Helvetica, sans-serif">IMPORTANT DATES</font></div>

<div style="font:13px/normal arial,sans-serif;color:rgb(80,0,80);text-transform:none;text-indent:0px;letter-spacing:normal;word-spacing:0px;white-space:normal;font-size-adjust:none;font-stretch:normal">
<ul><li style="margin-left:15px">Paper Submission: February 4, 2014<br></li><li style="margin-left:15px">Decision Notification: March 14, 2014<br></li><li style="margin-left:15px">Camera-Ready Submission : April 11, 2014<br>

</li></ul><font face="arial, sans-serif">TRACK CHAIRS</font></div><div style="font:13px/normal arial,sans-serif;color:rgb(80,0,80);text-transform:none;text-indent:0px;letter-spacing:normal;word-spacing:0px;white-space:normal;font-size-adjust:none;font-stretch:normal">

<ul><li style="margin-left:15px"><font face="arial, helvetica, sans-serif">Mohamed Graiet (ISIM, Monastir, Tunisia)</font></li><li style="margin-left:15px"><font face="arial, helvetica, sans-serif">Kais Klai (LIPN, Paris, France)</font></li>

<li style="margin-left:15px"><font face="arial, helvetica, sans-serif">Zied Jaoua (ISIM, Monastir, Tunisia)</font></li></ul><font color="#000000" face="arial, helvetica, sans-serif">PAPER SUBMISSION</font></div><div style="font:13px/normal arial,sans-serif;color:rgb(80,0,80);text-transform:none;text-indent:0px;letter-spacing:normal;word-spacing:0px;white-space:normal;font-size-adjust:none;font-stretch:normal">

<font color="#000000" face="arial, helvetica, sans-serif"><br></font></div><div style="font:13px/normal arial,sans-serif;color:rgb(80,0,80);text-transform:none;text-indent:0px;letter-spacing:normal;word-spacing:0px;white-space:normal;font-size-adjust:none;font-stretch:normal">

<font face="arial, helvetica, sans-serif">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 (<a style="color:rgb(17,85,204)" href="http://www.computer.org/portal/web/cscps/formatting" target="_blank">http://www.computer.org/portal/web/cscps/formatting</a>). <br>

Authors must upload their paper as PDF file using the <a style="color:rgb(17,85,204)" href="https://www.easychair.org/conferences/?conf=wetice2014" target="_blank">EasyChair submission system.</a></font><font color="#000000" face="arial, helvetica, sans-serif"><br>

</font></div><div style="font:13px/normal arial,sans-serif;color:rgb(80,0,80);text-transform:none;text-indent:0px;letter-spacing:normal;word-spacing:0px;white-space:normal;font-size-adjust:none;font-stretch:normal">
<br></div><div style="font:13px/normal arial,sans-serif;color:rgb(80,0,80);text-transform:none;text-indent:0px;letter-spacing:normal;word-spacing:0px;white-space:normal;font-size-adjust:none;font-stretch:normal">
PROGRAM COMMITTEE </div><div style="font:13px/normal arial,sans-serif;color:rgb(80,0,80);text-transform:none;text-indent:0px;letter-spacing:normal;word-spacing:0px;white-space:normal;font-size-adjust:none;font-stretch:normal">

<br></div><div style="font:13px/normal arial,sans-serif;color:rgb(80,0,80);text-transform:none;text-indent:0px;letter-spacing:normal;word-spacing:0px;white-space:normal;font-size-adjust:none;font-stretch:normal">
<font face="arial, helvetica, sans-serif">Abedelhak-Djamel Seriai, LIRMM, Montplier University, France<br>Adnene Guabtni, NICTA, Australia<br>Antoine Beugnard, TELECOM Bretagne, France <br>Armin Haller, Australian National University, Australia <br>

Chihab Hanachi, Toulouse 1 University, IRIT Laboratory, France <br>Claude Godart, University Henri Poincaré Nancy 1 - LORIA, France <br>Christelle Urtado, LGI2P, Ecole des Mines d&#39;Alès, France <br>Eric Cariou, LIUPPA, Pau University, France <br>

Eric Pardede, La Trobe University, Australia <br>François Charoy, University Henri Poincaré Nancy 1 - LORIA, France <br>Inge Lucassen, ITNO, The Netherlands <br>Jean-Claude Royer,  Mines de Nantes – INRIA, France <br>Jörg Desel, University of mathematic and computer science of Hagen, Germany<br>

Kais Klai, LIPN, Paris13 University, France <br>Khaled Gaaloul, CRP Henri Tudor, Luxembourg <br>Laure Petrucci, LIPN, Paris13 University, France <br>Maciej Zaremba, National University of Ireland, Galway, Ireland <br>Mohamed Graiet, ISIMM, Monastir University, Tunisia <br>

Mohamed Tahar Bhiri, FSS, Sfax University, Tunisia <br>Mourad Chabane Oussalah, University of Nantes, France <br>Mourad Kmimech, ISIMa, Monastir University, Tunisia <br>Nadia Bali, ISIMM, Monastir University, Tunisia <br>

Nguyen Ngoc Chan,TELECOM SudParis, France <br>Olivier Barais, IRISA, France <br>Pascal ANDRE, LINA, Nantes University, France <br>Philippe Aniorté, LIUPPA, Pau University, France <br>Regine LALEAU, LACL, Paris-Est Creteil University, France <br>

Sami Bhiri, DERI, National University of Ireland, Irland <br>Sami Evangelista, LIPN, Paris13 University, France <br>Samir Tata, Institut Telecom, Telecom SudParis, France <br>Walid Gaaloul, Institut Telecom, Telecom SudParis, France <br>

Yamine Ait Ameur, LISI, ENSMA, France<br>Yves Ledru, LIG, Grenoble University, France <br>Zhangbing Zhou,University of Geosciences, China <br>Zied Jaoua, ISIM, Monastir University, Tunisia</font></div></div>