Dirk Craeynest | 5 Jun 22:48 2016
Picon

Press Release - Reliable Software Technologies, Ada-Europe 2016

-----------------------------------------------------------------------

                      FINAL Call for Participation

                    *** UPDATED Program Summary ***

                    21st International Conference on
            Reliable Software Technologies - Ada-Europe 2016

                      13-17 June 2016, Pisa, Italy

                http://www.ada-europe.org/conference2016

               *** Check out tutorials and workshop! ***
         *** Full Program available on conference web site ***
             *** Printed proceedings available at event ***
                         *** Register now! ***

-----------------------------------------------------------------------

Press release:

21st Ada-Europe Conference on Reliable Software Technologies

International experts meet in Pisa

Pisa (6 June 2016) - Scuola Superiore Sant'Anna and Ada-Europe organize
from 13 to 17 June 2016 the "21st International Conference on Reliable
Software Technologies - Ada-Europe 2016" in Pisa, Italy.  The event
is organized in cooperation with the Ada Resource Association (ARA),
(Continue reading)

Dirk Craeynest | 8 May 23:15 2016
Picon

Ada-Europe 2016 - early registration until May 17

-----------------------------------------------------------------------

                    21st International Conference on
            Reliable Software Technologies - Ada-Europe 2016

                      13-17 June 2016, Pisa, Italy

                http://www.ada-europe.org/conference2016

        Keep in mind the (extended) early registration deadline!

               Register by Tuesday 17 May at the latest,
               and save on conference and tutorial fees.

    See <http://www.ada-europe.org/conference2016/reg> for all info.

-----------------------------------------------------------------------
Dirk Craeynest | 26 Mar 22:36 2016
Picon

21st Int.Conf. Reliable Software Technologies, Ada-Europe 2016

-----------------------------------------------------------------------

                   Preliminary Call for Participation

                        *** PROGRAM SUMMARY ***

                    21st International Conference on
            Reliable Software Technologies - Ada-Europe 2016

                      13-17 June 2016, Pisa, Italy

                http://www.ada-europe.org/conference2016

    Organized by Scuola Superiore Sant'Anna on behalf of Ada-Europe,
            in cooperation with ACM SIGAda, SIGBED, SIGPLAN
                 and the Ada Resource Association (ARA)

           *** Highly recommended to book your hotel ASAP!***
               *** Online registration will open soon ***
        *** Extensive info available on conference web site ***
            *** Early registration discount until May 9 ***

-----------------------------------------------------------------------

The 21st International Conference on Reliable Software Technologies -
Ada-Europe 2016 takes place in Pisa, Italy, from June 13 to 17, 2016.
It is an exciting event with an outstanding technical program,
keynote talks, exhibition and networking from Tuesday to Thursday,
and a rich program of workshops and tutorials on Monday and Friday.

(Continue reading)

Hubert Keller | 23 Feb 08:51 2016

Fwd: Ada 2012 Language Standard Corrigendum Approved by ISO

Zur Information.
Viele Grüße
Hubert Keller

-------- Weitergeleitete Nachricht --------
Betreff: 	Ada 2012 Language Standard Corrigendum Approved by ISO
Datum: 	Tue, 23 Feb 2016 08:38:19 +0100
Von: 	Dirk Craeynest <Dirk.Craeynest <at> cs.kuleuven.be>
An: 	Ada-Europe member organizations <members <at> ada-europe.org>

-----------------------------------------------------------------------

FOR IMMEDIATE RELEASE

Ada 2012 Language Standard Corrigendum Approved by ISO

Milestone marks smooth continuation of Ada language standardization
process

-----------------------------------------------------------------------

EMBEDDED WORLD 2016, Nuremberg, Germany, February 23, 2016 -
The Ada Resource Association (ARA) and Ada-Europe today announced
that an update to the Ada 2012 language standard, formally known as
Technical Corrigendum 1 to ISO/IEC 8652:2012, has been approved and
officially published by the Geneva-based International Organization
for Standardization (ISO). Comprising a variety of clarifications
and minor corrections driven by implementation and user experience,
the Corrigendum was developed under the auspices of Working Group
ISO/IEC JTC1/SC22/WG9, in particular by WG9's Ada Rapporteur Group
(Continue reading)

Dirk Craeynest | 23 Feb 08:38 2016
Picon

Ada 2012 Language Standard Corrigendum Approved by ISO

-----------------------------------------------------------------------

FOR IMMEDIATE RELEASE

Ada 2012 Language Standard Corrigendum Approved by ISO

Milestone marks smooth continuation of Ada language standardization
process

