The Computer Science Department of the K.U.Leuven and the Ada-Belgium organization are pleased to announce the seminar
Ada and SPARK for education and research
State-of-the-art programming language technology with Ada
Formal specifications made practical with SPARK
Organized with support from AdaCore and Altran Praxis
IntroductionAda 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.
The event will focus on the technical advantages of these 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.
DateTuesday, February 23, 2010, 14:00 - 18:00.
See Also: Program.
LocationK.U.Leuven, Department of Computer Science,
See Also: Route Description.
RegistrationAttendance of the seminar is free,
but we kindly ask to register in advance.