<div dir="ltr"><div class="gmail_default" style="font-family:tahoma,sans-serif;color:rgb(51,51,255)"><div class="gmail_default"><div class="gmail_default" style="font-size:12.8px"><span style="font-size:12.8px">Please forward this Call For Papers to interested researchers. I apologize in advance for multiple copies.</span></div><div class="gmail_default" style="font-size:12.8px"><br></div><div class="gmail_default" style="font-size:12.8px">Cheers,</div><div class="gmail_default" style="font-size:12.8px"><br></div><div class="gmail_default" style="font-size:12.8px">Sadegh Soudjani</div><div class="gmail_default" style="font-size:12.8px"><br></div><div class="gmail_default" style="font-size:12.8px"><br></div><div class="gmail_default" style="font-size:12.8px">========================Call for Papers==========================</div><div class="gmail_default" style="font-size:12.8px;text-align:center"><br></div><div class="gmail_default" style="font-size:12.8px"> V2CPS 2016</div><div class="gmail_default" style="font-size:12.8px"><br></div><div class="gmail_default" style="font-size:12.8px"> 1st International</div><div class="gmail_default" style="font-size:12.8px"> Workshop on Verification and Validation of Cyber-Physical Systems</div><div class="gmail_default" style="color:rgb(80,0,80);font-family:arial,sans-serif;font-size:12.8px"><font color="#3333ff" face="tahoma, sans-serif"> <a href="http://www.cs.ox.ac.uk/conferences/VVCPS16/" target="_blank">http://www.cs.ox.ac.uk/conferences/VVCPS16/</a></font><br></div><div class="gmail_default" style="color:rgb(80,0,80);font-family:arial,sans-serif;font-size:12.8px"><font color="#3333ff" face="tahoma, sans-serif"><br></font></div><div class="gmail_default" style="color:rgb(80,0,80);font-family:arial,sans-serif;font-size:12.8px"><font color="#3333ff" face="tahoma, sans-serif"> co-located with iFM 2016, 1-4 June 2016, Reykjavik, Iceland</font></div><div class="gmail_default" style="color:rgb(80,0,80);font-family:arial,sans-serif;font-size:12.8px"><span style="color:rgb(51,51,255);font-family:tahoma,sans-serif">=====================================</span><span style="color:rgb(51,51,255);font-family:tahoma,sans-serif">=======================</span><font color="#3333ff" face="tahoma, sans-serif"><br></font></div><div style="color:rgb(80,0,80);font-family:arial,sans-serif;font-size:12.8px"><div dir="ltr"><div style="font-size:12.8px"><div class="gmail_default" style="font-family:tahoma,sans-serif;color:rgb(51,51,255)"><br></div><div class="gmail_default" style="font-family:tahoma,sans-serif;color:rgb(51,51,255)">Important Dates:</div><div class="gmail_default" style="font-family:tahoma,sans-serif;color:rgb(51,51,255)"><br></div><div class="gmail_default" style="font-family:tahoma,sans-serif;color:rgb(51,51,255)">Submission deadline: February 15, 2016</div><div class="gmail_default" style="font-family:tahoma,sans-serif;color:rgb(51,51,255)">Notification of acceptance: March 14, 2016</div><div class="gmail_default" style="font-family:tahoma,sans-serif;color:rgb(51,51,255)">Camera ready version: March 28, 2016</div><div class="gmail_default" style="font-family:tahoma,sans-serif;color:rgb(51,51,255)">Conference iFM 2016: June 1-3,<span style="font-size:12.8px"> 2016</span></div><div class="gmail_default" style="font-family:tahoma,sans-serif;color:rgb(51,51,255)"><span style="font-size:12.8px">Workshop V2CPS 2016: June 4-5, 2016 </span></div><br></div><div style="font-size:12.8px"><br></div><div style="font-size:12.8px"><div class="gmail_default" style="font-family:tahoma,sans-serif;color:rgb(51,51,255)">Motivation</div><div class="gmail_default" style="font-family:tahoma,sans-serif;color:rgb(51,51,255)"><br></div></div><div style="font-size:12.8px"><div class="gmail_default" style="font-family:tahoma,sans-serif;color:rgb(51,51,255)"><span style="font-size:12.8px">Workshop on Verification and Validation of Cyber-Physical Systems is targeted at</span></div><div class="gmail_default" style="font-family:tahoma,sans-serif;color:rgb(51,51,255)"><span style="font-size:12.8px">methods related to different aspects of </span><span style="font-size:12.8px">cyber-physical systems with an emphasis on</span></div><div class="gmail_default" style="font-family:tahoma,sans-serif;color:rgb(51,51,255)"><span style="font-size:12.8px">non-functional properties initiated from the physical world.</span></div><div class="gmail_default" style="font-family:tahoma,sans-serif;color:rgb(51,51,255)"><span style="font-size:12.8px">A cyber-physical system (CPS) </span><span style="font-size:12.8px">is an integration of networked computational and</span></div><div class="gmail_default" style="font-family:tahoma,sans-serif;color:rgb(51,51,255)"><span style="font-size:12.8px">physical processes with meaningful </span><span style="font-size:12.8px">inter-effects; </span><span style="font-size:12.8px">the former monitors, controls,</span></div><div class="gmail_default" style="font-family:tahoma,sans-serif;color:rgb(51,51,255)"><span style="font-size:12.8px">and affects the latter, while the latter </span><span style="font-size:12.8px">also impacts the former.</span></div><div class="gmail_default" style="font-family:tahoma,sans-serif;color:rgb(51,51,255)"><span style="font-size:12.8px"><br></span></div><div class="gmail_default" style="font-family:tahoma,sans-serif;color:rgb(51,51,255)">CPSs have applications in a wide-range of systems spanning robotics,</div><div class="gmail_default" style="font-family:tahoma,sans-serif;color:rgb(51,51,255)">transportation, communication, infrastructure, energy, and manufacturing.</div><div class="gmail_default" style="font-family:tahoma,sans-serif;color:rgb(51,51,255)"><span style="font-size:12.8px">Many safety-critical systems such as chemical processes, medical devices,</span></div><div class="gmail_default" style="font-family:tahoma,sans-serif;color:rgb(51,51,255)"><span style="font-size:12.8px">aircraft flight control, and automotive systems, are indeed CPS.</span></div><div class="gmail_default" style="font-family:tahoma,sans-serif;color:rgb(51,51,255)"><span style="font-size:12.8px">The advanced capabilities of CPS require complex software and synthesis algorithms,</span></div><div class="gmail_default" style="font-family:tahoma,sans-serif;color:rgb(51,51,255)"><span style="font-size:12.8px">which are hard to verify. </span><span style="font-size:12.8px">In fact, many problems in this area are undecidable.</span></div><div class="gmail_default" style="font-family:tahoma,sans-serif;color:rgb(51,51,255)"><span style="font-size:12.8px">Thus, a major step is</span><span style="font-size:12.8px"> to find particular abstractions of such systems which might be</span></div><div class="gmail_default" style="font-family:tahoma,sans-serif;color:rgb(51,51,255)"><span style="font-size:12.8px">algorithmically verifiable regarding specific properties of such systems, </span><span style="font-size:12.8px">describing the</span></div><div class="gmail_default" style="font-family:tahoma,sans-serif;color:rgb(51,51,255)"><span style="font-size:12.8px">partial/overall behaviors of CPSs.</span></div><div class="gmail_default" style="font-family:tahoma,sans-serif;color:rgb(51,51,255)"><span style="font-size:12.8px"><br></span></div><div class="gmail_default" style="font-family:tahoma,sans-serif;color:rgb(51,51,255)">The ultimate goal is to bring together researchers and experts of the fields of formal</div><div class="gmail_default" style="font-family:tahoma,sans-serif;color:rgb(51,51,255)">verification <span style="font-size:12.8px">and CPS to cover the theme of this workshop, namely a wide spectrum of</span></div><div class="gmail_default" style="font-family:tahoma,sans-serif;color:rgb(51,51,255)"><span style="font-size:12.8px">verification and </span><span style="font-size:12.8px">validation methods </span><span style="font-size:12.8px">including (but not limited to) control, simulation,</span></div><div class="gmail_default" style="font-family:tahoma,sans-serif;color:rgb(51,51,255)"><span style="font-size:12.8px">formal methods, etc.</span></div><br></div><div style="font-size:12.8px"><div class="gmail_default" style="font-family:tahoma,sans-serif;color:rgb(51,51,255)"></div><br></div><div style="font-size:12.8px"><div class="gmail_default" style="font-family:tahoma,sans-serif;color:rgb(51,51,255)">Topics of Interest:</div><br></div><div><div class="gmail_default" style="font-size:12.8px;font-family:tahoma,sans-serif;color:rgb(51,51,255)"><span style="font-size:12.8px">We welcome extended abstracts and paper submissions for presentation on topics </span><span style="font-size:12.8px">relating to</span></div><div class="gmail_default" style="font-size:12.8px;font-family:tahoma,sans-serif;color:rgb(51,51,255)"><span style="font-size:12.8px">verification and validation of cyber-physical systems as described above.</span></div><div class="gmail_default" style="font-size:12.8px;font-family:tahoma,sans-serif;color:rgb(51,51,255)"><span style="font-size:12.8px">Typical, but not exclusive, topics include:</span><span style="font-size:12.8px"></span></div><div class="gmail_default" style="font-size:12.8px;font-family:tahoma,sans-serif;color:rgb(51,51,255)"><span style="font-size:12.8px"><br></span></div><div class="gmail_default"><div class="gmail_default" style="color:rgb(51,51,255);font-family:tahoma,sans-serif;font-size:12.8px">Abstractions of CPS for formal verification</div><div class="gmail_default" style="color:rgb(51,51,255);font-family:tahoma,sans-serif;font-size:12.8px"> -- Formal modelling and verification of hybrid systems</div><div class="gmail_default" style="color:rgb(51,51,255);font-family:tahoma,sans-serif;font-size:12.8px"> -- Resource management and processor scheduling</div><div class="gmail_default" style="color:rgb(51,51,255);font-family:tahoma,sans-serif;font-size:12.8px"> -- Power/Energy/Temperature-Aware modelling and verification of CPS</div><div class="gmail_default" style="color:rgb(51,51,255);font-family:tahoma,sans-serif;font-size:12.8px"> -- Approaches towards non-classical formal control methods in CPSs</div><div class="gmail_default" style="color:rgb(51,51,255);font-family:tahoma,sans-serif;font-size:12.8px"> -- Fault tolerance in CPSs</div><div class="gmail_default" style="color:rgb(51,51,255);font-family:tahoma,sans-serif;font-size:12.8px"> -- Fault-injection and test of CPSs</div><div class="gmail_default" style="color:rgb(51,51,255);font-family:tahoma,sans-serif;font-size:12.8px"> -- Resiliency in CPSs</div><div class="gmail_default" style="color:rgb(51,51,255);font-family:tahoma,sans-serif;font-size:12.8px"> -- Dependability of CPSs</div><div class="gmail_default" style="color:rgb(51,51,255);font-family:tahoma,sans-serif;font-size:12.8px"> -- Hardware/Software co-design in CPSs</div><div class="gmail_default" style="color:rgb(51,51,255);font-family:tahoma,sans-serif;font-size:12.8px"> -- CPS and natural models of computation (such as quantum and biological)</div><div class="gmail_default" style="color:rgb(51,51,255);font-family:tahoma,sans-serif;font-size:12.8px"> -- Semantics of CPSs</div><div class="gmail_default" style="color:rgb(51,51,255);font-family:tahoma,sans-serif;font-size:12.8px"><span style="font-size:12.8px"><br></span></div><div class="gmail_default" style="color:rgb(51,51,255);font-family:tahoma,sans-serif;font-size:12.8px"><span style="font-size:12.8px"><br></span></div><div class="gmail_default" style="color:rgb(51,51,255);font-family:tahoma,sans-serif;font-size:12.8px"><span style="font-size:12.8px">Submission Guidelines:</span><br></div><div class="gmail_default" style="color:rgb(51,51,255);font-family:tahoma,sans-serif;font-size:12.8px"><br></div><div class="gmail_default"><div class="gmail_default" style="color:rgb(51,51,255);font-family:tahoma,sans-serif;font-size:12.8px">Authors are invited to submit their papers in EPTCS proceedings format. <span style="font-size:12.8px">Full papers should not</span></div><div class="gmail_default" style="color:rgb(51,51,255);font-family:tahoma,sans-serif;font-size:12.8px"><span style="font-size:12.8px">exceed 15 pages. </span><span style="font-size:12.8px">Short papers should not exceed 8 pages. </span><span style="font-size:12.8px">All contributions will be evaluated by</span></div><div class="gmail_default" style="color:rgb(51,51,255);font-family:tahoma,sans-serif;font-size:12.8px"><span style="font-size:12.8px">at least three reviewers, </span><span style="font-size:12.8px">chosen by the Program Committee.</span><span style="font-size:12.8px"> All accepted papers will be included</span></div><div class="gmail_default" style="color:rgb(51,51,255);font-family:tahoma,sans-serif;font-size:12.8px"><span style="font-size:12.8px">in the </span><span style="font-size:12.8px">workshop proceedings, which will be published as a volume of </span><span style="font-size:12.8px">the EPTCS series. Papers</span></div><div class="gmail_default" style="color:rgb(51,51,255);font-family:tahoma,sans-serif;font-size:12.8px"><span style="font-size:12.8px">should be submitted via Easychair at:</span></div><div class="gmail_default"><font color="#3333ff" face="tahoma, sans-serif"><span style="font-size:12.8px"><a href="https://easychair.org/conferences/?conf=v2cps16" target="_blank">https://easychair.org/conferences/?conf=v2cps16</a></span></font><br></div><div class="gmail_default"><font color="#3333ff" face="tahoma, sans-serif"><br></font></div></div><div class="gmail_default" style="color:rgb(51,51,255);font-family:tahoma,sans-serif;font-size:12.8px"><br></div><div class="gmail_default"><font color="#3333ff" face="tahoma, sans-serif">Invited Speakers:</font><br></div></div><br></div><div><div class="gmail_default" style="font-family:tahoma,sans-serif;color:rgb(51,51,255)"> -- Sanjoy Baruah (University of North Carolina at Chapel Hill, USA)</div><div class="gmail_default" style="font-family:tahoma,sans-serif;color:rgb(51,51,255)"> -- Alessandro Abate (University of Oxford, UK)</div><div class="gmail_default" style="font-family:tahoma,sans-serif;color:rgb(51,51,255)"> -- Georgios Fainekos (Arizona State University, USA)</div><div class="gmail_default" style="font-family:tahoma,sans-serif;color:rgb(51,51,255)"> -- Sriram Sankaranarayanan (University of Colorado, Boulder, USA)</div><div class="gmail_default" style="font-family:tahoma,sans-serif;color:rgb(51,51,255)"> -- Jyotirmoy Deshmukh (Toyota Technical Center, USA)</div><br></div><div><div class="gmail_default" style="font-family:tahoma,sans-serif;color:rgb(51,51,255)">Program Committee:</div><div class="gmail_default" style="font-family:tahoma,sans-serif;color:rgb(51,51,255)"><br></div><div class="gmail_default"><span style="color:rgb(51,51,255);font-family:tahoma,sans-serif"> --</span><span style="color:rgb(51,51,255);font-family:tahoma,sans-serif"> </span><font color="#3333ff" face="tahoma, sans-serif">Ufuk Topcu, University of Texas at Austin, USA</font><br></div><div class="gmail_default"><font color="#3333ff" face="tahoma, sans-serif"><div class="gmail_default"> -- Rupak Majumdar, MPI-SWS, Kaiserslautern, DE</div></font><font color="#3333ff" face="tahoma, sans-serif"><div class="gmail_default"> -- Joseph Sifakis, EPFL and CNRS, FR</div></font><font color="#3333ff" face="tahoma, sans-serif"><div class="gmail_default"> -- Enrico Bini, Scuola Superiore Sant'Anna, IT</div></font><font color="#3333ff" face="tahoma, sans-serif"><div class="gmail_default"> -- Muffy Calder, University of Glasgow, UK</div></font><font color="#3333ff" face="tahoma, sans-serif"><div class="gmail_default"> -- Oleg Sokolsky, University of Pennsylvania, USA</div></font><font color="#3333ff" face="tahoma, sans-serif"><div class="gmail_default"> -- Mohammad Reza Mousavi, Halmstad University, SE</div></font><font color="#3333ff" face="tahoma, sans-serif"><div class="gmail_default"> -- Ramin Tavakoli Kolagari, Nuremberg Institute of Technology, DE</div></font><font color="#3333ff" face="tahoma, sans-serif"><div class="gmail_default"> -- Ali Ebnenasir, Michigan Technological University, USA</div></font><font color="#3333ff" face="tahoma, sans-serif"><div class="gmail_default"> -- Hessam Sarjoughian, Arizona State University, USA</div></font><font color="#3333ff" face="tahoma, sans-serif"><div class="gmail_default"> -- Sadegh Soudjani, University of Oxford, UK</div></font><font color="#3333ff" face="tahoma, sans-serif"><div class="gmail_default"> -- Ali Movaghar, Sharif University of Technology, IR</div></font><font color="#3333ff" face="tahoma, sans-serif"><div class="gmail_default"> -- Ebrahim Ardeshir-Larijani, Institute for Research in Fundamental Sciences (IPM), IR</div></font><font color="#3333ff" face="tahoma, sans-serif"><div class="gmail_default"> -- Krishna Shankarnarayanan, IIT Bombay, IN</div><div class="gmail_default"><br></div></font></div><div class="gmail_default" style="font-family:tahoma,sans-serif;color:rgb(51,51,255)">Organizing Committee:</div><div class="gmail_default" style="font-family:tahoma,sans-serif;color:rgb(51,51,255)"><br></div><div class="gmail_default" style="font-family:tahoma,sans-serif;color:rgb(51,51,255)"> -- Mehdi Kargahi, University of Tehran, IR (PC chair)</div><div class="gmail_default" style="font-family:tahoma,sans-serif;color:rgb(51,51,255)"> -- Ashutosh Trivedi, University of Colorado Boulder, USA (PC chair)</div><div class="gmail_default" style="font-family:tahoma,sans-serif;color:rgb(51,51,255)"> -- Sadegh Soudjani, University of Oxford, UK</div><div class="gmail_default" style="font-family:tahoma,sans-serif;color:rgb(51,51,255)"> -- Ebrahim Ardeshir-Larijani, Institute for Research in Fundamental Sciences (IPM), IR</div><br></div><div><br></div><div><div class="gmail_default" style="font-family:tahoma,sans-serif;color:rgb(51,51,255)">Please consult the webpage of the workshop for more information</div><div class="gmail_default" style="font-family:tahoma,sans-serif;color:rgb(51,51,255)"><span style="text-align:center;font-size:12.8px"></span><a href="http://www.cs.ox.ac.uk/conferences/VVCPS16/" target="_blank" style="text-align:center;font-size:12.8px">http://www.cs.ox.ac.uk/conferences/VVCPS16/</a><span style="text-align:center;font-size:12.8px"></span><span style="font-size:small"></span></div></div></div></div></div><div style="color:rgb(34,34,34);font-family:arial,sans-serif"><div dir="ltr"></div></div></div><div><div class="gmail_signature"><div dir="ltr"><div style="font-size:12.8px">--</div><div style="font-size:12.8px">Sadegh Soudjani, PhD</div></div></div></div>
</div>