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