Ada and SPARK for education and research

On Tuesday the 23rd. 2010, the Computer Science Department of the K.U.Leuven and the Ada-Belgium organization will hold a seminar on Ada and Spark for education and research.

The program includes some very interesting talks, by some very skilled and knowledgeable people.

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 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 careers become more skilled and principled programmers.

All presentations/talks will be held in english.

The full announcement can be read here.

Leave a Reply