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)

Hubert Keller | 11 Dec 15:28 2015

Ada 200: Neues aus Oxford

Weiterleitung der Email von Jürgen Winkler:

Hallo zusammen,

ich habe vorgestern und gestern die meisten Vortraege
des Ada-200-Symposiums in Oxford im
Livestream von zu Hause angeschaut.

Es war wohl die umfangreichste und am besten fundierte
Veranstaltung zu Ada und Babbage, die es bisher gab,
zumal viele Neuigkeiten auf Originaldokumenten wie
Briefen und Tagebuechern basieren.
Sie gibt auch Anlass, das Bild von Ada, welches nach der
Benennung der Programmiersprache Anfang der 1980er
entstanden ist, etwas zu revidieren.

*Erste Programmiererin:
*am Mittwoch (9.12.) wies Doron Swade im ersten Vortrag
darauf hin, dass Babbage in den Jahren 1837-1840 bereits
etwa 40 (ich hoffe ich habe die Zahl richtig notiert, sein
Vortrag steht leider nicht mehr online) Programme geschrieben hat.
Die Ada-Notes entstanden ja Feb-Juli 1843.
Einige der folgenden Redner reagierten dann auch bereits
zustimmend auf diese Neuigkeit.

Einen weiteren Hinweis zur "ersten Programmierin" gab
Elizabeth Bruton am Donnerstag in ihrem Vortrag:
"/Enchantress of Numbers or a mere debugger?: a brief history of
cultural and academic understandings of Ada Lovelace/"
Sie wies auf die folgende Bemerkung von Babbage hin:
(Continue reading)

Hubert Keller | 8 Dec 09:51 2015

Fwd: Ada-Belgium Celebrates 200th Birthday Ada Lovelace 10 Dec 2015


-------- Weitergeleitete Nachricht --------
Betreff: 	Ada-Belgium Celebrates 200th Birthday Ada Lovelace 10 Dec 2015
Datum: 	Sat, 5 Dec 2015 21:33:38 +0100
Von: 	Dirk Craeynest <Dirk.Craeynest <at> cs.kuleuven.be>
An: 	Ada-Europe member organizations <members <at> ada-europe.org>

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

             The Computer Science Department of the KU Leuven
                     and the Ada-Belgium organization
               are pleased to announce a celebration of the

       2 0 0 t h   B i r t h d a y   o f   A d a   L o v e l a c e

                  on Thursday, December 10, 2015, 20:00
       at the KU Leuven, Department of Computer Science, Auditorium
         Celestijnenlaan 200A, B-3001 Leuven (Heverlee), Belgium

   www.cs.kuleuven.be/~dirk/ada-belgium/events/15/151210-ab-ada200.html

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

On the occasion of Ada Lovelace's 200th birthday, the Computer Science
Department of the KU Leuven together with Ada-Belgium organize a
small celebration, featuring a screening of the "To Dream Tomorrow"
documentary on Ada Lovelace.

Synopsis:

(Continue reading)

Dirk Craeynest | 5 Dec 21:33 2015
Picon

Ada-Belgium Celebrates 200th Birthday Ada Lovelace 10 Dec 2015

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

            The Computer Science Department of the KU Leuven
                    and the Ada-Belgium organization
              are pleased to announce a celebration of the

      2 0 0 t h   B i r t h d a y   o f   A d a   L o v e l a c e

                 on Thursday, December 10, 2015, 20:00
      at the KU Leuven, Department of Computer Science, Auditorium
        Celestijnenlaan 200A, B-3001 Leuven (Heverlee), Belgium

  www.cs.kuleuven.be/~dirk/ada-belgium/events/15/151210-ab-ada200.html

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

On the occasion of Ada Lovelace's 200th birthday, the Computer Science
Department of the KU Leuven together with Ada-Belgium organize a
small celebration, featuring a screening of the "To Dream Tomorrow"
documentary on Ada Lovelace.

Synopsis:

  "To Dream Tomorrow" is the story of Ada Byron Lovelace and her
  contributions to computing, over a hundred years before the time
  usually thought to be the start of the Computer Age.

  Daughter of a mathematically gifted, social activist mother and the
  "mad, bad and dangerous to know" poet Lord Byron, Ada was 17 when
  she began studying a prototype mechanical calculator designed by
(Continue reading)

Dirk Craeynest | 4 Nov 08:14 2015
Picon

CfP - Ada Developer Room at FOSDEM 2016, Brussels, Belgium

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

                         Call for Presentations

                 7th Ada Developer Room at FOSDEM 2016

              Saturday 30 January 2016, Brussels, Belgium

http://www.cs.kuleuven.be/~dirk/ada-belgium/events/16/160130-fosdem.html

                Organized in cooperation with Ada-Europe

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

Ada-Belgium [1] is pleased to announce that there will be a one-day Ada
Developer Room on Saturday 30 January 2016 at FOSDEM 2016 in Brussels,
Belgium.  This Ada DevRoom is once more organized in cooperation with
Ada-Europe [2].

General Information
-------------------
FOSDEM [3], the Free and Open source Software Developers' European
Meeting, is a free and 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.
No registration is necessary.

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
(Continue reading)

Dirk Craeynest | 18 Oct 08:36 2015
Picon

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

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

                            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 (request pending) with ACM SIGAda, SIGBED, SIGPLAN
                 and the Ada Resource Association (ARA)

                  *** CfP in HTML/PDF on web site ***

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

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