Ada Resource Association

Past Events

• Event

  HILT 2012

  Boston, Massachusetts (USA) Dec 2-6, 2012

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

  More Info
• Event

  Automotive 2012

  Karlsruhe, Germany Nov 14-15, 2012

  Co-organized with the Ada Deutschland association.
  More Info
• Event

  GNAT Industrial User Day

  Paris, France Sep 25, 2012

  Organized by AdaCore, this one-day event is for all users of the GNAT technology in an industrial context.
  More Info
• Event

  ESC / Design East

  Boston, Massachusetts (USA) Sep 17-21, 2012
  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 International Conference (CTIC)

  Toulouse, France Nov 29, 2011 - Dec 1, 2011
  More Info
• Event

  SIGAda 2011

  Denver, CO USA Nov 6-10, 2011
  More Info
• Event

  ESC Boston 2011

  Boston, MA USA Sep 27-28, 2011
  More Info
• Event

  RTECC – Real Time Embedded Computing Conferences

  North America Sep 13, 2011 - Dec 8, 2011

  - Ottawa, ON Canada (Tuesday September 13,2011) - Montreal, QC Canada (Wednesday September 15, 2011) - Seattle, WA (Thursday October 13,2011) - Phoenix, AZ (Thursday December 8, 2011)
  More Info
• Event

  Development of reliable software systems

  Stuttgart, Germany Jun 30, 2011

  This is an Ada Deutschland workshop. Johannes Kanig will present the talk “Hi-Lite – Verification by Contract”.
  More Info