Verification of Safety Rules using NLP

ESREL 2020 PSAM 15, the 30th European Safety and Reliability (ESREL) Conference of the European Safety and Reliability Association (ESRA) and the 15th Probabilistic Safety Assessment and Management (PSAM) Conference of the International Association of Probabilistic Safety Assessment and Management (IAPSAM) has brought together the top experts of the world in the science and practice of reliability and safety.It has been a unique World Exposition (a real "Expo Tech") of scientific methodologies and technical solutions developed to advance knowledge for the reliable design and operation of components and systems, for the prevention and management of risk in complex systems and critical infrastructures.This joint Conference takes place only every eight years: Crete 1996, Berlin 2004, Helsinki 2012 and, then, "virtual Venice" 2020.Actually, the Conference has been originally planned to be held in presence in beautiful Venice, Italy, on June 21-26.Due to the outbreak of the CoViD-19 pandemic, the Conference had to be postponed to November 1-5, first in hybrid format and eventually all online, but still opened in the originally scheduled week of June with a series of top webinars (Aperitivo at ESREL 2020 PSAM 15) by experts in the field of risk assessment and reliability engineering: a great success for the opening event of the longest Conference (June-November).The Conference theme has been "Reliability of Complex Systems, Safety of Critical Infrastructures, Prevention and Management of Risk".The theme remains at the center of attention as the healthy living of our World of the future, which we are building and which we will leave to those who follow, depends on the reliability and safety of the complex systems and infrastructures upon which it will stand: if we design and operate them in a way that they are reliable and safe, then it will, indeed, be a smart and sustainable world.The program of the Conference has consisted of 728 abstracts and papers selected through a peer-review process conducted by more than 130 Track Directors, who have organized the work of more than 800 reviewers.The program has been enriched by 10 plenary lectures offered by speakers of international excellence, 5 panels, 11 special sessions and 2 innovation challenges.All the Conference works, that cover the 55 topics and 31 application areas of the Conference, have been published in this book of proceedings and can be open-access downloaded from the Conference e-proceedings (www.esrel2020-psam15.org).Also, for the first time in the history of this Conference series, the video-presentations of the works have been collected and organized in the Conference video-proceedings, which can be watched at esrel2020psam15.event-vert.com.In closing, we thank all the participants that have supported the Conference in the difficult times of the pandemic and made it a quite unique success, the 233 members of the Technical Program Committee, the members of the local organizing committee, who have succeeded in organizing three Conferences (in presence, hybrid, online) in emergency and all the reviewers that have put an extraordinary effort in keeping the quality of the Conference.We also highly recognize the strong support by the city of Venice, the region of Veneto, the Italian government institutions, the Politecnico di Milano and Mines Paristech universities, and the partners