The 25th International Conference on Reliable Software Technologies, scheduled for 8-12 June 2020, has been postponed to June 2021 due to the COVID-19 pandemic. Please refer to the Notice of Cancellation for additional information.
We are going to migrate this website to Bootstrap v4 towards the end of this year. With that, support for old browsers like Internet Explorer 8 and 9 or Netscape will be dropped.
The next Ada-Europe Conference will take place in Santander, Spain. As usual the conference schedule includes a technical program, vendor exhibition and parallel tutorials and workshops. For more information and the latest news head over to www.ada-europe.org/conference2020.
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.
|Astronomical Ada||Ahlan Marriott & Urs Maurer, White Elephant GmbH|
|A common time base for parallel jobs in a distributed and embedded real-time system||Peter Vogelsanger, Rheinmetall Air Defence AG|
|Muen ‐ An x86/64 Separation Kernel for High Assurance||Reto Bürki & Adrian-Ken Rüegsegger, HSR Rapperswil|
|TKM ‐ An IKEv2 Key Manager written in Ada 2012||Reto Bürki & Adrian-Ken Rüegsegger, HSR Rapperswil|
|Recent developments in Zip-Ada, Part 1 (Overview, Deflate)||Gautier de Montmollin|
|Recent developments in Zip-Ada, Part 2 (LZMA)||Gautier de Montmollin|
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.
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.
The current board was elected on the meeting of 15 March 2018.