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.
Event
Hochschule für Technik Rapperswil Switzerland
Sep 21, 2017
The event includes a block of presentations starting at 14:00 and going on to around 17:30, after which there will be an Apéro with networking opportunities. For full details, see the linked website for the program.
Event
Vienna, Austria
Jun 12-16, 2017
The 22nd International Conference on Reliable Software Technologies – Ada-Europe 2017 will take place in Vienna, Austria, from June 12, 2017 to June 16, 2017. 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 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.
Event
Sharing information about key challenges and developments in high-integrity software engineering.
Event
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.