Skip to content

Commit

Permalink
updated website
Browse files Browse the repository at this point in the history
  • Loading branch information
@nevrenato
nevrenato committed Oct 20, 2024
1 parent 0593ed3 commit 608e957
Showing 1 changed file with 54 additions and 72 deletions.
126 changes: 54 additions & 72 deletions workshop.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -147,11 +147,12 @@
<h2> Quantitative Principles of Cyber-Physical Systems</h2>
<h3> A satellite workshop of
<a href="https://sefm-conference.github.io/2024/workshops/">SEFM 2024</a> </h3>
<p> 5th of November 2024 </p>
<p> 4th of November 2024 </p>
<hr class="new1">
<p>
Organised by
<a href="https://lmf.di.uminho.pt/Ibex">Ibex</a>
<a href="https://lmf.di.uminho.pt/Ibex">Ibex</a>
@ INESC-TEC & University of Minho
</p>
</div>

Expand All @@ -161,7 +162,7 @@ <h2 id="section1"> Aims and scope </h2>
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
Expand All @@ -174,119 +175,100 @@ <h2 id="section1"> Aims and scope </h2>
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.
</p>
<p>
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.
</p>
<p>
The workshop thus aims at calling attention to
The workshop aims at calling attention to
and discussing the quantitative principles of
cyber-physical systems.
</p>
<p>
<u>Key topics</u> include (and are not
restricted to) the following ones in this
quantitative + cyber-physical setting:
<ul>
<li> Notions of (bi)similarity, program refinement, and equivalence</li>
<li> Deductive systems, syntax, and semantics </li>
<li> Control theory, robustness, stability, and optimisation </li>
<li> Formal modelling, analysis, and verification </li>
<li> Software tools and case-studies </li>
<li> Type theory </li>
<li> Synthesis </li>
</ul>
</p>
<hr class="new1">
<h2> Submission and registration </h2>
<h2> Registration </h2>

<p>
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.
</p>
<p>
Submissions must be formatted according to the guidelines
for
<a href="https://www.springer.com/gp/computer-science/lncs">
Springer LNCS papers
</a> and should not exceed 4 pages (excluding references). They must be sent
via
<a href="https://easychair.org/conferences/?conf=qcps24">Easychair</a> in the form of a PDF file.
</p>

<p>
A post-proceeedings volume will be published by Springer LNCS.
</p>
<p>
Registration is handled via the <a
href="https://sefm-conference.github.io/2024/workshops/">SEFM
website</a>. Please check there as well details about accomodation.
</p>

<hr class="new1">
<h2> Important dates </h2>
<h2> Preliminary program </h2>
<table style="width:95%">
<tr>
<td> 5th September 2024 (AoE) </td>
<td> Abstract deadline </td>
<td> 09:30 </td>
<td>
<a href="https://www.ua.pt/pt/p/80350472">
Daniel Figueiredo</a>
</td>
<td>Probabilistic
Model Checking in HTA: a case study for Ranibizumab
</td>
</tr>
<tr>
<td> 13th September 2024 </td>
<td> Notification </td>
<td> 10:00 </td>
<td>
<a href="https://pt.linkedin.com/in/juliana-andreia-cunha">Juliana Cunha</a></td>
<td>
Modal Invariant Relations for Paraconsistent Systems
</td>
</tr>
<tr>
<td> TBA </td>
<td> Submission of regular papers for the post-proceedings </td>
<td> 10:30 </td>
<td> Coffee break </td>
<td> -- </td>
</tr>
</table>
<hr class="new1">
<h2> Program Committee </h2>
<table style="width:95%">
<tr>
<td> Renato Neves (Chair) </td>
<td> University of Minho </td>
<td> 11:00 </td>
<td> <a href= "https://www.uni-augsburg.de/en/fakultaet/fai/informatik/prof/swtsse/"> Alexander Knapp </a> (keynote speaker) </td>
<td>
Specifying Event/Data-based Systems
</td>
</tr>
<tr>
<td> Alexandre Madeira </td>
<td> University of Aveiro </td>
<td> 12:00 </td>
<td> <a href= "https://pt.linkedin.com/in/leandro-gomes-a146726a"> Leandro Gomes </a> </td>
<td>
Reasoning about probabilistic programs:
an algebraic approach
</td>
</tr>
<tr>
<td> Miriam García Soto </td>
<td> Complutense University of Madrid </td>
<td> 12:30 </td>
<td> Lunch break </td>
<td> -- </td>
</tr>
<tr>
<td> Stefano Tonetta </td>
<td> Fondazione Bruno Kessler </td>
<td> 15:00 </td>
<td>
<a href="https://jose.proenca.org/"> José Proença
</a> </td>
<td>
Hybrid systems in Lince: overview and roadmap
</td>
</tr>
<tr>
<td> Peter Ölveczky </td>
<td> University of Oslo </td>
</tr>
</table>

</table>
</div>
<div id="lastupdate">
<p> <small> <small> Last update: 05/08/2024. Please contact <a
<p> <small> <small> Last update: 20/10/2024. Please contact <a
href="mailto:nevrenato@di.uminho.pt", style="text-decoration: none">Renato Neves</a>
for further information.
</p>
Expand Down

0 comments on commit 608e957

Please sign in to comment.