coq-club AT inria.fr
Subject: The Coq mailing list
List archive
[Coq-Club] [Second Call for Papers] Formal Verification of Physical Systems (FVPS-2024) Extended Deadline: June 16, 2024
Chronological Thread
- From: serge.autexier AT dfki.de (Serge Autexier)
- To: coq-club AT inria.fr
- Cc: serge.autexier AT dfki.de
- Subject: [Coq-Club] [Second Call for Papers] Formal Verification of Physical Systems (FVPS-2024) Extended Deadline: June 16, 2024
- Date: Wed, 12 Jun 2024 18:17:19 +0200 (CEST)
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=serge.autexier AT dfki.de; spf=Pass smtp.mailfrom=serge.autexier AT dfki.de; spf=None smtp.helo=postmaster AT lnv-91185.sb.dfki.de
- Ironport-data: A9a23:jJSjEaN1z9zWBS/vrR1Bk8FynXyQoLVcMsEvi/4bfWQNrUpw1TQCm jQXCD2ObKyDM2P3e9ojbYzi9kIO6pOBzdE3S3M5pCpnJ55ogZqcVI7Bdi8cHAvLc5adFBo/h yk6QoOdRCzhZiaE/n9BCpC48T8mk/vgqoPUUIbsIjp2SRJvVBAvgBdin/9RqoNziLBVOSvU0 T/Ji5OZYA/NNwJcaDpOt/rd8Uk35pwehRtB1rAATaAT1LPhvyJNZH4vDfnZB2f1RIBSAtm7S 47rpF1u1j6xE78FU7tJo56jGqE4aua60Tum1hK6b5Ofbi1q/UTe5EqU2M00Mi+7gx3R9zx4J U4kWZaYEW/FNYWU8AgRvoUx/4iT8sSq9ZeeSUVTv/B/wGWFdFvR+/t3VHs4GqYXx/1oHmdJ2 t8XfWVlghCr34pawZq/TPcp1516fJStJ4lZtn9jzHfVAJ7KQ7iaGPmMtIEehWZpwJkeQJ4yZ OJBAdZrRA/NeRJCfF4KFJ8uneqyrnXxcDwepF/9Sa8fszmOllQhjOiF3Nz9edKOXcsJoUGkj UHpuGvQLDAfBIWH8G/Qmp6rrrSSxH2mBdl6+KeD3vVtmRiYwnEZIAYHUEOy5/i/kE+3HdxFQ 3H44QIqq7Z3pRXyHoS7RBf+rHCHv1gQVrK8DtHW9inOzYrp2wiAXlIKaRVOVcc5q8kxah8lg wrhc8zSORRjt7icSHS4/7iSrC+vNSV9EYPkTXNYJefiy4W4yLzfni7yosBf/LmdovCdJN0d6 zSMsm1v3uxD0IgQ3eO381PGxT6hznQocuLXzlqPNo5GxlonDGJAW2BOwQSChRqnBNrAJmRtR FBex6CjABkmVPlhbhClTuQXB62O7P2YKjDailMHN8B+rmT0oCb9ItoIv2oWyKJV3iAsJGeBj Kj75Fo52XOvFCLyBUOKS9zvVppypUQePY+/DJg4keaikrAqKVbZoXw1DaJh933rkVYhi7o+J Z6WbY6gAG1SEq1u1j6/QesQyvcwzykkz3nOSJv4whLP7FZtTCP9dFvxC3PXNrpRxPrd8G39r Y0FX+PUkEo3bQELSnWLmWLlBQtQdilT6FGfg5A/S9Nv1SI8ST9wVKCLket+E2Gn9owM/tr1E riGchcw4DLCabfvc21ms1gyNu29boU1tn8hIy0nMHCh3nVpM87l774Se9FzNfMr/fBqh6w8B fQUWdSyMtIWQBT++hMZccbcqq5mf0+Vng6gBXeuTwU+WJ9CfDb33OHYUDHhzwQ0NRrvh/AC+ +Wh8ij5Xas8Qx9TCZeKSfC3kHK0k3svuMNzeErqIetWZF3I9bJuCi3uj80YJ9MHBgXDywC7i SeXI0Y8jsvcr7Al9OLmgfi/kL6oNO9lD2xmH2X/xpSnBxnwp2aM79dJb7eVQGr7SmjxxpSHW cxU6PPNaNs8g1dAtttHIYZBlK4RyYPmmO5H815CAn7OUlWMD4FgKFmg2e1klPVE5p1diDuMd nO/wPtoEpTXB5q9C38UHhQvUcqb3/JNmjXy0+U8EH+n2ABJpoi4QWdgFDjSrhdCLYlFEpIvm sYgn8801zaRqDQXNvS+syQF0FjUc1IhVf08u4A4Eb3brFMh6mt/bKz2Dg7055CyaOtwDHQ6H w/MhIT+quRd4mHgb0sMEWP82LsBpJYW5zFP4lwwB3WIvdvnnfUx7QF2zRknaSho0x4d8v9BF VpxPnYoJpe13ixJgfJbVDuGADBxBxy++23wxWAWlWbfcVKaa2zVIEA5OseP5Eo84UsGWhR6p Za2kH3EVxTud+HPhhoCY1Zv8aHffIYg5z/8l9CCNOXbOZsDOB7OoLKkPEgMoDvZWfIBvlXN/ 7RWzbwheJ/AFHAipoMgANOnzpUWchePIVJCTdxH/K8kGWL9eim46QORKnKeK998GPjXzXCWU 8BeBNpDdxCb5ha8qjo2Aa0tIbgtuNUL4NEEWK3gJE9Ykr+5gwdqjqnt9XnFtDd2e+ltrMczE ZOOVjSgFmfLu2BYtVWQp+Z5O025Q+I+WivC4M6P/t80Sq0z6NNXTRlq05+fnWmkDw98zhfF4 CLBf/D3ysJh+6RNnqztMKZxAhmsDdbJUMWJ7wGBnNBcZvzfMcr1ll00q3u2Gy90LLcuS9BMu rDVi+HO3WTBp6cQb2DVv7KjBpt5z5y+c8QPO/2mMUQAuzWJXfHdxicq+ke6GMRvq8xc7Mz2f DmIQpK8WvBNUugM2UAPTTZVFiscLKHFbq3AgyeZhNbUAzg/1T33Fv+WxUXLX0p6KBBRY4bfD zXqscmA/tpb9YRAJCEVDsFcXqNXHgXRZrsERfbQ6x+jEWiasnGTsODDlD0hyw3xJFuqLcLY2 a/BFz/CLEmcmaeRwN9g5tk4+lVdCXtmmuA/c34M49M82XjwEGcCKv9bKpkcTI1dlivpzpzje TXRdy0YBD7gWShfOwDJiDg5stxz2sRVUjs4GtAow69QQyOwGsbRWeIxq2F76TF6dDjiiu2qQ T3bFrscITDpqqyFh85KjhB4vQuj7v/UxXNO9U2VfwnaHUMFGbtTvJB+NFMlaMEEev0hUG3HK 2s0A2xJKK1+pYgdDu44E0No9NolUP8DAtnmgepjADoShmlD8NB99Q==
- Ironport-hdrordr: A9a23:5m01oqDPyFapgQ/lHemx55DYdb4zR+YMi2TDGXoBKyC9E/bo9P xG885rsSMc5AxhP03I5+rwXZVoKEm0nfUZjeZ+AV7IZmnbUQWTTb2KMrGJ/wHd
- Ironport-phdr: A9a23:9/iQRBOrqy3UhMNczl8l6nbFBxdPi9zP1u491JMrhvp0f7i5+Ny6Z QqDv6Qr1waVFtSGo9t/yMPo8InYGlY8qa6bt34DdJEeHzQksu4x2zIaPcieFEfgJ+TrZSFpV O5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1Ov71GonPhMiryuy+4ZLebxtMiTanb75+M Rq7oQrVu8QWnIBvNrs/xhzVr3RHfOhb2XlmKVWPkRji+8y+5oRj8yNeu/Ig885PT6D3dLkmQ LJbETorLXk76NXkuhffQwSP4GAcUngNnRpTHwfF9hD6UYzvvSb8q+FwxTOVPczyTbAzRDSi8 6JmQwLmhSsbKzI09nzch8pth6xZvR2hvQRyzZDJbo6JKvdwfa3Tc9MBSGpdQspdSzBNDp+gY 4YNCecKIOZWr5P6p1sLtRa+HhejBPngyjBWnHP5x7A60/g/HgDJ3QwvAcgOvW/Jo9X7N6cSU Pq5w7TWwj7ea/9YxCny6JLHch8/vPqBQa9wcdbPxkggFgPKkE+QpYnjMjiI2esDr3KV4PB8V eKzlWEnsQdxryChy8ovloTEm58Zxk3Y+Sh6wIg5O961RU11bNO4E5ZduSGXOpV4TM4mR2xlv Do2x7wbtZC7cyUH1ZUqyhHCZvKJdYWD/xztVOGUIThihXJlfqqyiAqz8Ue8z+3wT9W70FFMr ipLjNbMrG4C1xrP5ceZUPd9+V2h2TmX2w/P9O5EPFo0mbPVKp462LIwkYATsUvbEiDogkr2l 6+XeVkk+uey6uTneK/qppiGN497kg3xLr4hmsmkDuQiMwgBQmeb9vqm2L3k5035T7NHheA1n KnBqJ3WOMoWq6GjDwJR04sv8QuzAjO73NgCgHUKL1JIdAqag4XnNFzCOu30Aeuhj1i2jjtn2 //LMqf8DpjMKnXOlqrqcKh5605B0woz0c5Q54hJBLEAIfP8RFf8uMHeAxQkKQK72fznB8941 o4GWWKAHKuZMKTKvF+M4OIvPfCAaYsItDrgKPUo5+TijWQillMHYKap05gXaHGiEvt7PUqVe XvsgtEfHmcWpgcyUeLnhVKYXTNXZnu+Rb8w6zUmBI68EIvORYCgjKSE3CihH51WYm5GCkqLE Xftb4iEQOkDaDidIsB/iDALT6WhS5M/2hChtQ/11aBnI/HJ9S0WtpLj1cJ56PDNmh0q8zx7F NyS03uRQGFsgmMIWzg20bhirUBl0FeMzbB4g+BEFdxU//5GTgA6NYfFw+NmD9DyRxnOc8ySS FemR9WmGSs+Qsgww98IeUZ9Gs+tggrN3yqwUPcpkOmAA4Vx+abB1VDwIdx8wjDIzvoPlV4jF 9BCL2KrwKdi6wXDBoPTu0mXlKfsealUnBXA7miOhUOToExIUQNqEPaWFUsDb1fb+IyqrnjJS KWjXOxP2mppzMeDLvAPcdj1lRBdQ++lPt3CYmW3kmP2BBCSx7rKYpC5M34F0nD7D04J2xsW4 W7ALRI3UzysuW3TSjVzCV//Yk722eVwq3L9QkJnhxqSYRhZ3qGusgUQmeTaTvoS2rwevyJ0s DhuE1v71s/KBsqBqhBJcKtfYJUx7QQPznrX4ip6OJHoNKV+nhgefgBw6lvpzAlyA55cnNICq HU0iVsrcPLFlkhLMT+W3pG2NrC/xnDa2hepZuaW31jf1I3T4aIT8LEjrE2lugi1F00k+nEh0 t9P0nLa6I+YRAwVGYn8VEo67X0Y7/nTfzU96oXI1HZtLbj8sznM3MgsDfckzRDodslWMaeNH gv/W8MAAM3mJOsvklmvJhUKWYIavLU5JcyrMfKbxKO7Pet6tD6ojmUB7I08mkOA+ixgS/LZi o4fyqL9vEPPXDP9gVG998HvzNkfOXdDQCzmmHGiXd4MNcgQNc4RBGyjItO63IB7jp/pADtD8 UK7QkgBwImvcAaTaFr02UtR014WqDqpg3jdrXQ8njc3o66YxCGLzf7lcU9NIWNRS2QkhErwL Ji1gsoyUEarbk4lmVH2gCSyj7gev6l5I2TJFA1TcjL5IidrT7e9pruPeeZD5pAp9ylaGrfZA xjSWvv2pB0U1DnmFm1VyWUgdj2kjZ7+mgRzlGOXKHsbQGPxQchr3l+f4dXdQaUUxT8aXGxjj iGRAFGgPt6v9NHSlpHZs+n4WXjzHpFUdCDqy8uHuk7ZrSVxDAewkra6h8HqAQk3ywf32dprE ynF5BrxeYjk0a2mPPkvJxI0Qg6irZMrQ8cnwtZ4jYpYwXUAg5SJ4XcL9AW7ec5W367zdjtFR DIGxcLU/Bmw3URiKnyTwIeqHn6Zw8Zne5y7ejZPgX57vp4MUfbNquUUwHgQwBLwtw/abPljk y1IzPIv7CVfmOQVoE82yT3bBLkOHE5eNCiqlhKS7tn4or8EAQTnObW2ykd6msisSb+YpQQJE m30YJgvWyZt8shvMV/W+HH96YCidNSaPrdx/lWE1gzNieRYMsd7jfcQiichMH/hsG0kxvQTg RJt3Ne2scLUTgcltLL8CRleODrvYsoV8Ty4lqdSkPGd2IW3F4lgEDEGD9P4COilGzUIubH7J h6DRXci/2yDF+OVTmr9oA926mjCGJexOzSLKWkFmJ98EQKFKhUXgRhIDmxhwthoSEbzlZWnK RclrjEJugyh8UcKm7wubkimFD6P+WLKIn81UMTNdUEKqFAcoR6EaIrHvr07HjkErMT68Ercd CrCNl0OVD9TEk2cWwK6ZeXotIeGqrnBQLPudJ6sKf2YoOhaHZ9k3LqJ1Y1rt3aJP8SLZTx5C uEjn1FERTZ/EtjYnDMGT2oWkTjMZoiVvkX0/Co/tc25/PnxPWCnrYKSF7tfN8lu8BGqkO+CM eCXniNwNTdf0NsF23bJzLEV2FNahTtpcnGhFrEJtCiFS6y1+OcfFxkAdyZ6L9dF9Yo42BcIa JeC2o6zzbQ+gvA2ChFJWB2pm82kY9ALP3DoNF7DAxXuVvzOLjnKzsfrJKKkHOQL0KMF6Vvp6 G/dSh++bVHh33HzWhuiMP9BlnSeNR1a48Smdwp1THPkVJTgYwG6N9l+iXs3x6c1jzXELz15U 3A0fkVTo7mX9S4djO94HjkL9Xd/IuTCkjuF4vnZJ4w+vfVoA2J4mqgJhRZyg6sQ9yxCSPFvz WHKqcVypli9juSV4j5hTl8f828b2cSQtwNuN6bYsJVNEyWhnlpF/SCbDBIEoMFgA9vktvVLy 9TBo6n0LS9L79Pe+cZ07yf8JMyEMTwtPEiwcNYxJAcLTj/tOWyN3yS1cdmW8GPQ/8Fj+sWqg 5BIRrFYVRo5G6FCYnk=
- Ironport-sdr: 6669ca10_vqh7q5w8ip7fh8V5XVXXCbV2KHCDO2Umxo27CiJsbyTCdCP 6H7edfpTjs29OxKBZSB8CYoCsCAiac4kWoysxTQ==
================================================================================
Second Call for Papers
Third Workshop on Formal Verification of Physical Systems (FVPS-2024)
August 5, 2024
Montreal, Quebec, Canada
Co-located with CICM 2024
https://cicm-conference.org/2024/cicm.php?event=fvps&menu=general
================================================================================
Theme
=====
One of the main issues behind many failing systems is the ad-hoc
verification
approach that involves a variety of formalism and techniques for the
modeling
and analysis of various components of the present-age
(cyber)-physical
systems. For example, control and communication protocols are usually
modelled
using automata theory, and thus analyzed using model checking techniques,
while
the modeling of physical aspects often requires multivariate
calculus
foundations, which are in turn analyzed using paper-and-pencil based
analytical
proofs, simulation or theorem proving. The fundamental differences between
these
modeling and analysis techniques limit us to analyze the whole system as
one
unit and thus miss many corner cases, which arise due to the operation of
all
the sub-components of the system together. One of the major concerns is
that,
despite the above-mentioned evident limitations in the analysis methods,
many
safety-critical systems, such as aerospace, smart-transportation, smart-grid
and
e-healthcare, are increasingly involving physical elements. Moreover, we
are
moving towards integrating more complex physical elements in our
engineering
systems. For example, we are looking into developing Quantum Computers to
meet
high performance needs. Similarly, photonic components are increasingly
being
advocated and used in aerospace applications due to their lightweight
and
temperature independency compared to traditional electronics
based
components. Finally, the impact of physical components is relevant to
both
safety and security of the overall system. For example, malfunction in
sensor
measurement may lead to safety issues whereas sophisticated physics
based
side-channel (e.g., power and acoustic measurements) attacks lead to
the
security violation of the underlying system.
The focus of the workshop will be on formal verification techniques and 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 physic’s mathematics and 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 for physical systems modeling and verification
+ Benchmarks for physical systems
+ Formal requirement specification and validation
* Application Domain
------------------
+ Aerospace and avionics systems
+ Automotive cyber physical systems
+ Autonomous Vehicles
+ Robotics
+ Smart Grids
+ Smart transportation
+ Human factor modeling and analysis
+ Biological and healthcare systems
Submission
==========
Authors should prepare their papers in one column style of CEUR-WS to be found
at http://ceur-ws.org/Vol-XXX/samplestyles/ .
There are two categories of submissions:
* Regular papers describing developed work with theoretical results (up to 16
pages)
* Short papers on experience reports, tools or work in progress with
preliminary
results (up to 6 pages)
Electronic submission is done through EasyChair at
https://easychair.org/my/conference?conf=fvps2024. The submissions will be
reviewed by at least three PC members. At least one author of each accepted
paper is expected to present her/his paper at FVPS.
All papers accepted in the workshop will be published in CEUR Workshop
Proceedings (https://ceur-ws.org/)
Journal Special Issue
=====================
The authors of selected papers will be invited to submit the extended versions
of their accepted papers to the journal "Research Directions: Cyber-Physical
Systems" by Cambridge University Press
(https://www.cambridge.org/core/journals/research-directions-cyber-physical-systems/information/about-this-journal)
Important Dates
===============
* Full Paper Submission: June 16, 2024 (Extended Deadline)
* Notification: July 7, 2024 (Extended Deadline)
* Camera Ready: July 14, 2024
* Workshop: August 5, 2024
Program Chairs
==============
* Adnan Rashid, Concordia University, Montreal, QC, Canada
* Osman Hasan, National University of Sciences and Technology, Pakistan
* Sofiène Tahar, Concordia University, Montreal, QC, Canada
Program Committee
=================
* Aaron Dutle, NASA, USA
* Atif Mashkoor, Johannes Kepler University, Linz, Austria
* Pedro Ribeiro, University of York, UK
* Peter Csaba Ölveczky, University of Oslo, Norway
* Waqar Ahmed, Wind River, Canada
- [Coq-Club] [Second Call for Papers] Formal Verification of Physical Systems (FVPS-2024) Extended Deadline: June 16, 2024, Serge Autexier, 06/12/2024
Archive powered by MHonArc 2.6.19+.