diff --git a/workshop.html b/workshop.html index 9f0fca0..32b1b59 100755 --- a/workshop.html +++ b/workshop.html @@ -147,11 +147,12 @@

Quantitative Principles of Cyber-Physical Systems

A satellite workshop of SEFM 2024

-

5th of November 2024

+

4th of November 2024

Organised by - Ibex + Ibex + @ INESC-TEC & University of Minho

@@ -161,7 +162,7 @@

Aims and scope

Thanks to advances in computational power and miniaturisation, software is increasingly embedded in physical infrastructures and - industrial processes in order to boost efficiency, + 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 @@ -174,69 +175,34 @@

Aims and scope

There has been tremendous progress in the development of mathematical foundations for cyber-physical systems. However 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. + the latter intertwine computational processes + with physical ones raises challenging aspects + that hinder such results as foundations of a + cyber-physical engineering discipline.

A core issue is the difficulty in dealing with - environmental variability caused by external - sources of uncertainty as well as noisy + 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 + nature. The latter include for example statistical reasoning, relaxed notions of bisimilarity and program equivalence, robustness measures, and quantitative logics.

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

-

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

-

-

Submission and registration

+

Registration

-

- 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. -

-

- Submissions must be formatted according to the guidelines - for - - Springer LNCS papers - and should not exceed 4 pages (excluding references). They must be sent - via - Easychair in the form of a PDF file. -

- -

- A post-proceeedings volume will be published by Springer LNCS. -

Registration is handled via the SEFM @@ -244,49 +210,65 @@

Submission and registration

-

Important dates

+

Preliminary program

- - + + + - - + + + - - + + + -
5th September 2024 (AoE) Abstract deadline 09:30 + + Daniel Figueiredo + Probabilistic + Model Checking in HTA: a case study for Ranibizumab +
13th September 2024 Notification 10:00 + Juliana Cunha + Modal Invariant Relations for Paraconsistent Systems +
TBA Submission of regular papers for the post-proceedings 10:30 Coffee break --
-
-

Program Committee

- - - + + + - - + + + - - + + + - - + + + - - - - -
Renato Neves (Chair) University of Minho 11:00 Alexander Knapp (keynote speaker) + Specifying Event/Data-based Systems +
Alexandre Madeira University of Aveiro 12:00 Leandro Gomes + Reasoning about probabilistic programs: + an algebraic approach +
Miriam García Soto Complutense University of Madrid 12:30 Lunch break --
Stefano Tonetta Fondazione Bruno Kessler 15:00 + José Proença + + Hybrid systems in Lince: overview and roadmap +
Peter Ölveczky University of Oslo
+
-

Last update: 05/08/2024. Please contact Last update: 20/10/2024. Please contact Renato Neves for further information.