LinkedIn

The event will focus on the technical advantages of the Ada and SPARK programming languages, the tools and support available for academics, as well provide an insight into their academic and industrial use through real-life case studies. Ada is a state-of-the-art programming language especially suitable for large, long-lived applications where safety, security, and reliability are critical. Due to its approach of detecting errors as soon as possible it is also generally usable for all types of applications. SPARK is a formally-defined programming language based on Ada, intended to be secure and to support the development of high-integrity software. This event is primarily intended for the educational and research community, and will present experts from academia and industry who believe that using Ada and SPARK in education and research is fundamental to form the software engineers of tomorrow. Why Ada? Because they believe that Ada is the right choice for a range of courses including elementary programming, data structures, software engineering and for more advanced courses and research in compiler construction, real-time systems, robotics, cryptography, etc. Ada and SPARK embody the best contemporary ideas in software technology, and students exposed to these languages at an early stage of their career become more skilled and principled programmers. Program: 13:30-14:00 Arrival 14:00-14:50 "What's New in the World of Ada", Robert Dewar, AdaCore, New York, USA 14:50-15:20 "Ada in Industry, an Experience Report", Philippe Waroquiers, EUROCONTROL/CFMU, Brussels, Belgium 15:20-15:40 Break 15:40-16:10 "Ada in Research and Education, an Experience Report", Erhard Plödereder, University Stuttgart, Germany 16:10-17:00 "SPARK - The Libre Language and Toolset for High-Assurance Software", Rod Chapman, Altran Praxis, Bath, UK 17:00-18:00 Networking drink All presentations will be in English.