We are looking for a member who wants to take over the webmaster position, which mostly means responsibility for the maintenance of this website. If you are interested, please contact the president of Ada-Switzerland or the current webmaster.
The 29th Ada-Europe International Conference on Reliable Software Technologies will take place in Paris and the chairs have issued the call for contributions. For more information head to the conference website.
Ada has a long and successful track record in Switzerland in the development of mission-, safety-, and security-critical applications. A sample of some Swiss-based projects that owe much of their success to Ada are illustrated in the following slideshow images.
Ada-Switzerland is a non-profit organization and a member of Ada-Europe. It acts as a forum for persons and parties interested in the Ada programming language, its applications, and related technologies such as software engineering methods, development tools and bindings. The group promotes contacts and information among its members and interested parties. We organize meetings, seminars, conferences, and other activities related to our mandate which is to promote the use of the Ada programming language in Switzerland.
Membership lasts from January 1st to December 31st.
If you wish to apply please contact us and provide the following details:
Please not that in order to become a member of Ada-Switzerland you have to have an address in Switzerland. If you live outside of Switzerland and want to be part of the Ada community you should definitely have a look at the official list of national Ada organizations or contact the General Secretary.
As an Ada-Switzerland member you are entitled to the following benefits:
In addition to the benefits you get as a member of Ada-Switzerland, indirect Ada-Europe membership has the following advantages:
At the 2017 general assembly it was decided that we would organize a networking event for Ada users in Switzerland where people could present aspects of their projects. The first event took place on 21 September 2017 at the HSR Rapperswil. We had six very interesting presentations of about 30 min each, followed by an Ápero, which was kindly sponsored by Paranor. 18 people attended the event. The detailed program, presentations, and a link to our sponsor's website can be found below.
Ada is an expressive and robust language in which the default for every programming construct is inherently safe. It was designed to allow programs to be engineered rather than crafted and that is why Ada is chosen for applications where failure would result in catastrophic losses in terms of human life, economic damage, or a major breach of security. Ada 2012, the latest revision, brought design by contract and support for multicore platforms to the language.
A brief introduction to Ada using small examples to explain the basics.
Ada Programming is a comprehensive 200-page Wikibooks project that covers the Ada 2012 standard.
AdaCore University is a dedicated e-learning center to teach the Ada language and the use of related technologies.
Ada 2012 Reference Manual, the official ISO/IEC 8652:2012(E) standard.
The Ada 2012 Rationale
describes the new features in Ada 2012 and gives reasons for the changes from Ada 2005.
Note: Important corrections to the published version of the Rationale are available
here.
AdaCore has an excellent selection of technical papers.
When you contact us you may do so in English (preferred) or German. Please use the contact form below and select the subject of your enquiry.
If you prefer to use your Email client, please report issues with this website to webmaster@ada-switzerland.ch. For all other requests please contact president@ada-switzerland.ch.
The current board was elected on the meeting of 11 May 2023.