Wednesday 31 January, 2018
St Exupery Room, 10:15 - 10:45 (keynote Address)
and 10:45 - 11:15 (Moderated discussion)
pAUL eremenko, CTO of Airbus, USA
Paul Eremenko is the Chief Technology Officer (CTO) of Airbus. Airbus is the world’s leading maker of large commercial aircraft and civil helicopters; it also produces satellites, drones, launch vehicles, and various defense products. The mission of Airbus is to make things that fly. The Airbus CTO mission is to build the future of flight. In this capacity, Paul is responsible for all research, technology, and innovation activities across the company.
Prior to his appointment as CTO, Paul was the founding CEO of A^3 by Airbus, a Silicon Valley outpost charged with pursuing projects that can be disruptive to the core business. Before joining Airbus, he was director of engineering at Google, in the Advanced Technology & Projects (ATAP) organization, where he headed Project Ara, including all engineering, design, and go-to-market activities. Previously he was an associate vice president at Motorola, where he conceived and led the development of Ara, an open modular smartphone hardware platform.
Before Motorola and Google, Paul headed the Tactical Technology Office (TTO) at the Defense Advanced Research Projects Agency (DARPA), the Pentagon’s principal engine for disruptive innovation. TTO is DARPA’s systems office responsible for all X-plane, spacecraft, ground vehicle, and robotics programs, totaling approximately $500 million annually. Previously, Paul developed and led DARPA's advanced design and manufacturing program portfolio, and also served as program manager for several space efforts, including the 100 Year Starship. For his work at DARPA, Paul was awarded the Distinguished Public Service Medal by the Office of the Secretary of Defense.
Earlier in his career, Paul was the chief engineer for an unmanned aircraft program and a management consultant. He has undergraduate and Master's degrees in aeronautics from MIT and Caltech, respectively, and a law degree from Georgetown University. Paul is also a licensed pilot.
St Exupery Room, 11:45 - 12:45 (keynote Address)
Raja Chatila, Director of the Institute of Intelligent Systems and Robotics (ISIR), fRANCE
Raja Chatila, IEEE Fellow, is Professor at Pierre & Marie Curie University in Paris and Director of the Institute of Intelligent Systems and Robotics (ISIR), as well as of the SMART laboratory of excellence on human-machine interactions. He has served as director of LAAS-CNRS in the years 2007-2010 and as President of the IEEE Robotics and Automation Society in the years 2014-2015. His research focus is on intelligent and autonomous robotics and he is author of over 150 publications in the domain. He is a member of the French Commission on the Ethics of Research on Digital Science and Technology (CERNA), and chair of the IEEE Global Initiative on Ethics of Autonomous and Intelligence Systems.
Title: Ethical Considerations in Artificial Intelligence, Robotics and Autonomous Systems
Ethical, legal and societal issues (ELS) raised by the development of Artificial Intelligence, Robotics and Autonomous Systems have recently gained strong interest both in the general public and in the involved scientific communities. This is motivated by the development of novel applications in several industry and service sectors, often based on deep learning techniques that are prone to data bias, the exploitation of personal data, and to new technologies such as personal robotics, autonomous cars or autonomous weapons. These ELS questions are for instance: the future of employment when AI systems are increasingly used to achieve human tasks, privacy and data protection, surveillance, interaction with vulnerable people, human dignity, imitation of living beings and humans, human augmentation, autonomous decision-making and the possibility of maintaining human control, moral responsibility and legal liability of robots, and the status of robots in society.
These questions sometimes raise classical issues in ethical philosophy and law by transposing them to intelligent machines, but they also pose new problems on which reflection must mobilize interdisciplinary communities in order to grasp globally the scientific, technical, and social aspects. The question in developing theses technologies, which might have an unprecedented impact on our society, is finally about how to make them aligned with the values on which are based human rights and well-being. From the perspective of the designers of such systems, research methodologies and design processes will have to adopt an ethical and responsible approach so that the systems are transparent, explainable and so that they comply with human values. This leads to develop new industrial standards that transform product lifecycle management leading to ethical by design products.These issues will be overviewed in the talk, inspired by the ongoing reflection and work within the IEEE Global Initiative on Ethics of Autonomous and Intelligent Systems.
Thursday 1 February, 2018
St Exupery Room, 11:00 - 11:45 (keynote Address)
Head of Unit European Commission CONNECT
Technologies and Systems for Digitising Industry
Dr Max Lemke is the Head of Unit for "Technologies and Systems for Digitising Industry" in Directorate General CONNECT of the European Commission. He has a leading role in developing and coordinating the strategy for Digitising European Industry.
In the European Commission's Research and Innovation Programme HORIZON 2020, Dr Lemke is responsible for the areas embedded and cyber-physical systems, advanced computing, and ICT for manufacturing. He is co-responsible in CONNECT for the Joint Technology Initiative ECSEL (Electronic Components and Systems for European Leadership) and the Public Private Partnership Factories of the Future. In the latter context he has gradually built the I4MS initiative (ICT Innovation for Manufacturing SMEs). He is particularly devoted to establishing a pan-European network of digital innovation hubs covering all of Europe and to strengthening European leadership on digital industrial value chains and platforms.
Dr Lemke has worked in various areas in the European Commission Research and Innovation Programmes since 1995. Before joining the Commission, Max has worked in research and industry in Germany, the US, and the UK. With a Doctorate in Natural Sciences, he has a scientific background in numerical mathematics, parallel computing, and software engineering.
Title: Towards Smart Autonomous Cyber-Physical Systems – Horizon 2020 and Beyond
Real time systems are becoming more and more widespread. With the introduction of cyber-physical systems having a high degree of autonomy, real-time response requirements are growing beyond well-known areas like avionics and industrial controls to a wide range of autonomous system in (e.g.) transportation, manufacturing or health. The presentation will discuss how the European Commission supports the development of the digital industrial platforms of the future, through the Horizon 2020 programme, in the context of the "Digitising European Industry" policy initiative.
Friday 2 February, 2018
St Exupery Room, 11:00 - 11:45 (keynote Address)
Xavier Leroy, Senior research scientist, INRIA, fRANCE
Xavier Leroy is a senior research scientist at Inria in Paris where he leads the Gallium research team. He received his Ph.D. in computer science from University Paris 7 in 1992, then spent two years at Stanford University before joining Inria.He participated in the early years of the Trusted Logic start-up company, now part of Gemalto.
Dr. Leroy's research focuses on programming languages and tools, and on the formal verification of software using program proof and static analysis. He is the architect and one of the main developers of the OCaml functional programming language and of the CompCert formally-verified C compiler.
He is a Fellow of the ACM and received the 2007 Monpetit award from the French Academy of Sciences, the 2012 Verified Software Milestone award from Microsoft Research, and the 2016 Milner award from the Royal Society.
Title: Trust in compilers, code generators, and software verification tools
A great many tools participate in the construction and verification of critical software, ranging from compilers and code generators to testing infrastructures to static analyzers, model checkers and deductive program verifiers. Can we trust the results of a static analyzer? Is code generated from models always correct? Are there "miscompilation" risks when we take an off-the-shelf C compiler and crank optimizations up? How can we qualify the tools used at levels of assurance appropriate for the target software system? These are difficult questions that are hard to answer using testing only, owing to the algorithmic complexity of these tools and the structural complexity of the data they work on, namely program texts.
After illustrating those difficulties in the case of compilers and static analyzers for the C programming language, the talk will put forward an alternate approach based on formal methods to the problem of building trust in software development tools. Indeed, many of these tools lend themselves to automated or machine-assisted theorem proving, leading to mathematically-strong guarantees of correctness of code generation and soundness of static analysis. Examples of this approach at work include the CompCert (http://compcert.inria.fr/) verified C compiler, the Velus (https://hal.archives-ouvertes.fr/hal-01512286) verified code generator for the Lustre reactive language, and the Verasco (http://compcert.inria.fr/verasco/) verified static analyzer. The talk will discuss some directions towards wider industrial applicability and towards stronger, more end-to-end guarantees.
Regular abstract and short paper submission (4 pages): June 18, 2017 extended to July, 9
September 22, 2017
Regular Paper for review (10 pages):
October 27, 2017
Final Paper submission deadline
(Short & Regular):November 24, 2017
SIEMENS - MENTOR GRAPHICS