The VALU3S project is proud to organize a summer school with the focus on the results produced during the project. The theme of the school is Verification and Validation of Dependable Cyber-Physical Systems.
- Where: Genova, Italy - When: 18th-20th July 2023 - Registration: until 12th June 2023 - Estimated cost: 180€/participant - More info: https://valu3s.eu/summer-school-2023 If you are a student (bachelor, master, or Ph.D.) or an early-stage researcher/engineer with an interest in expanding your knowledge around verification and validation, we recommend you to join us! == Tentative Teaching Modules == - Introduction to verification and validation of dependable cyber-physical systems - An overview to Testing of safety-critical cyber-physical systems - Software-implemented fault injection - Simulation-based fault injection - Formal Requirements Engineering - Introduction to Model Checking - Symbolic Model Checking of Hybrid Systems - Deductive Verification in a Nutshell - VVML: Specifying Workflows for V&V Methods - A V&V framework for storing elements of V&V activities - An overview of relevant safety and cybersecurity standards == Preliminary list of lecturers == - Joseba Agirre, Mondragon University - Raul Barbosa, University of Coimbra - Thomas Bauer, Fraunhofer IESE - Sina Borrami, Alstom - Frederico Cerveira, University of Coimbra - Bohumil Hruška, Lieberlieber Software - Pierre Kleberger, RISE Research Institutes of Sweden - Jonas Melchert, Alstom - Rosemary Monahan, Maynooth University - David Pereira, Instituto Superior de Engenharia do Porto - José Proença, Instituto Superior de Engenharia do Porto - Behrooz Sangchoolie, RISE Research Institutes of Sweden - Christoph Schmittner, AIT Austrian Institute of Technology - Stefano Tonetta, Fondazione Bruno Kessler -- Rosemary Monahan Principles of Programming Research Group Department of Computer Science & Hamilton Institute, Maynooth University, Maynooth, Co. Kildare, Ireland. T: +353 1 7083847 F:+353-1-7083848 W: https://www.maynoothuniversity.ie/computer-science/our-people/rosemary-monahan
_______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
