Wednesday 29 January
11:30 - 12:15, Auditorium ST Exupery
Marta Kwiatkowska, University of Oxford
Marta Kwiatkowska is Professor of Computing Systems and Fellow of Trinity College, University of Oxford. She is known for fundamental contributions to the theory and practice of model checking for probabilistic systems, focusing on automated techniques for verification and synthesis from quantitative specifications. She led the development of the PRISM model checker (www.prismmodelchecker.org), the leading software tool in the area and winner of the HVC Award 2016. Probabilistic model checking has been adopted in diverse fields, including distributed computing, wireless networks, security, robotics, healthcare, systems biology, DNA computing and nanotechnology, with genuine flaws found and corrected in real-world protocols. Kwiatkowska is the first female winner of the Royal Society Milner Award and was awarded an honorary doctorate from KTH Royal Institute of Technology in Stockholm. She won two ERC Advanced Grants, VERIWARE and FUN2MODEL, and is a coinvestigator of the EPSRC Programme Grant on Mobile Autonomy. Kwiatkowska is a Fellow of the Royal Society, Fellow of ACM and Member of Academia Europea.
Title: Safety verification for deep neural networks with provable guarantees
Computing systems are becoming ever more complex, with decisions increasingly often based on deep learning components. A wide variety of applications are being developed, many of them safety-critical, such as self-driving cars and medical diagnosis. Since deep learning is unstable with respect to adversarial perturbations, there is a need for rigorous software development methodologies that encompass machine learning components. This lecture will describe progress with developing automated verification and testing techniques for deep neural networks to ensure safety and robustness of their decisions with respect to input perturbations. The techniques exploit Lipschitz continuity of the networks and aim to approximate, for a given set of inputs, the reachable set of network outputs in terms of lower and upper bounds, in anytime manner, with provable guarantees. The lecture will conclude with an overview of the challenges in this field.
Wednesday 29 January
13:45 - 14:30, Auditorium ST Exupery
Jean-David Malo, European Innovation Council
Jean-David Malo studied in the Institut National Supérieur des Sciences Economiques et Commerciales (Paris) and the University of California (Berkeley). He started his career as Head of internal control management in the Comité Professionnel de la Distribution de Carburants in France before joining ARMINES, a body managing contractual research and innovation for French engineering schools (Ecoles des MInes, Ecole Polytechnique, ENSTA, …), where he created, developed and managed the European Affairs Directorate. He joined the European Commission in January 2001, where he currently occupies the post of Director of the European Innovation Council Task Force within the Directorate-General for Research and Innovation. He is also a member of the EFSI Steering Committee and an alternate member of the EIF Board of Directors; as well as High Level Representative of the Commission in EUREKA.
Title: The Enhanced European Innovation Council (EIC) pilot: support for top-class innovators
Thursday 30 January
09:00 - 09:45, Auditorium ST Exupery
MARC MORTUREUX, PFA General Manager
Graduated from Ecole Polytechnique and Ecole des Mines, Marc MORTUREUX was, from 2008 to 2009, the chief of staff of Luc CHATEL, then minister of Industry. In this position, Marc Mortureux led the “Etats généraux de l’automobile”, in the context of the financial crisis , with a very hard impact for the sector. As a result, he prepared, next to Luc CHATEL, the Car Pact signed, on 9 February 2009, by the French President. He held the post of Deputy Director General of the Institut Pasteur from 2005 to 2008, Director General of ANSES (the French Agency for Food, Environmental and Occupational Health & Safety) from 2010 to 2015.Before joining the PFA in March 2018, Marc MORTUREUX was, since 2015, the Director General of Risk Prevention at the Ministry of Ecology, Sustainable Development and Energy.
Title : The challenges of the automotive industry
The PFA (National Automotive & Mobility Platform) is a trade association which brings together car and equipment manufacturers, as well as all the car industry suppliers and its innovation ecosystem: about 4000 companies in France and 400.000 employees.PFA aims to share a common vision of the future of our industry, to identify the main challenges to face and to elaborate and implement action plans in a collective way to succeed in the dramatic transformations that we have to carry out.
The intervention will aim to illustrate the major challenges to which the automotive industry must face. In fact, the automotive industry is hit by three major disruptions:
- the ecological transition, with the electric engine, and a change in the energy-mix which will have major impacts on the industry.
- the digital revolution, with the smart, connected, and autonomous vehicle, and the development of new services of mobility
- the societal disruption, with a deep change in the relationship with the car.
A focus will be made on the growing importance of embedded real time systems in the major technological and functional developments of the vehicle of the future.
ERTS 2020 - IMPORTANT DATES
Abstract of Regular and Short Paper submission : Closed
Acceptance Notification : Closed
Regular Full Paper for review :
October 15th, 2019
Regular and Short Paper Final Version :
November, 10th, 2019
January 29th to 31st, 2020
Paper Award announcement at Congress Dinner :
January 30th, 2020
IRT ST EXUPERY