Event
Lisbon, Portugal
Jun 13-16, 2023
The 27th Ada-Europe International Conference on Reliable Software Technologies (AEiC 2023) will take place in Lisbon, Portugal. 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. Participants include practitioners and researchers from industry, academia, and government organizations active in the promotion and development of reliable software technologies.
Event
Toronto, Ontario, Canada
Mar 15-18, 2023
The Technical Symposium on Computer Science Education is organized by the ACM Special Interest Group on Computer Science Education (SIGCSE). The SIGCSE Technical Symposium addresses problems common among educators working to develop, implement and/or evaluate computing programs, curricula, and courses.
Event
Detroit, Michigan
Oct 14, 2022
The seventh ACM workshop on High Integrity Language Technology (ACM HILT 2022) is being held on October 14, 2022 in Detroit, MI in conjunction with the 2022 Automated Software Engineering conference (ASE’22), sponsored by SIGAda. This year’s HILT theme is Language and Tool Support for Rigorous Software Development. There will be have 9 presentations plus two keynotes related to this theme. Our keynote speakers are K. Rustan M. Leino, the creator of the Dafny verifiable language and the Boogie system supporting major industrial uses of formal methods, and Niko Matsakis, one of the original members of the Rust design team, talking about a-mir-formality, a more formal model of Rust.
Event
Ghent, Belgium
Jun 14-17, 2022
The 26th Ada-Europe International Conference on Reliable Software Technologies (AEiC 2022) will take place in Ghent, Belgium, in the week of 14-17 June, in dual mode, with a solid core of in-presence activities accompanied by digital support for remote participation.
The conference schedule comprises a journal track, an industrial track, a work-in-progress track, a vendor exhibition, parallel tutorials, and satellite workshops.
Event
Virtual (was Santander Spain)
Jun 7-11, 2021
The 25 Ada-Europe International Conference on Reliable Software Technologies (AEiC 2021 aka Ada-Europe 2021), initially scheduled to
take place in Santander, Spain, will be held online from the 7th to the 11th of June, 2021. The conference schedule includes a technical
program, vendor exhibition and parallel tutorials and workshops.
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. The program will have keynotes, Q&A sessions and discussions, and virtual social events. Participants include practitioners and researchers from industry, academia and government organizations active in the promotion and development of reliable software technologies.
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.