-----------------------------------------------------------------------

EMBEDDED WORLD 2016, Nuremberg, Germany, February 23, 2016 -
The Ada Resource Association (ARA) and Ada-Europe today announced
that an update to the Ada 2012 language standard, formally known as
Technical Corrigendum 1 to ISO/IEC 8652:2012, has been approved and
officially published by the Geneva-based International Organization
for Standardization (ISO). Comprising a variety of clarifications
and minor corrections driven by implementation and user experience,
the Corrigendum was developed under the auspices of Working Group
ISO/IEC JTC1/SC22/WG9, in particular by WG9's Ada Rapporteur Group
(ARG), and was issued on February 1, 2016. This work was supported
in part by the ARA and Ada-Europe.

The publication of the Corrigendum highlights the steady and orderly
evolution of the Ada programming language. New versions of the
standard are published by ISO at roughly ten-year intervals. Between
releases, the ARG reviews the standard for completeness, correctness,
and unambiguity, and also considers and analyzes proposed updates
ranging from minor wording changes to the addition of major new
features. Especially in the case of new features, the ARG performs
(Continue reading)

Dirk Craeynest | 23 Jan 20:49 2016
Picon

FINAL CfP Ada-Europe 2016, Jan 24 submission deadline

-----------------------------------------------------------------------

                         FINAL Call for Papers

                    21st International Conference on
            Reliable Software Technologies - Ada-Europe 2016

                      13-17 June 2016, Pisa, Italy

                http://www.ada-europe.org/conference2016

    Organized by Scuola Superiore Sant'Anna on behalf of Ada-Europe,
            in cooperation with ACM SIGAda, SIGBED, SIGPLAN
                 and the Ada Resource Association (ARA)

         The 21st International Conference on Reliable Software
     Technologies - Ada-Europe 2016 will take place in Pisa, Italy.
       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.

                *** DEADLINE Sunday 24 JANUARY 2016 ***

         Regular Papers & Industrial Presentations: submit via
         https://easychair.org/conferences/?conf=adaeurope2016

     Tutorials & Workshops: submit to the Tutorial & Workshop Chair
                   Jorge Real <jorge at disca.upv.es>

(Continue reading)

Hubert Keller | 21 Jan 17:00 2016

Fwd: AdaPilot - First Steps

Bei Interesse sich melden.

-------- Weitergeleitete Nachricht --------
Betreff: 	AdaPilot - First Steps
Datum: 	Thu, 21 Jan 2016 15:49:45 +0000
Von: 	adapilot mailer <noreply <at> adapilot.jappster.de>
An: 	hubert.keller <at> kit.edu

AdaPilot Open Source Safety Critical Autopilot Project

Hello hbkeller!

This is our project newsletter...

Time is coming to start with the first steps of the AdaPilot projects. 
At the very first beginning my intention was to start the project based 
on an existing open source code derivate, but seeing the high-level 
profile of you members, the best thing would be to start from scratch. I 
think this is will be much better instead of recoding, adapting, 
shaping, etc an existing "hobby" flight code.

I´m currently working on the drafts of the Work Packages and would like 
to share the first one with you in order to begin discussions, task and 
WPs assignments and to know each other. An idea would be to publish a 
short bio of each of you, however this is on a freewill basis. Vinzent 
did the first one, so please take a look on it and please follow its 
example.

Here please find the WP download link: 
http://adapilot.jappster.de/forum/index.php/forum/draft-work-package-description
(Continue reading)

Dirk Craeynest | 20 Jan 23:14 2016
Picon

FOSDEM 2016 - Ada Developer Room - Sat 30 Jan 2016 - Brussels

-----------------------------------------------------------------------

         Ada-Belgium is pleased to announce the program for its

                   Ada Developer Room at FOSDEM 2016

                      on Saturday 30 January 2016

   Université Libre de Bruxelles (ULB), Solbosch Campus, Room AW1.124
     Avenue Franklin D. Roosevelt Laan 50, B-1050 Brussels, Belgium

                Organized in cooperation with Ada-Europe

<http://www.cs.kuleuven.be/~dirk/ada-belgium/events/16/160130-fosdem.html>
              <http://fosdem.org/2016/schedule/track/ada/>

-----------------------------------------------------------------------

FOSDEM, the Free and Open source Software Developers' European Meeting,
is a non-commercial two-day weekend event organized early each year in
Brussels, Belgium.  It is highly developer-oriented and brings together
5000+ participants from all over the world.  The goal is to provide
open source developers and communities a place to meet with other
developers and projects, to be informed about the latest developments
in the open source world, to attend interesting talks and presentations
on various topics by open source project leaders and committers, and
to promote the development and the benefits of open source solutions.
The 2016 edition takes place on Saturday 30 and Sunday 31 January.
It is free to attend and no registration is necessary.

