<html><head><meta http-equiv="Content-Type" content="text/html charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div>VSC 2013: 1st Track on Validation of Safety critical Collaboration systems, </div><div>in 22nd IEEE WETICE International Conference - June 17-20, 2013 Hammamet - Tunisia </div><div><a href="http://www.cs.unict.it/~calvagna/VSC">http://www.cs.unict.it/~calvagna/VSC</a></div><div><br></div><div>Call For Papers</div><div>-----------------------------------------------------------------------------------</div><div>This conference track brings the opportunity for researchers and developers from industry and the academic world to report the state of the art and exchange ideas about the support that should be provided in order to enforce confidentiality, security and reliability on the next generation of software technologies enabling collaborations among people. Such a support will enhance the level of quality and of user trust on services involving collaboration with unknown remote parties. </div><div>Nowadays widespread use of small, smart devices, such as smart cards, phones, and tablets, connected by the ubiquitous public Internet network, enable us to easily access a vast range of useful services. Such devices allow people to perform every day activities that either play a role in a collaborative task or are actually supported by some real-time or asynchronous collaboration technology. </div><div>Example services are the trading of goods, remote writing or signing of digital documents, joining social networks or work groups, remotely locating someone or something, and even services improving our ability to observe/control the environment</div><div>around us. </div><div>In this context, applications that hold or exchange sensitive user data, like i.e. ATM cards storing security pin-codes, or healthcare applications using biometric data, need special protection against software failures or malicious behavior of downloaded code, that may expose the user to highly undesired consequences, such as threats to confidentiality and even financial or health danger. </div><div>This is even more true since the trend is indeed towards integration, that is, not to have many specialized access devices but a single, multi-purpose host handling many (or all) kinds of user services and its related data together, even though with limited computing resources, such as any small device hosting a Java or .Net run-time environment. </div><div>Moreover, inherent mobility and distribution of these small, open computing devices increases the complexity of the solutions to be adopted for handling secure and reliable execution of untrusted code, in order to ensure the data confidentiality strongly required by the applications. As a consequence, new and specially designed techniques can be devised and applied in order to reach the goal of increasing the trust on such a distributed computing environment to a level of strength matching with the high strength of the above safety critical requirements.</div><div><br></div><div>Submission is encouraged, but not limited, to the following topics:</div><div><span class="Apple-tab-span" style="white-space:pre"> </span>- Validation testing of safety critical collaborative technologies</div><div><span class="Apple-tab-span" style="white-space:pre"> </span>- Validation of concurrent technologies for collaboration</div><div><span class="Apple-tab-span" style="white-space:pre"> </span>- Validation of large-scale distributed collaborative applications</div><div><span class="Apple-tab-span" style="white-space:pre"> </span>- Software testing in multi-core collaborative environments </div><div><span class="Apple-tab-span" style="white-space:pre"> </span>- Risk-based approaches to software validation</div><div><span class="Apple-tab-span" style="white-space:pre"> </span>- Assessing security and robustness of collaborative applications</div><div><span class="Apple-tab-span" style="white-space:pre"> </span>- Verification techniques tailored to embedded software</div><div><span class="Apple-tab-span" style="white-space:pre"> </span>- Novel testing and validation algorithms for safety critical embedded software</div><div><span class="Apple-tab-span" style="white-space:pre"> </span>- Validation metrics for safety critical collaborative technologies</div><div><span class="Apple-tab-span" style="white-space:pre"> </span>- Dependability assessment techniques in collaborative environments</div><div><span class="Apple-tab-span" style="white-space:pre"> </span>- Model-based validation and testing techniques for security</div><div><span class="Apple-tab-span" style="white-space:pre"> </span>- Static and run-time techniques for byte-code level verification and validation</div><div><span class="Apple-tab-span" style="white-space:pre"> </span>- Analysis of threats and countermeasures to the security of collaboration devices</div><div><span class="Apple-tab-span" style="white-space:pre"> </span>- New software architectures for securing software on collaboration devices</div><div><span class="Apple-tab-span" style="white-space:pre"> </span>- Performance analysis of security-related features</div><div><span class="Apple-tab-span" style="white-space:pre"> </span>- Performance and QoS testing</div><div><span class="Apple-tab-span" style="white-space:pre"> </span>- Testing and analysis tools</div><div><br></div><div>The conference proceedings will be published by the IEEE Computer Society Press. Special Issues of several international journals have been programmed with submission open by invitation only to authors of high quality papers. </div><div><br></div><div><br></div><div>Deadline for paper submission:<span class="Apple-tab-span" style="white-space:pre"> </span>Feb 1, 2013<span class="Apple-tab-span" style="white-space:pre"> </span></div><div>Decision to paper authors:<span class="Apple-tab-span" style="white-space:pre"> </span>March 15, 2013<span class="Apple-tab-span" style="white-space:pre"> </span></div><div>Camera Ready of accepted papers:<span class="Apple-tab-span" style="white-space:pre"> </span>March 29, 2013</div><div>22th IEEE WETICE-2013 conference:<span class="Apple-tab-span" style="white-space:pre"> </span>June 17-20, 2013 </div><div> </div><div><br></div><div>Submission is now open at <a href="https://www.easychair.org/conferences/?conf=wetice2013">https://www.easychair.org/conferences/?conf=wetice2013</a> </div><div><br></div></body></html>