[TYPES/announce] Quantitative Principles of CPSs -- call for abstracts

[Renato Neves]

=====================================================
Quantitative Principles of Cyber-Physical Systems - 
A satellite event of SEFM 2024

Aveiro, Portugal, November 5th, 2024

https://urldefense.com/v3/__https://lmf.di.uminho.pt/Ibex/workshop.html__;!!IBzWLUs!TyIJBmpp5omZc7s7qS7Sz6LdSzjQCfwmZmxti7S-niES3cUyK47xdDJcCc9MBfWMm0scyN9Fqzw78qxIHNKOBDcH2lqakydc$ 
=====================================================

Thanks to advances in computational power and miniaturisation, software
is increasingly embedded in physical infrastructures and industrial
processes in order to boost efficiency, safety, and production. In this
context it is now qualified as cyber-physical to emphasise its tight
interaction with physical processes - thus signaling a shift from usual
software engineering practices to a more multifaceted view that combines
computer science, control theory, and analysis.

There has been tremendous progress in the development of mathematical
foundations for cyber-physical systems. But the fact that the latter
intertwine computational processes with physical ones raises challenging
aspects that hinder such results as foundations of an engineering
discipline of cyber-physical software.

A core issue is the difficulty in dealing with environmental variability
caused by external sources of uncertainty as well as noisy sensors and
actuators. At the root of this difficulty is the fact that many of the
principles involved are based on a classical, qualitative perspective
whilst the underlying interactions with physical processes typically
demand approaches of a more quantitative nature. This includes for
example statistical reasoning, relaxed notions of bisimilarity and
program equivalence, robustness measures, and quantitative logics.

This workshop thus aims at calling attention to and discussing the
quantitative principles of cyber-physical systems.


We warmly welcome abstracts for presenting work related to the
quantitative principles of cyber-physical systems. The submissions will
be selected by the program committee on the basis of novelty and of
general interest.

Important Dates
=====================================================

5th September 2024 (AoE) 	Abstract deadline
13th September 2024 	        Notification 
TBA	                        Submission of regular papers for the post-proceedings

Scope
=====================================================

Key topics include (and are not restricted to) the following ones in the
quantitative + cyber-physical setting:

   + Notions of (bi)similarity, program refinement, and equivalence
   + Deductive systems, syntax, and semantics
   + Control theory, robustness, stability, and optimisation
   + Formal modelling, analysis, and verification
   + Software tools and case-studies
   + Type theory
   + Synthesis


More Information 
=====================================================

Please check: 
https://urldefense.com/v3/__https://lmf.di.uminho.pt/Ibex/workshop.html__;!!IBzWLUs!TyIJBmpp5omZc7s7qS7Sz6LdSzjQCfwmZmxti7S-niES3cUyK47xdDJcCc9MBfWMm0scyN9Fqzw78qxIHNKOBDcH2lqakydc$ 

-- 
Renato Neves
https://urldefense.com/v3/__https://www.di.uminho.pt/*renato__;fg!!IBzWLUs!TyIJBmpp5omZc7s7qS7Sz6LdSzjQCfwmZmxti7S-niES3cUyK47xdDJcCc9MBfWMm0scyN9Fqzw78qxIHNKOBDcH2rPzCKrj$