Keynote 1: Challenges of Future Robotics
President of the euRobotics AISB Chief Innovation Officer at KUKA AG
Abstract: Robotics will change the world! It will unleash the same if not an even more disruptive and transformational power within the next 50 years as mainstream IT-technology and the Internet have over the last half a century. Nurtured by technological breakthroughs in industrial automation, robotics will exhaustively permeate all domains of the human living realm. Hence, our grandchildren will grow up in a society that is enriched and enhanced by assistive technologies in every imaginable way. Robotics and automation will be tailored into many everyday objects, becoming an integral part of all kinds of appliances. This Generation 'R' will be without fear of these technologies perceiving their beneficial nature - they will grow up as Robotic Natives. This implies, that today's people are already born to become the first society of Robotic Immigrants. Although it is not possible to precisely predict the world of tomorrow, the presented model of the 4 Robotic Revolutions provides a compelling, holistic approach to describe the future phases of robotic evolution, characterizing them according to their technological enablers and underlying interaction paradigms.
Bio: Dr. Bernd Liepert is the Chief Innovation Officer of KUKA AG, a world leading manufacturer of industrial robots. Dr. Liepert earned his diploma in mathematics in 1990 from the University of Augsburg and his honorary doctor degree from University of Magdeburg in 2011. Since 1990 Dr. Liepert has worked in changing positions for KUKA. From 1990 to 1996 he worked as mathematician and developer at KUKA Schweissanlagen + Roboter GmbH before he took charge as head of development of the newly founded company KUKA Roboter GmbH until 1997. From 1998- 1999 he was a member of KUKA Roboter GmbH Board of Management, responsible for development and design. From 2000-2009 Dr. Liepert was the CEO of KUKA Roboter GmbH. From 2010 to January 2015 he was the CTO of KUKA AG, responsible for technology and development of the whole KUKA group. As Chief Innovation Officer of KUKA AG, Dr. Liepert is now responsible for expanding innovations at KUKA where he can apply his vast robotics experience at the interface between technology and the market. From 2008-2012 Dr. Liepert was President of EUROP, the European Robotics Technology Platform, and subsequently President of euRobotics AISBL – the European Robotics Association. euRobotics was founded in September 2012 and has become the private side of SPARC, the European Public- Private Partnership in Robotics in 2013. As president of these associations Dr. Liepert has been leading the European robotics community and representing it at high political levels.
Keynote 2: Synchronous Programming and its fit with Modeling
Professor at College de France
Abstract: The family of Synchronous programming languages was born in the 1980’s in three different French labs that gathered researchers in Computer Science and Control Theory. The three first languages were Esterel, dedicated to control-dominated problems in embedded systems, telecom protocols and later digital circuit design, Lustre, dedicated to continuous control, and Signal, oriented towards signal processing. They share a common perfect synchrony principle that expresses that the reaction to an input should be viewed as conceptually instantaneous. This simple principle is well-adapted to the targeted applications and greatly simplifies programming by reconciling parallelism and determinism. It also leads to well-defined mathematical semantics that directly ground their formal compiling, simulation and verification environments. Synchronous programming rapidly became used in Industry for safety-critical production systems in avionics (Dassault Aviation, Airbus, etc.), railways, etc., as well as in robotics and circuit design. In the 2000’s, Esterel and Lustre have been unified in two new languages industrialized by Esterel Technologies (now part of Ansys): SCADE 6 for safety critical software and Esterel v7 for hardware design, both also incorporating ideas from Harel’s reactive graphical formalism Statecharts.
The talk will explain the practical and mathematical concepts of synchronous programming and stress its advantages over asynchronous concurrent programming for the considered applications. It will also explore the links between synchronous programming and modeling / simulation. In one direction, synchronous languages are ideal targets to generate embedded code from executable parts of simulation models. In the other direction, embedding synchrony into conventional modelers may be necessary to solve the current tricky issues due to the coupling of discrete and continuous computations in modelers, in particular for the currently mishandled case where external or internal events provoke cascades of discrete reactions. Pouzet and Bourkes’s new Zelus language is a step in this direction.
Bio: Former student of the Ecole polytechnique, Member of the Academy of sciences, of the Academy of technology and the Academia Europaea, CNRS Gold medal 2014, Gérard Berry was a researcher at the Ecole des mines of Paris and INRIA from 1973 to 2000, Chief Scientist of the company Esterel Technologies from 2001 to 2009, then Research Director at INRIA and President of the Evaluation Committee of this Institute from 2009 to 2012. He holds the Chair Algorithms, Machines and Languages at the Collège de France from 2012, after having held two annual chairs in 2007-2008 and 2009-2010.
His scientific contribution concerns four main topics: the formal treatment of programming languages and their relations with mathematical logic, reactive and real-time programming for embedded systems, integrated circuit computer-aided design, and formal verification of programs and circuits. He is the creator of the Esterel programming language.