Ada-Europe 2016 online registration open

The online registration for the annual Ada-Europe conference on reliable software technologies is open now.

The programme includes a tutorial on Ada 2012 contracts by Ada in Denmark member Jacob Sparre Andersen.

Note that there is a reduced rate if you sign up no later than Tuesday 17 May.

Ada-Europe 2016 conference deadline extended

The submission deadline for the Ada-Europe 2016 International Conference on Reliable Software Technologies has been extended to Sunday 24 January.

Please consider if you have some Ada experiences, which the rest of the Ada community could learn from or be inspired by.  Experience report submissions don’t have to be more than a long (less than one page) abstract.

Call for Contributions – Ada-Europe 2016

It is time to start working on your submissions for next year’s Ada-Europe conference. The submission dead-line is 17 January 2016. Remember that both scientific papers and industrial presentations (experience reports, etc.) are welcome.

Please see the full call for contributions for details.

 

Press Release – Reliable Software Technologies, Ada-Europe 2012

Chances are high that you’ve already seen this elsewhere, but on the off-shot that you haven’t, here’s the latest press release for the Ada-Europe 2012 convention:

17th Ada-Europe Conference on Reliable Software Technologies

International experts meet in Stockholm

Stockholm (29 May 2012 20:00) – Ada-Europe organizes from 11 to 15 June 2012 the “17th International Conference on Reliable Software Technologies – Ada-Europe 2012” in Stockholm, Sweden. The event is organized in cooperation with Ada Sweden and with ACM’s Special Interest Groups on Ada (SIGAda), on Embedded Systems (SIGBED), and on Programming Languages (SIGPLAN).

The conference offers two days of tutorials, three keynotes, a full technical program of refereed papers and industrial presentations, two special panel sessions, an industrial exhibition, and a social program.

Eleven excellent tutorials on Monday and Friday cover a broad range of topics: Advanced Ada Support for Real-Time Programming; Developing High-Integrity Systems with GNAT GPL and the Ravenscar Profile; How to Optimize Reliable Software; DO-178C – The Next Avionics Software Safety Standard; Designing and Checking Coding Standards for Ada; Experimenting with ParaSail – Parallel Specification and Implementation Language; Basics of Oracle Database Programming with Ada – Introduction to the Konada.Db Library; Oracle Database GUI-programming on MS Windows; The Benefits of Using SPARK for High-assurance Software; The Use of Proof and Generics in SPARK; Design of Multitask Software – the Entity-Life Modeling Approach.

Three eminent keynote speakers have been invited to open each day of the core conference program. Bertrand Meyer (ETH Zurich, Switzerland), in a keynote entitled “Life with Contracts”, will present some results based on his long experience of using contracts as a core practice of development, and will also present new developments in applying contracts to verification and concurrency. Göran Backlund (Combitech, Sweden), in his keynote “What is the Mission of a Software Developer?”, will use a broader view on human knowledge in an engineering environment to find new tools for learning to manage the development challenges better. Jean-Loup Terraillon (ESTEC/ESA, the Netherlands) will present the impact of multi-core architectures on the space industry in his keynote “Multicore Processors – the Next Generation Computer for ESA Space Missions”.

The technical program presents 15 refereed and carefully selected papers on the latest research, new tools, applications and industrial practice and experience, a collection of 8 industrial presentations reflecting current practice and challenges, vendor presentations, a panel session on “What is Language Technology in Our Time?”, and a second panel session on “Reliable Software, a Perspective from Industry”. Springer Verlag publishes the proceedings of the conference, as LNCS Vol. 7308.

The industrial exhibition opens in the mid-morning break on Tuesday and runs until the end of the afternoon break on Thursday. Exhibitors include AdaCore, Altran Praxis, Ellidiss Software, Rapita Systems, and Vector Software.

A special “Ada in Motion” session during the breaks on Thursday will show examples of Ada being used in moving equipment, such as drive-by-wire and segway-like Lego Mindstorm robots and Arduino based devices. An announcement will also be made on the public release of the reference implementation for the “Ada Way 2010/2011” programming contest.

The social program includes on Wednesday evening a conference banquet dinner at Östermalms Saluhall, a marketplace food hall in a magnificent building from 1888, in the heart of Stockholm. Each day, coffee breaks and sit-down lunches offer ample time for interaction and networking.

The venue for the Ada-Europe 2012 conference is Näringslivets Hus, a modern conference center situated in the very heart of Stockholm, located near the Östermalmstorg metro station and close to the Gamla Stan historic district.

The full program is available on the conference web site. Registration is still open.

For more information you can go to the conference website.

The Ada Way programming contest now accepts submissions

The Ada Way, an annual student programming contest organized by Ada-Europe, is now accepting submissions:

Last September, Ada-Europe kicked off its annual student programming contest “The Ada Way”. The challenge for the 2010-2011 competition was to build a software simulator of a football match. The submission of entries has now been opened: they will be accepted through May 15th. The submission shall be made as a single compressed archive of all items listed at the contest web site. Dropbox is used to handle the submission process online. Details are available on the contest web site. The winning submission shall be announced on the contest web site and at the Ada-Europe 2011 Conference, held June 20-24 in Edinburgh, UK. This edition of the contest is sponsored by AdaCore, Atego and Ada-Europe.

The prize for winning this contest is

The prize will consist of: a framed award; one free registration and up to 3 reduced student fees for representatives of the winning team to attend to the Ada-Europe 2011 Conference; accommodation and airfare for the team representatives (with ceiling at EUR 3,000); an exhibition slot in the conference program; visibility in electronic and printed media including Ada User Journal and Ada Letters.

Not too shabby!

The contest is for full time students only, so all the rest of us can do is sit back and wait to see some of the, hopefully, interesting projects.

Ada-Poland.org launched!

A new national Ada group has emerged: Ada-Poland.org.

Ada-Poland is not yet a member of Ada-Europe, but it is working on getting there:

The purpose of this site is to gather mutual contacts to people and
companies in Poland who are interested in the use of Ada in their
projects, promotion of their own work and representation in the
international community.
This simple web page is a seed and currently contains some useful
basic links, as well as the following important information:
Ada-Poland.org is currently *not* associated to Ada-Europe, but its
intent is to get the (snow)ball rolling and build the critical mass
that will eventually make it happen.

The full launch announcement can be read here.

I wish Ada-Poland all the best in their endeavors to promote the Ada programming language in the polish programming community.

Dobrzy przyjaciele powodzenia!