From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 30C647FB82 for ; Mon, 29 Feb 2016 18:04:54 +0100 (CET) IronPort-PHdr: 9a23:LFhWsR0daDFBYviQsmDT+DRfVm0co7zxezQtwd8ZsegSLfad9pjvdHbS+e9qxAeQG96LtLQa26GH6ujJYi8p39WoiDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6kO74TNaIBjjLw09fr2zQd6NyZrnnLHrs7ToICx2xxOFKYtoKxu3qQiD/uI3uqBFbpgL9x3Sv3FTcP5Xz247bXianhL7+9vitMU7q3cYvvM67M9GXu3GWOw2TLFcAHxmaDh0t4XFrx7GGDCG6nYTUi0tlQdEAQHD7VmuRZ79vyT68PF6xSWYNMv3ZbsvHzOyqa5gDgLr3nRUfwUl+X3a35QjxJlQpwis8kcnzg== Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=sadegh.soudjani@cs.ox.ac.uk; spf=None smtp.mailfrom=sadegh.soudjani@cs.ox.ac.uk; spf=None smtp.helo=postmaster@relay12.mail.ox.ac.uk Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of sadegh.soudjani@cs.ox.ac.uk) identity=pra; client-ip=129.67.1.163; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="sadegh.soudjani@cs.ox.ac.uk"; x-sender="sadegh.soudjani@cs.ox.ac.uk"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of sadegh.soudjani@cs.ox.ac.uk) identity=mailfrom; client-ip=129.67.1.163; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="sadegh.soudjani@cs.ox.ac.uk"; x-sender="sadegh.soudjani@cs.ox.ac.uk"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@relay12.mail.ox.ac.uk) identity=helo; client-ip=129.67.1.163; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="sadegh.soudjani@cs.ox.ac.uk"; x-sender="postmaster@relay12.mail.ox.ac.uk"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0A6AABjedRWlqMBQ4Fegm6BHmEMAQWnfpJnAQ2BZxcBCYI8gzYCKIEOOBQBAQEBAQEBARABAQEBCQsJCSEvgi2CDAoFHUsDAx0BKhZAJgEfhWqCLAEOoQuaNYNpCwEBAQEbhhKISQocLYIbCz0DGIEPBYYYCoE1hgyJKYFChBeICYFehESIUo5KHgEBgg5IHIE0a4cHAh4HFn4BAQU X-IPAS-Result: A0A6AABjedRWlqMBQ4Fegm6BHmEMAQWnfpJnAQ2BZxcBCYI8gzYCKIEOOBQBAQEBAQEBARABAQEBCQsJCSEvgi2CDAoFHUsDAx0BKhZAJgEfhWqCLAEOoQuaNYNpCwEBAQEbhhKISQocLYIbCz0DGIEPBYYYCoE1hgyJKYFChBeICYFehESIUo5KHgEBgg5IHIE0a4cHAh4HFn4BAQU X-IronPort-AV: E=Sophos;i="5.22,521,1449529200"; d="scan'208,217";a="205098418" Received: from relay12.mail.ox.ac.uk ([129.67.1.163]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES128-SHA; 29 Feb 2016 18:04:53 +0100 Received: from hub01.nexus.ox.ac.uk ([163.1.154.218] helo=HUB01.ad.oak.ox.ac.uk) by relay12.mail.ox.ac.uk with esmtp (Exim 4.80) (envelope-from ) id 1aaRF1-0000lv-d6; Mon, 29 Feb 2016 17:04:15 +0000 Received: from MBX02.ad.oak.ox.ac.uk ([169.254.2.149]) by HUB01.ad.oak.ox.ac.uk ([163.1.154.92]) with mapi id 14.03.0248.002; Mon, 29 Feb 2016 17:04:13 +0000 From: Sadegh Soudjani Thread-Topic: 1st International Workshop on Verification and Validation of Cyber-Physical Systems Thread-Index: AdFzEo0g4xNL+NIOTYmPsLmqwhNOFg== Date: Mon, 29 Feb 2016 17:04:12 +0000 Message-ID: <208DC5AD0450F54DBFCB58E9BC5E85BC493773@MBX02.ad.oak.ox.ac.uk> Accept-Language: en-US, en-GB Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [172.16.150.240] Content-Type: multipart/alternative; boundary="_000_208DC5AD0450F54DBFCB58E9BC5E85BC493773MBX02adoakoxacuk_" MIME-Version: 1.0 X-Validation-by: sadegh.soudjani@cs.ox.ac.uk Subject: [Caml-list] 1st International Workshop on Verification and Validation of Cyber-Physical Systems --_000_208DC5AD0450F54DBFCB58E9BC5E85BC493773MBX02adoakoxacuk_ Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable [Please forward to anyone interested. Apologies for multiple mailing.] Call For Submissions -------------------------------------------------------------------- 1st International Workshop on Verification and Validation of Cyber-Physical Systems co-located with iFM 2016, 1-4 June 2016, Reykjavik, Iceland http://www.cs.ox.ac.uk/conferences/VVCPS16/ -------------------------------------------------------------------- Workshop on Verification and Validation of Cyber-Physical Systems is target= ed at methods related to different aspects of cyber-physical systems with a= n 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. CPSs have applications in a wide-range of systems spanning robotics, transp= ortation, communication, infrastructure, energy, and manufacturing. Many sa= fety-critical systems such as chemical processes, medical devices, aircraft= flight control, and automotive systems, are indeed CPS. The advanced capab= ilities 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 migh= t be algorithmically verifiable regarding specific properties of such syste= ms, describing the partial/overall behaviors of CPSs. The ultimate goal is to bring together researchers and experts of the field= s of formal verification and CPS to cover the theme of this workshop, namel= y a wide spectrum of verification and validation methods including (but not= limited to) control, simulation, formal methods, etc. Topics of Interest: We welcome extended abstracts and paper submissions for presentation on top= ics relating to verification and validation of cyber-physical systems as de= scribed above. Typical, but not exclusive, topics include: -- Abstractions of CPS for formal verification -- Formal modelling and verification of hybrid systems -- Resource management and processor scheduling -- Power/Energy/Temperature-Aware modelling and verification of CPS -- Approaches towards non-classical formal control methods in CPSs -- Fault tolerance in CPSs -- Fault-injection and test of CPSs -- Resiliency in CPSs -- Dependability of CPSs -- Hardware/Software co-design in CPSs -- CPS and natural models of computation (such as quantum and biological) -- Semantics of CPSs Submission Guidelines: Authors are invited to submit their papers in EPTCS proceedings format. Ful= l papers should not exceed 15 pages. Short papers should not exceed 8 pages= . All contributions will be evaluated by at least three reviewers, chosen b= y the Program Committee. All accepted papers will be included in the worksh= op proceedings, which will be published as a volume of the EPTCS series. Pa= pers should be submitted via Easychair at: https://easychair.org/conferences/?conf=3Dv2cps16 Important Dates: Extended submission deadline: March 2, 2016 Notification of acceptance: April 15, 2016 Camera ready version: April 30, 2016 Conference iFM 2016: June 1-4, 2016 Workshop V2CPS 2016: June 4-5, 2016 Invited Speakers: -- Alessandro Abate (University of Oxford, UK) -- Sanjoy Baruah (University of North Carolina at Chapel Hill, USA) -- Jyotirmoy Deshmukh (Toyota Technical Center, USA) -- Georgios Fainekos (Arizona State University, USA) -- Sriram Sankaranarayanan (University of Colorado, Boulder, USA) Program Committee: -- Enrico Bini, Scuola Superiore Sant'Anna, IT -- Muffy Calder, University of Glasgow, UK -- Ali Ebnenasir, Michigan Technological University, USA -- Mohammad Reza Mousavi, Halmstad University, SE -- Ali Movaghar, Sharif University of Technology, IR -- Hessam Sarjoughian, Arizona State University, USA -- Krishna Shankarnarayanan, IIT Bombay, IN -- Joseph Sifakis, EPFL and CNRS, FR -- Oleg Sokolsky, University of Pennsylvania, USA -- Sadegh Soudjani, University of Oxford, UK -- Ramin Tavakoli Kolagari, Nuremberg Institute of Technology, DE -- Ufuk Topcu, University of Texas at Austin, USA -- Ebrahim Ardeshir-Larijani, Institute for Research in Fundamental Scie= nces (IPM), IR Organizing Committee: -- Sadegh Soudjani, University of Oxford, UK -- Ashutosh Trivedi, University of Colorado Boulder, USA (PC chair) -- Mehdi Kargahi, University of Tehran, IR (PC chair) -- Ebrahim Ardeshir-Larijani, Institute for Research in Fundamental Scien= ces (IPM), IR Please consult the webpage of the workshop for more information and the upd= ated list of PC http://www.cs.ox.ac.uk/conferences/VVCPS16/ --_000_208DC5AD0450F54DBFCB58E9BC5E85BC493773MBX02adoakoxacuk_ Content-Type: text/html; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable
[Please forward to anyone interested. Apologies for multipl= e mailing.]

Call For Submissions
-----------------------= ---------------------------------------------
1st International = Workshop on
V= erification and Validation of Cyber-Physical Systems
co-located with iFM 2016, 1-4 June 2016, Reykjavik, Iceland
http://www.cs.ox.ac.uk/conferences/VVCPS16/
-----------------------= ---------------------------------------------

Workshop on Verification and Validation of Cybe= r-Physical Systems is targeted at methods related to different aspects of c= yber-physical systems with an emphasis on non-functional properties initiated from the physical world. A cyber-ph= ysical system (CPS) is an integration of networked computational and physic= al processes with meaningful inter-effects; the former monitors, controls, = and affects the latter, while the latter also impacts the former.

CPSs have applications in a wide-range of systems spanning robotics, = transportation, communication, infrastructure, energy, and manufacturing. M= any safety-critical systems such as chemical processes, medical devices, aircraft flight control, and automotive system= s, are indeed CPS. The advanced capabilities of CPS require complex softwar= e and synthesis algorithms, which are hard to verify. In fact, many problem= s in this area are undecidable. Thus, a major step is to find particular abstractions of such systems whic= h might be algorithmically verifiable regarding specific properties of such= systems, describing the partial/overall behaviors of CPSs.

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.


Topics of Interest:

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:

  -- Abstractions of CPS for formal verification
  -- Formal modelling and verification of hybrid systems<= /div>
  -- Resource management and processor scheduling
  -- Power/Energy/Temperature-Aware  modelling and verifica= tion of CPS
  -- Approaches towards non-classical formal control methods in = CPSs
  -- Fault tolerance in CPSs
  -- Fault-injection and test of CPSs
  -- Resiliency in CPSs
  -- Dependability of CPSs
  -- Hardware/Software co-design in CPSs
  -- CPS and natural models of computation (such as quantum and = biological)
  -- Semantics of CPSs


Submission Guidelines:

Authors are invited to submit their papers in EPTCS proceedings forma= t. 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 publish= ed as a volume of the EPTCS series. Papers should be submitted via Easychai= r at:
https://easychair.org/c= onferences/?conf=3Dv2cps16

Important Dates:

  Extended submission deadline:  March 2, 2016<= /font>
  Notification of acceptance:       April 15, = 2016
  Camera ready version:           &n= bsp;April 30, 2016
  Conference iFM 2016:           &nb= sp; June 1-4, 2016
  Workshop V2CPS 2016:          June= 4-5, 2016 

Invited Speakers:

  -- Alessandro Abate (University of Oxford, UK)
  -- Sanjoy Baruah (University of North Carolina at Chapel Hill,= USA)
  -- Jyotirmoy Deshmukh (Toyota Technical Center, USA)
  -- Georgios Fainekos (Arizona State University, USA)
  -- Sriram Sankaranarayanan (University of Colorado, Boulder, U= SA)


Program Committee:

  -- Enrico Bini, Scuola Superiore Sant'Anna, IT
  -- Muffy Calder, University of Glasgow, UK
  -- Ali Ebnenasir, Michigan Technological University, USA
  -- Mohammad Reza Mousavi, Halmstad University, SE
  -- Ali Movaghar, Sharif University of Technology, IR
  -- Hessam Sarjoughian, Arizona State University, USA
  -- Krishna Shankarnarayanan, IIT Bombay, IN
  -- Joseph Sifakis, EPFL and CNRS, FR
  -- Oleg Sokolsky, University of Pennsylvania, USA
  -- Sadegh Soudjani, University of Oxford, UK
  -- Ramin Tavakoli Kolagari, Nuremberg Institute of Technology,= DE
  -- Ufuk Topcu, University of Texas at Austin, USA
   -- Ebrahim Ardeshir-Larijani, Institute for Research in Fundamental Sciences (IPM), IR


Organizing Committee:
  -- Sadegh Soudjani, University of Oxford, UK
  -- Ashutosh Trivedi, University of Colorado Boulder, USA (PC c= hair)
  -- Mehdi Kargahi, University of Tehran, IR (PC chai= r)
  -- Ebrahim Ardeshir-Larijani, Institute for Research in Fundam= ental Sciences (IPM), IR


Please consult the webpage of the workshop for more information and t= he updated list of PC
http://www.cs.ox.ac.uk/confere= nces/VVCPS16/
--_000_208DC5AD0450F54DBFCB58E9BC5E85BC493773MBX02adoakoxacuk_--