Event
The development of high integrity software-based systems is always challenging, and in current times it is an engineering discipline that has had to respond rapidly to a changing global environment. In this context, innovation has become even more essential as we respond to changes in the ways we work, changes in the tools we use on a day-to-day basis, and adapt the technologies we produce as we respond rapidly to changing market demands. This conference has three speakers will present their own perspectives on these challenges – the lessons learned and how the situation will evolve for their organizations as we move forwards.
Event
Virtual (was Chicago IL)
Nov 16-17, 2020
This is the sixth in the HILT series of conferences and workshops, sponsored by ACM SIGAda, focused on the use of High Integrity Language Technology to address challenging issues in the engineering of highly complex critical software systems. High Integrity Language Technologies have been tackling the challenges of building efficient, safe, reliable software for decades. Critical software as a domain is quickly expanding beyond embedded real-time control applications to the increasing reliance on complex software for the basic functioning of businesses, governments, and society in general. HILT 2020 will focus on the growing importance of large-scale, highly parallel, distributed and/or cloud applications. Single-thread performance is reaching the limits of physics, and this has driven growth in parallel programming, massively distributed systems, and heterogeneous/ accelerated computing models. Once the domain of high-performance computing experts, parallel, distributed, and cloud computing are becoming fundamental technologies for all programmers. This workshop seeks to explore ways High Integrity Language Technologies can bring the capabilities of parallelism, distribution, and heterogeneity to a wider audience, without the associated increase in complexity.
Event
Santander, Spain
Jun 8-12, 2020
The 25 Ada-Europe International Conference on Reliable Software Technologies (AEiC 2020 aka Ada-Europe 2020) will take place in Santander, Spain. The conference is a leading international forum for providers, practitioners and researchers in reliable software technologies. 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.
** Canceled, due to the COVID-19 Pandemic. **
Event
Benicàssim, Spain
Apr 1-3, 2020
Since its inception, the International Real-Time Ada Workshop (IRTAW) series has provided a forum where members of the research, user, and implementer communities have singled-out issues with the real-time systems support in Ada, and explored possible solutions to them, and approaches to evolve those aspects of the language to the new frontiers of real-time computing. Over the years, the IRTAW has made important contributions to the 2005 and 2012 revisions of the Ada programming language standard, for the tasking features, the real-time and high- integrity systems annexes, the Ravenscar and the Yorvik Profiles, and – more recently – the parallel execution model of the language due to appear in the 202X revision.
Event
There will be an Ada Developer Room on Saturday 1 February 2020 at FOSDEM 2020 in Brussels, Belgium. This Ada DevRoom is organized by Ada-Belgium in cooperation with Ada-Europe. The Ada developer room gives the general open source community an opportunity to see what is happening in the Ada community and how Ada technology can help to produce reliable and efficient open source software. It also provides and opportunity for open source Ada projects to present themselves, get feedback and ideas, and attract participants to their project and collaboration between projects.
Event
Warsaw, Poland
Jun 10-14, 2019
The 24th International Conference on Reliable Software Technologies will be held in Warsaw, Poland, June 10-14, 2019. The conference will include a three-day technical program and vendor exhibition, along with two days of parallel tutorials and workshops.
Event
Brussels, Belgium
Feb 2, 2019
There will be an Ada Developer Room on Saturday 2 February 2019 at FOSDEM 2018 in Brussels, Belgium. This Ada DevRoom is organized by Ada-Belgium in cooperation with Ada-Europe.
The Ada developer room gives the general open source community an opportunity to see what is happening in the Ada community and how Ada technology can help to produce reliable and efficient open source software. It also provides and opportunity for open source Ada projects to present themselves, get feedback and ideas, and attract participants to their project and collaboration between projects.
Event
Boston MA
Nov 14-15, 2018
AdaCore’s annual Tech Days conference will be held in Boston at the Boston Marriott on Wednesday and Thursday 14th-15th November. It will updates on all of the their Ada and SPARK technology, along with other products.