<META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=iso-8859-1">
<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:x="urn:schemas-microsoft-com:office:excel" xmlns:p="urn:schemas-microsoft-com:office:powerpoint" xmlns:a="urn:schemas-microsoft-com:office:access" xmlns:dt="uuid:C2F41010-65B3-11d1-A29F-00AA00C14882" xmlns:s="uuid:BDC6E3F0-6DA3-11d1-A2A3-00AA00C14882" xmlns:rs="urn:schemas-microsoft-com:rowset" xmlns:z="#RowsetSchema" xmlns:b="urn:schemas-microsoft-com:office:publisher" xmlns:ss="urn:schemas-microsoft-com:office:spreadsheet" xmlns:c="urn:schemas-microsoft-com:office:component:spreadsheet" xmlns:odc="urn:schemas-microsoft-com:office:odc" xmlns:oa="urn:schemas-microsoft-com:office:activation" xmlns:html="http://www.w3.org/TR/REC-html40" xmlns:q="http://schemas.xmlsoap.org/soap/envelope/" xmlns:rtc="http://microsoft.com/officenet/conferencing" xmlns:D="DAV:" xmlns:Repl="http://schemas.microsoft.com/repl/" xmlns:mt="http://schemas.microsoft.com/sharepoint/soap/meetings/" xmlns:x2="http://schemas.microsoft.com/office/excel/2003/xml" xmlns:ppda="http://www.passport.com/NameSpace.xsd" xmlns:ois="http://schemas.microsoft.com/sharepoint/soap/ois/" xmlns:dir="http://schemas.microsoft.com/sharepoint/soap/directory/" xmlns:ds="http://www.w3.org/2000/09/xmldsig#" xmlns:dsp="http://schemas.microsoft.com/sharepoint/dsp" xmlns:udc="http://schemas.microsoft.com/data/udc" xmlns:xsd="http://www.w3.org/2001/XMLSchema" xmlns:sub="http://schemas.microsoft.com/sharepoint/soap/2002/1/alerts/" xmlns:ec="http://www.w3.org/2001/04/xmlenc#" xmlns:sp="http://schemas.microsoft.com/sharepoint/" xmlns:sps="http://schemas.microsoft.com/sharepoint/soap/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:udcs="http://schemas.microsoft.com/data/udc/soap" xmlns:udcxf="http://schemas.microsoft.com/data/udc/xmlfile" xmlns:udcp2p="http://schemas.microsoft.com/data/udc/parttopart" xmlns:wf="http://schemas.microsoft.com/sharepoint/soap/workflow/" xmlns:dsss="http://schemas.microsoft.com/office/2006/digsig-setup" xmlns:dssi="http://schemas.microsoft.com/office/2006/digsig" xmlns:mdssi="http://schemas.openxmlformats.org/package/2006/digital-signature" xmlns:mver="http://schemas.openxmlformats.org/markup-compatibility/2006" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns:mrels="http://schemas.openxmlformats.org/package/2006/relationships" xmlns:spwp="http://microsoft.com/sharepoint/webpartpages" xmlns:ex12t="http://schemas.microsoft.com/exchange/services/2006/types" xmlns:ex12m="http://schemas.microsoft.com/exchange/services/2006/messages" xmlns:pptsl="http://schemas.microsoft.com/sharepoint/soap/SlideLibrary/" xmlns:spsl="http://microsoft.com/webservices/SharePointPortalServer/PublishedLinksService" xmlns:Z="urn:schemas-microsoft-com:" xmlns:st="" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta name=Generator content="Microsoft Word 12 (filtered medium)">
<style>
<!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
@font-face
{font-family:Consolas;
panose-1:2 11 6 9 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0cm;
margin-bottom:.0001pt;
font-size:11.0pt;
font-family:"Calibri","sans-serif";}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:blue;
text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
{mso-style-priority:99;
color:purple;
text-decoration:underline;}
p.MsoPlainText, li.MsoPlainText, div.MsoPlainText
{mso-style-priority:99;
mso-style-link:"Plain Text Char";
margin:0cm;
margin-bottom:.0001pt;
font-size:10.5pt;
font-family:Consolas;}
span.PlainTextChar
{mso-style-name:"Plain Text Char";
mso-style-priority:99;
mso-style-link:"Plain Text";
font-family:Consolas;}
span.EmailStyle19
{mso-style-type:personal;
font-family:"Calibri","sans-serif";
color:windowtext;}
span.EmailStyle20
{mso-style-type:personal-reply;
font-family:"Calibri","sans-serif";
color:#1F497D;}
.MsoChpDefault
{mso-style-type:export-only;
font-size:10.0pt;}
@page Section1
{size:612.0pt 792.0pt;
margin:72.0pt 72.0pt 72.0pt 72.0pt;}
div.Section1
{page:Section1;}
-->
</style>
<!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]-->
</head>
<body lang=EN-GB link=blue vlink=purple>
<div class=Section1>
<p class=MsoPlainText style='margin-left:180.0pt;text-indent:36.0pt'>Call for
Papers<o:p></o:p></p>
<p class=MsoPlainText> <o:p></o:p></p>
<p class=MsoPlainText>ViDaS 2010 - First International Workshop on Validation
and Verification of Dynamic Software Systems<o:p></o:p></p>
<p class=MsoPlainText><span style='color:#1F497D'><o:p> </o:p></span></p>
<p class=MsoPlainText>NOTE: new dates for submission: submission deadline:
Friday 29 January 2010<o:p></o:p></p>
<p class=MsoPlainText><span style='font-size:11.0pt;font-family:"Calibri","sans-serif";
color:#1F497D'><o:p> </o:p></span></p>
<p class=MsoPlainText>For more info go to <a
href="http://freddy.cellcore.org/research/vidas/2010/">http://freddy.cellcore.org/research/vidas/2010/</a><o:p></o:p></p>
<p class=MsoPlainText><o:p> </o:p></p>
<p class=MsoPlainText>ViDaS 2010 will be in conjunction with Third International
Conference on Software Testing, Verification and Validation <a
href="http://vps.it-sudparis.eu/icst2010/">http://vps.it-sudparis.eu/icst2010/</a><o:p></o:p></p>
<p class=MsoPlainText>Paris, France, April 6-9, 2010<o:p></o:p></p>
<p class=MsoPlainText><o:p> </o:p></p>
<p class=MsoPlainText>Organization committee<o:p></o:p></p>
<p class=MsoPlainText> Freddy Munoz, INRIA, France, (main contact) (<a
href="mailto:freddy.munoz@inria.fr">freddy.munoz@inria.fr</a>) Nelly
Bencomo, Lancaster University, UK (<a href="mailto:nelly@acm.org">nelly@acm.org</a>)<o:p></o:p></p>
<p class=MsoPlainText><span lang=ES> Antonino Sabetta, ISTI-CNR, Italy (</span><a
href="mailto:antonino.sabetta@isti.cnr.it"><span lang=ES>antonino.sabetta@isti.cnr.it</span></a><span
lang=ES>) <o:p></o:p></span></p>
<p class=MsoPlainText><span lang=ES><o:p> </o:p></span></p>
<p class=MsoPlainText>IMPORTANT DATES:<o:p></o:p></p>
<p class=MsoPlainText>Submission deadline: Friday 29 January 2010 Authors
notification: Friday 26 February 2010 Workshop date: Tuesday 6 April 2010 (one
day workshop)<o:p></o:p></p>
<p class=MsoPlainText><o:p> </o:p></p>
<p class=MsoPlainText>Theme:<o:p></o:p></p>
<p class=MsoPlainText>Increasingly software systems are required to survive
fluctuations in their execution environment without or with only little human
intervention. These modern and complex systems cannot be shutdown to be changed
or updated and restarted again. Instead, these systems need to be
change-enabled to fluidly reconfigure and adapt to the ongoing circumstances
and to find the way to continue accomplishing their goals. Such systems, called
dynamic software systems (DSS), play vital roles in society's infrastructures.
The demand for DSS appears in application domains spanning business
applications (e.g., virtual organizations and dynamic service compositions),
entertainment, such as mobile interactive, and also safety critical systems,
such as crisis and disaster management applications, space exploration, and transportation
domains among others. Different international research initiatives and projects
have started creating awareness and producing initial results in the
development of technologies and platforms for such systems. Nevertheless, the
dynamic nature of these systems still poses challenging research questions
about how to guarantee their validity and correctness, especially in the case
of safety critical applications. For instance, are traditional Validation and
Verification (V&V) techniques usable in this new scenario? If so, how can
they be reused? Given the new circumstances, new V&V techniques must also
be explored. Such techniques should exploit the dynamic nature of DSS to
provide for instance, V&V at runtime. <o:p></o:p></p>
<p class=MsoPlainText><o:p> </o:p></p>
<p class=MsoPlainText>The goal of this workshop is to bring together
practitioners and researchers to identify and discuss the major research
questions that emerge when tackling the validation and verification of dynamic
software systems. Some of these questions are: <o:p></o:p></p>
<p class=MsoPlainText>How to ensure that the dynamic changes in the running
system are performed correctly? <o:p></o:p></p>
<p class=MsoPlainText>How to ensure that the changes in the system are correct?
<o:p></o:p></p>
<p class=MsoPlainText>(e.g. with respect to the requirements) How to ensure
that the reconfigurations yield a system whose functional and extra-functional
characteristics satisfy the requirements? <o:p></o:p></p>
<p class=MsoPlainText>How to ensure that the changes will be performed when
needed? <o:p></o:p></p>
<p class=MsoPlainText>Which of the existing V&V techniques can help dealing
with the V&V issues of dynamic software? How can these techniques be
applied in this context? <o:p></o:p></p>
<p class=MsoPlainText>What are the differences between V&V done during
design and runtime? How new V&V techniques performed at runtime challenge
or modify the assumptions of current techniques? <o:p></o:p></p>
<p class=MsoPlainText><o:p> </o:p></p>
<p class=MsoPlainText>Researchers and practitioners are invited to submit full
papers to the workshop, describing original research, experience or tools.
Papers submitted to this workshop should address a problem in the following
topics: <o:p></o:p></p>
<p class=MsoPlainText>Exploration of the diverse validation / verification
techniques for dynamic software systems V&V of ultra-large scale systems
and systems-of-systems V&V of reconfigurable systems V&V of the
reasoning engines behind the dynamic software changes Monitoring approaches to
V&V and QoS assurance QoS assurance Model driven techniques for V&V
(including <a href="mailto:models@run.time">models@run.time</a> to continuously
assess the changing system) V&V based on simulation Dynamic V&V of
self-managed software V&V of context-aware systems V&V of
service-oriented systems <o:p></o:p></p>
<p class=MsoPlainText><o:p> </o:p></p>
<p class=MsoPlainText>The workshop participants will be selected based on their
experience and ideas related to V&V of dynamic software system.
Contributions must be submitted before Friday 8 January 2010 and must not
exceed 10 pages in the two-column IEEE format. Submissions will be reviewed by
at least 3 members of the program committee and accepted papers will be
published as proceeding in the IEEE digital library.<o:p></o:p></p>
<p class=MsoPlainText><o:p> </o:p></p>
<p class=MsoPlainText>The CfP in PDF version is at <a
href="http://freddy.cellcore.org/research/vidas/2010/cfp.pdf">http://freddy.cellcore.org/research/vidas/2010/cfp.pdf</a><o:p></o:p></p>
<p class=MsoPlainText><o:p> </o:p></p>
<p class=MsoPlainText>Program committee<o:p></o:p></p>
<p class=MsoPlainText> Paul Ammann, George Mason University, USA
Antonia Bertolino, ISTI-CNR, Italy Rogerio de Lemos, University of
Coimbra, Portugal Gordon Fraser, Graz University of Technology,
Austria Sudipto Ghosh, Colorado State University, USA Holger Giese,
Postdam University, Germany William Heaven, Imperial College London,
UK Paola Inverardi, Università dellÀquila, Italy Valerie Issarny,
INRIA, France Raffaela Mirandola, Politecnico di Milano, Italy
Hausi Muller, University of Victoria, Canada Dorina C. Petriu, Carleton
University, Canada Alfonso Pierantonio, Università dellÀquila,
Italy Andrea Polini, University of Camerino, Italy Ralf Reussner,
Karslruhe University, Germany Fernando Schapachnik, Universidad de Buenos
Aires, Argentina François Taiani, Lancaster University, Uk Heiko
Koziolek, ABB, Germany Arnor Solberg, SINTEF, Norway<o:p></o:p></p>
<p class=MsoPlainText><o:p> </o:p></p>
<p class=MsoPlainText><o:p> </o:p></p>
<p class=MsoPlainText>_______________________________________________<o:p></o:p></p>
<p class=MsoPlainText>Comp-all mailing list<o:p></o:p></p>
<p class=MsoPlainText><a href="mailto:Comp-all@comp.lancs.ac.uk">Comp-all@comp.lancs.ac.uk</a><o:p></o:p></p>
<p class=MsoPlainText><a
href="http://mail.comp.lancs.ac.uk/mailman/listinfo/comp-all">http://mail.comp.lancs.ac.uk/mailman/listinfo/comp-all</a><o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'><i>Nelly<o:p></o:p></i></p>
<p class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'><br>
<span style='color:#262626'>Nelly Bencomo</span><o:p></o:p></p>
<p class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'>Senior
Research Associate<o:p></o:p></p>
<p class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'><span
style='color:#262626'>Computing Department, Lancaster University, UK</span><o:p></o:p></p>
<p class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'><span
style='color:#262626'>email: <a href="mailto:nelly@acm.org"
target="_blank">nelly@acm.org</a></span><o:p></o:p></p>
<p class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'><span
style='color:#262626'>website: <a
href="http://www.comp.lancs.ac.uk/computing/users/bencomo/" target="_blank"><span
style='color:#262626'>http://www.comp.lancs.ac.uk/computing/users/bencomo/</span></a></span><o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
</div>
</body>
</html>