Ada Resource Association

Past Events

• Event

  AdaCore Tech Days 2018

  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.
  More Info
• Event

  HILT 2018

  Boston, Massachusetts, USA Nov 5-6, 2018

  ACM SIGAda’s High Integrity Language Technology International Workshop on Cyber-Security Interaction with High Integrity

  High integrity software must not only meet correctness and performance criteria but also satisfy stringent safety and/or security demands, typically entailing certification against a relevant standard. A significant factor affecting whether and how such requirements are met is the chosen language technology and its supporting tools: not just the programming language(s) but also languages for expressing specifications, program properties, domain models, and other attributes of the software or overall system.

  More Info
• Event

  Ada-Europe 2018

  Lisbon, Portugal Jun 18-22, 2018

  The 23rd International Conference on Reliable Software Technologies – Ada-Europe 2018 will take place in Lisbon, Portugal. The conference will include a three-day technical program and vendor exhibition, along with two days of 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. A focused Special Session on Security in Safety-Critical Systems will be included in the program.

  More Info
• Event

  8th Ada Developer Room at FOSDEM 2018

  Brussels, Belgium Feb 3, 2018

  There will be an Ada Developer Room on Saturday 3 February 2018 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.

  More Info
• Event

  Swiss Ada 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.
  More Info
• Event

  Ada-Europe 2017

  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.
  More Info
• Event

  High Integrity Software Conference 2016

  Bristol, UK Nov 1, 2016

  Sharing information about key challenges and developments in high-integrity software engineering.
  More Info
• Event

  HILT 2016 Workshop

  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.
  More Info
• Event

  21st International Conference on Reliable Software Technologies – Ada-Europe 2016

  Pisa, Italy 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.
  More Info
• Event

  Ada Developer Room, FOSDEM 2016

  Brussels, Belgium 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.
  More Info