s

workshop.html

@@ -191,12 +191,12 @@ <h2 id="section1"> Aims and scope </h2>
                                 interactions with physical processes typically
                                 demand approaches of a more quantitative
                                 nature.  This includes for example statistical
-                                reasoning, relaxed notions of bisimilarity,
+                                reasoning, relaxed notions of bisimilarity and
                                 program equivalence, robustness measures, and
                                 quantitative logics.
                         </p>
                         <p>
-                                This workshop thus aims at calling attention to
+                                The workshop thus aims at calling attention to
                                 and discussing the quantitative principles of
                                 cyber-physical systems. 
                         </p>