• Home
  • Ada Advantages
  • Learn Ada
  • Resources
  • ARA Community
Site Map | Contact Us

Ada Resource Association

News and resource for the Ada programming language

  • 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

    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 2014

    Portland, Oregon Oct 18-21, 2014

    High Integrity Language Technology 2014 – ACM SIGAda’s Annual International Conference

    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.

    HILT 2014 will provide a forum for experts from academia/research, industry, and government to present the latest findings in designing, implementing, and using language technology for high integrity software.

    More Info
  • Event

    20th International Conference on Reliable Software Technologies – Ada-Europe 2015

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

    17th International Conference on Reliable Software Technologies – Ada-Europe 2012

    Stockholm, Sweden Jun 11-15, 2012
    The 17th International Conference on Reliable Software Technologies (Ada-Europe 2012) will take place in Stockholm, Sweden, from June 11 to June 15. 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.
    More Info
  • Event

    Certification Together

    Toulouse, France. Oct 26, 2010 - Sep 28, 2010
    The Certification Together International Conference for the Aeronautical Industry is the only event in Europe fully dedicated to System, Software and Hardware certification challenges.
    More Info
  • Event

    Supporting the delivery of safety

    Manchester, UK Sep 15, 2010
    A range of benefits can be obtained through using tools when developing safety-critical systems, and from collaborating with tools providers to tackle specific problems. The same is true of consultancy, training and other kinds of services, where both the services themselves and collaboration with their providers can be extremely valuable. The seminar programme at this event contains many examples of these advantages, presented by suppliers and users of tools and services, consultants, and researchers.
    More Info
  • Event

    Ada Europe 2010

    Valencia, Spain Jul 14-18, 2010

    The 15th International Conference on Reliable Software Technologies – Ada-Europe 2010 will take place in Valencia, Spain. 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.

    More Info
  • Event

    SIGAda 2010

    Fairfax, Virginia Oct 24-28, 2010

    ACM’s Annual International Conference on Ada and Related Technologies Engineering Safe, Secure, and Reliable Software.

    More Info
  • Event

    Automotive – Safety & Security 2010

    Stuttgart, Germany Jun 21-23, 2010
    (Website in German)
    More Info
previous12next
  • Press
  • Articles
  • Events
Filter by Type
    • Event
    • Webinar

ARA Sponsor Spotlight
PTC Logo View All Sponsors

Upcoming Events

  • Ada-Europe 2023
    Jun 13-16, 2023 Lisbon, Portugal

View All Events



AdaCore PTC Logo

Ada Advantages

  • Ada 202x
  • Ada Overview
  • More Topics of Interest
  • Features & Benefits
  • Ada Comparison Chart
  • Ada 2012
  • Ada 2005
  • SPARK Ada
  • Ada and Multicore
  • Case Studies
  • Ada Projects

Ada Projects

Learn Ada

  • Learning Materials
  • Professional Training
  • Ada in Academia

Resources

  • Ada Standards
  • Free Tools & Libraries
  • Professional Tools and Services
  • Associations
  • Ada on the Web

ARA Community

  • Sponsors
  • Compilers and Conformity
  • Join the ARA
  • ARA Press Releases

Copyright © 2009-2023 Ada Resource Association Site Map | Contact Us