Sharing information about key challenges and developments in high-integrity software engineering.
Pittsburgh, Pennsylvania, USA
Oct 6-7, 2016
The High Integrity Language Technology (HILT) 2016 Workshop is focused on the synergy between Model-Based Development and Contract-Based Programming, producing a formal model-driven approach to the development of high-assurance software-intensive systems. It will be held as part of ESWEEK and is sponsored by ACM SIGAda.
Jun 13-17, 2016
The 21st International Conference on Reliable Software Technologies – Ada-Europe 2016 will take place in Pisa, Italy. Following its traditional style, the conference will span a full week, including a three-day technical program and vendor exhibition from Tuesday to Thursday, along with parallel tutorials and workshops on Monday and Friday.
The conference presentations will illustrate current work in the theory and practice of the design, development and maintenance of long-lived, high-quality software systems for a challenging variety of application domains. This conference also features a focused Special Session on Safe, Predictable Parallel Software Technologies. Following the intensifying trend of usage of Multi-/Many-core systems, it is increasingly important to assess how reliable software technologies need to adapt to these complex platforms, as well as how parallel models need to adapt to domains in which safety and predictability is a must.
Jan 30, 2016
The Free and Open Source Developers’ Meeting (FOSDEM) is an annual event held in Brussels, Belgium early each year. The 2016 edition will take place on Saturday and Sunday the 30th and 31stf January and Sunday. Ada-Belgium has organized a series of presentations related to Ada, to be held in a dedicated Developer Room, on the first day of the event.
This DevRoom aims to present the possibilities offered by the Ada Language (object-oriented, multicore, embedded programming) as well as some of the many exciting tools and projects using Ada, to an audience that includes people outside of the traditional Ada community.
Jan 27-29, 2016
The next ERTS² Conference, an international cross-sector event focused on embedded software and systems, will feature François Neumann, Vice-president R&T of SAFRAN Electronics, and Edward Lee, Professor of Electrical Engineering and Computer Sciences at the University of California, Berkeley, as its keynote speakers. Taking place in Toulouse, France, during January 27 -29, 2016, this eighth ERTS2 conference offers a mix of research and industrial presentations from the embedded software and systems domain.
The ERTS2 program includes scientific papers on advanced technology solutions for the transportation, aeronautics, automotive, railway, subway and marine industries. Sessions will be led by distinguished academics and leading corporate executives and will highlight the latest technological advances in satellite and space exploration, energy, telecommunications and wireless connectivity, e-healthcare, home automation, defense, and industrial control.
Jun 22-26, 2015
The 20th International Conference on Reliable Software Technologies – Ada-Europe 2015 will take place in Madrid, Spain. The conference will span a full week, including a three-day technical program and vendor exhibition from Tuesday to Thursday, along with parallel tutorials and workshops on Monday and Friday. See the website for additional information.
Jun 23-27, 2014
The 19th International Conference on Reliable Software Technologies – Ada-Europe 2014 will take place in Paris, France. The conference will span a full week, including, from Tuesday to Thursday, three days of parallel scientific, technical and industrial programs, along with tutorials and workshops on Monday and Friday. The conference will provide an international forum for researchers, developers and users of reliable software technologies all over the world. Presentations and discussions cover applied and theoretical work currently conducted to support, the development and maintenance of reliable software systems.