(Continue reading)

Dirk Craeynest | 11 Jan 22:33 2016
Picon

Ada-Europe 2016 EXTENDED 24 January submission deadline

The Ada-Europe 2016 Conference organizers decided to provide more
time for authors to finalize their contributions, and hence extended
the deadline for all submissions to Sunday 24 January 2016.

-----------------------------------------------------------------------

              UPDATED Call for Papers - EXTENDED DEADLINE

                    21st International Conference on
            Reliable Software Technologies - Ada-Europe 2016

                      13-17 June 2016, Pisa, Italy

                http://www.ada-europe.org/conference2016

    Organized by Scuola Superiore Sant'Anna on behalf of Ada-Europe,
   in cooperation (approval pending) with ACM SIGAda, SIGBED, SIGPLAN
                 and the Ada Resource Association (ARA)

            *** Extended DEADLINE Sunday 24 JANUARY 2016 ***

-----------------------------------------------------------------------

Ada-Europe organizes annual international conferences since the early
80's.  This is the 21st event in the Reliable Software Technologies
series, previous ones being held at Montreux, Switzerland ('96),
London, UK ('97), Uppsala, Sweden ('98), Santander, Spain ('99),
Potsdam, Germany ('00), Leuven, Belgium ('01), Vienna, Austria
('02), Toulouse, France ('03), Palma de Mallorca, Spain ('04), York,
UK ('05), Porto, Portugal ('06), Geneva, Switzerland ('07), Venice,
(Continue reading)

Hubert Keller | 22 Dec 12:59 2015

Fwd: Fwd: Open Source Ada-ARM Flight Controller Projekt

Liebe Ada Kolleginnen und Kollegen,
anbei eine Email zu Ihrer Information. Bei Interesse bitte direkt mir 
Bescheid geben. Danke.

Gleichzeitig wünsche ich Ihnen im Namen von Ada Deutschland ein frohes 
Weihnachtsfest und einen guten Start in das neue Jahr.

Beste Grüße
Hubert Keller

Betreff:
Neues Open Source Ada-ARM Projekt
Von:
Jarno Puff <jarno <at> a2tech.it>
Datum:
21.12.2015 17:06

An:
<hubert.keller <at> kit.edu>

Hallo Dr. Keller,

habe durch einige Recherchen die Webseite Ada Deutschland gefunden. Ich plane ein neues Open Source
Projekt bezüglich ein Ada-ARM Flight Controller für Multikopter ins Leben zu rufen. Dafür bin ich auf
der Suche nach Mitwirkende.

Hätte Sie und Ihr Team Interesse an diesem Projekt? Es würde auch für AdaCore sicher ein gutes
mediatisches Event sein, da im Drohnenmarkt Ada überhaupt nicht bekannt ist (oder ein richtiger Exote ist).

Für eine Rückmeldung würde ich mich freuen.
(Continue reading)

Dirk Craeynest | 14 Dec 02:31 2015
Picon

2nd CfP Ada-Europe 2016 Conference, Pisa, Italy

-----------------------------------------------------------------------

                          2nd Call for Papers

                    21st International Conference on
            Reliable Software Technologies - Ada-Europe 2016

                      13-17 June 2016, Pisa, Italy

                http://www.ada-europe.org/conference2016

    Organized by Scuola Superiore Sant'Anna on behalf of Ada-Europe,
   in cooperation (approval pending) with ACM SIGAda, SIGBED, SIGPLAN
                 and the Ada Resource Association (ARA)

                    *** DEADLINE 17 JANUARY 2016 ***
                    *** Web submission site open ***

-----------------------------------------------------------------------

Ada-Europe organizes annual international conferences since the early
80's.  This is the 21st event in the Reliable Software Technologies
series, previous ones being held at Montreux, Switzerland ('96),
London, UK ('97), Uppsala, Sweden ('98), Santander, Spain ('99),
Potsdam, Germany ('00), Leuven, Belgium ('01), Vienna, Austria
('02), Toulouse, France ('03), Palma de Mallorca, Spain ('04), York,
UK ('05), Porto, Portugal ('06), Geneva, Switzerland ('07), Venice,
Italy ('08), Brest, France ('09), Valencia, Spain ('10), Edinburgh, UK
('11), Stockholm, Sweden ('12), Berlin, Germany ('13), Paris, France
('14), and Madrid, Spain ('15).
(Continue reading)


Gmane