Cette semaine dans la lettre, notez à votre agenda la date pour la demi-journée de rentrée du pôle ASD, la reprise des activités de la commission IRIF & Environnement et un rappel pour l'accueil des stages de 3ème : nous attendons vos retours.
Une nomination à l’Académie des Sciences et un prix Test of Time.
Du côté de nos partenaires, le webinaire ERC et les appels d’offres de la FSMP.
Et enfin, l’agenda de la semaine du 25 au 29 octobre.
Bonne lecture !
Eugene Asarin (IRIF), Alexandre Donzé, Oded Maler, and Dejan Nickovic receive the Test of Time Award at the 21st International Conference on Runtime Verification (RV’21) for their paper Parametric Identification of Temporal Properties.
Abstract: Given a dense-time real-valued signal and a parameterized temporal logic formula with bothmagnitude and timing parameters, we compute the subset of the parameter space that renders the formula satisfied by the trace. We provide two preliminary implementations, one which follows the exact semantics and attempts to compute the validity domain by quantifier elimination in linear arithmetics and one which conducts adaptive search in the parameter space.
About the 21st International Conference on Runtime Verification: Runtime verification is concerned with the monitoring and analysis of the runtime behaviour of software and hardware systems. Runtime verification techniques are crucial for system correctness, reliability, and robustness; they provide an additional level of rigor and effectiveness compared to conventional testing and are generally more practical than exhaustive formal verification. Runtime verification can be used prior to deployment, for testing, verification, and debugging purposes, and after deployment for ensuring reliability, safety, and security and for providing fault containment and recovery as well as online system repair.
On the figure above: Example of validity domain boundary
Sémantique · Mardi 26 octobre, 10:30, Exposé à distance sur Galène – salle 3052 virtuelle ·
Thomas Ehrhard (CNRS, Université de Paris), Coherent Differentiation [Part 1]
One world numeration seminar · Mardi 26 octobre, 14:30, Online ·
Michael Baake (Universität Bielefeld), Spectral aspects of aperiodic dynamical systems
Automates · Vendredi 29 octobre, 14:30, Room 3052 ·
Nofar Carmeli, The Fine-Grained Complexity of Answering Database Queries