Events - Ada Resource Association

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

19th International Conference on Reliable Software Technologies – Ada-Europe 2014

Paris, France Jun 23-27, 2014

The 19th International Conference on Reliable Software Technologies – Ada-Europe 2014 will take place in Paris, France. The conference will span a full week, including, from Tuesday to Thursday, three days of parallel scientific, technical and industrial programs, along with 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

Ada Developer Room, FOSDEM 2014

Brussels, Belgium Feb 1, 2014

The Free and Open Source Developers’ Meeting (FOSDEM) is an annual event held in Brussels, Belgium, in February. The 2014 edition will take place on Saturday the 1st and Sunday the 2nd of February. 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.

More Info

Event

HILT 2013

Pittsburgh, Pennsylvania (USA) Nov 10-14, 2013

High Integrity Language Technology
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 2013 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. To this end we are soliciting technical papers, experience reports (including experience in teaching), and tutorial proposals on a broad range of relevant topics.

More Info

Event

18th International Conference on Reliable Software Technologies – Ada-Europe 2013

Berlin, Germany Jun 10-14, 2013

The 18th International Conference on Reliable Software Technologies (Ada-Europe 2013) will take place in Berlin, Germany, from June 10 to June 14. 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

Ada Conference UK 2013

Birmingham, UK Apr 25, 2013

The one-day Ada Conference UK will feature a half-day tutorial on the new capabilities introduced by Ada 2012. The afternoon session will offer a range of talks from industry and technical experts as well as a selection of vendor talks from the Ada ecosystem.

More Info

Event