caml-list - the Caml user's mailing list
 help / color / Atom feed
* [Caml-list] [CICM] Call for Participation - 2nd Workshop on Formal Verification of Physical Systems (FVPS 2019)
@ 2019-05-30 12:44 Umair Siddique
  0 siblings, 0 replies; only message in thread
From: Umair Siddique @ 2019-05-30 12:44 UTC (permalink / raw)
  To: caml-list

[-- Attachment #1: Type: text/plain, Size: 3274 bytes --]

=============================================================
Call for Participation
2nd Workshop on Formal Verification of Physical Systems (FVPS 2019)
                  Colocated with CICM 2019
                    July 8, 2019
              Prague, Czech Republic
https://www.cicm-conference.org/2019/cicm.php?event=fvps&menu=general
=============================================================

======
Theme
======

The objective of the workshop is to gather scientists and engineers
interested
in formal verification techniques for the modeling, analysis, and
verification
of safety and security critical physical systems. We encourage submissions
on
interdisciplinary approaches that bring together formal methods and
techniques
from other knowledge areas such as quantum computing, control theory,
biology,
optimization theory, and artificial intelligence.

==============
Topics of Interest
==============

Topics of interest include (but are not limited to):
General Topics
Formalization of mathematics and physics theories
Interactive and automated theorem proving for physical systems
Model Checking algorithms and tools for physical systems
Formalization of security and safety of physical systems
Runtime verification of safety and security properties
Combination of formal, semi-formal and informal approaches
Formal verification of numerical algorithms
Refinement based verification of physical systems
Formalization of probability, reliability and statistical metrics
Hybrid systems
Benchmarks for physical systems
Formal requirement specification and validation
Formal verification and International Standards (e.g., ISO 26262, IEC
61508, DO 178)
Formal verification for safety cases
Application Domain
Aerospace and avionics systems
Automotive cyber-physical systems
Robotics
Smart-grids
Smart transportation
Human factor modeling and analysis
Biological and healthcare systems

=========
Submission
=========

We welcome presentation and demonstration proposals in the form of extended
1-4
page abstracts formatted in LaTeX.  Abstracts should submitted through
EasyChair (https://easychair.org/conferences/?conf=fvps2019)
Abstracts of presentations and demonstrations will be published online.

More details about FVPS 2019 are available at

https://www.cicm-conference.org/2019/cicm.php?event=fvps&menu=general

Important Dates

   o Abstract submission: June 24, 2019

   o Notification:        July 01, 2019

   o Workshop:            July 8, 2019

Registration

Registration to CICM 2019 and the workshops is open at the CICM
website or directly at

https://www.cicm-conference.org/2019/cicm.php?event=&menu=registration

================
Program Committee
================

Aaron Dutle, NASA Langley Research Center, U.S.A.
Hubert Garavel, INRIA Grenoble, France
Osman Hasan, National University of Sciences and Technology, Pakistan
(Chair)
Atif Mashkoor, SCCH and JKU, Austria
Julien Narboux, University of Strasbourg, France
Peter Csaba Ölveczky, University of Oslo, Norway
Florian Rabe, FAU Erlangen-Nürnberg and LRI Paris, France
Sofiene Tahar, Concordia University, Canada (Chair)
Umair Siddique, Blackberry QNX Software Systems, Canada (Chair)

[-- Attachment #2: Type: text/html, Size: 4689 bytes --]

<div dir="ltr"><div dir="ltr"><div>============================================================= </div><div>Call for Participation</div><div>2nd Workshop on Formal Verification of Physical Systems (FVPS 2019) </div><div>                  Colocated with CICM 2019 </div><div>                    July 8, 2019 </div><div>              Prague, Czech Republic </div><div><a href="https://www.cicm-conference.org/2019/cicm.php?event=fvps&amp;menu=general">https://www.cicm-conference.org/2019/cicm.php?event=fvps&amp;menu=general</a> </div><div>============================================================= </div><div><br></div><div>====== </div><div>Theme </div><div>====== </div><div><br></div><div>The objective of the workshop is to gather scientists and engineers interested </div><div>in formal verification techniques for the modeling, analysis, and verification </div><div>of safety and security critical physical systems. We encourage submissions on </div><div>interdisciplinary approaches that bring together formal methods and techniques </div><div>from other knowledge areas such as quantum computing, control theory, biology, </div><div>optimization theory, and artificial intelligence. </div><div><br></div><div>============== </div><div>Topics of Interest </div><div>============== </div><div><br></div><div>Topics of interest include (but are not limited to): </div><div>General Topics </div><div>Formalization of mathematics and physics theories </div><div>Interactive and automated theorem proving for physical systems </div><div>Model Checking algorithms and tools for physical systems </div><div>Formalization of security and safety of physical systems </div><div>Runtime verification of safety and security properties </div><div>Combination of formal, semi-formal and informal approaches </div><div>Formal verification of numerical algorithms </div><div>Refinement based verification of physical systems </div><div>Formalization of probability, reliability and statistical metrics </div><div>Hybrid systems </div><div>Benchmarks for physical systems </div><div>Formal requirement specification and validation </div><div>Formal verification and International Standards (e.g., ISO 26262, IEC 61508, DO 178) </div><div>Formal verification for safety cases </div><div>Application Domain </div><div>Aerospace and avionics systems </div><div>Automotive cyber-physical systems </div><div>Robotics </div><div>Smart-grids </div><div>Smart transportation </div><div>Human factor modeling and analysis </div><div>Biological and healthcare systems </div><div><br></div><div>========= </div><div>Submission </div><div>========= </div><div><br></div><div>We welcome presentation and demonstration proposals in the form of extended 1-4</div><div>page abstracts formatted in LaTeX.  Abstracts should submitted through </div><div>EasyChair (<a href="https://easychair.org/conferences/?conf=fvps2019">https://easychair.org/conferences/?conf=fvps2019</a>)</div><div>Abstracts of presentations and demonstrations will be published online.</div><div><br></div><div>More details about FVPS 2019 are available at</div><div><br></div><div><a href="https://www.cicm-conference.org/2019/cicm.php?event=fvps&amp;menu=general">https://www.cicm-conference.org/2019/cicm.php?event=fvps&amp;menu=general</a></div><div><br></div><div>Important Dates</div><div><br></div><div>   o Abstract submission: June 24, 2019</div><div><br></div><div>   o Notification:        July 01, 2019</div><div><br></div><div>   o Workshop:            July 8, 2019</div><div><br></div><div>Registration</div><div><br></div><div>Registration to CICM 2019 and the workshops is open at the CICM</div><div>website or directly at</div><div><br></div><div><a href="https://www.cicm-conference.org/2019/cicm.php?event=&amp;menu=registration">https://www.cicm-conference.org/2019/cicm.php?event=&amp;menu=registration</a></div><div><br></div><div>================ </div><div>Program Committee </div><div>================ </div><div><br></div><div>Aaron Dutle, NASA Langley Research Center, U.S.A. </div><div>Hubert Garavel, INRIA Grenoble, France </div><div>Osman Hasan, National University of Sciences and Technology, Pakistan (Chair) </div><div>Atif Mashkoor, SCCH and JKU, Austria </div><div>Julien Narboux, University of Strasbourg, France </div><div>Peter Csaba Ölveczky, University of Oslo, Norway </div><div>Florian Rabe, FAU Erlangen-Nürnberg and LRI Paris, France </div><div>Sofiene Tahar, Concordia University, Canada (Chair) </div><div>Umair Siddique, Blackberry QNX Software Systems, Canada (Chair) </div></div></div>

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, back to index

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2019-05-30 12:44 [Caml-list] [CICM] Call for Participation - 2nd Workshop on Formal Verification of Physical Systems (FVPS 2019) Umair Siddique

caml-list - the Caml user's mailing list

Archives are clonable:
	git clone --mirror http://inbox.vuxu.org/caml-list
	git clone --mirror https://inbox.ocaml.org/caml-list

Example config snippet for mirrors

Newsgroup available over NNTP:
	nntp://inbox.vuxu.org/vuxu.archive.caml-list


AGPL code for this site: git clone https://public-inbox.org/public-inbox.git