Dirk Craeynest | 30 Apr 2013 18:26
Picon

Ada-Europe 2013 early registration deadline approaching

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

                       2nd Call for Participation

                    18th International Conference on
            Reliable Software Technologies - Ada-Europe 2013

                    10-14 June 2013, Berlin, Germany

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

           Organized by Ada-Germany on behalf of Ada-Europe,
            in cooperation with ACM SIGAda, SIGBED, SIGPLAN

        *** Early registration DEADLINE extended until May 8 ***
   *** Conference AND hotel bookings ONLY via conference web site ***

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

The 18th International Conference on Reliable Software Technologies
- Ada-Europe 2013 will take place in Berlin, Germany, from June 10
to 14, 2013.  The conference will offer an outstanding technical
program, invited talks, plus an exhibition from Tuesday to Thursday,
and a series of tutorials on Monday and Friday.

The Ada-Europe series of conferences has become established as a
successful international forum for providers, practitioners and
researchers in all aspects of reliable software technologies.
These events highlight the increased relevance of Ada in safety-
and security-critical systems, and provide a unique opportunity
(Continue reading)

Dirk Craeynest | 18 Apr 2013 22:40
Picon

18th Int.Conf. Reliable Software Technologies, Ada-Europe 2013

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

                         Call for Participation

                        *** PROGRAM SUMMARY ***

                    18th International Conference on
            Reliable Software Technologies - Ada-Europe 2013

                    10-14 June 2013, Berlin, Germany

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

           Organized by Ada-Germany on behalf of Ada-Europe,
            in cooperation with ACM SIGAda, SIGBED, SIGPLAN

           *** Early registration discount until April 30 ***
   *** Conference AND hotel bookings ONLY via conference web site ***

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

The 18th International Conference on Reliable Software Technologies
- Ada-Europe 2013 will take place in Berlin, Germany, from June 10
to 14, 2013.  The conference will offer an outstanding technical
program, invited talks, plus an exhibition from Tuesday to Thursday,
and a series of tutorials on Monday and Friday.

The Ada-Europe series of conferences has become established as a
successful international forum for providers, practitioners and
researchers in all aspects of reliable software technologies.
(Continue reading)

Hubert Keller | 16 Feb 2013 23:16
Favicon

Ada Tour CD

Liebe Ada Freunde,
da immer wieder Anfragen nach der CD kommen, anbei ein Download Link:

http://www.ada-deutschland.de/alte_homepage/ada_lernen/AdaTour2004.iso

Viele Grüße
Hubert Keller

PS: Die Ada Europe 2013 Seiten werden in wenigen Tagen online 
geschaltet. Die Tutorial Seite ist schon verfügbar.

--

-- 
________________________________________________________________________

Dr. Hubert B. Keller
T     ++49 721 608-2 5756
Fax   ++49 721 608-2 2602
Email Hubert.Keller <at> kit.edu

Besucheranschrift:
Karlsruher Institut für Technologie (KIT)
Institut für Angewandte Informatik (IAI)
Campus Nord, Gebäude 445, Raum 243
Hermann-von-Helmholtz-Platz 1
76344 Eggenstein-Leopoldshafen

Postanschrift:
Karlsruher Institut für Technologie
Postfach 3640
76021 Karlsruhe
(Continue reading)

Dirk Craeynest | 13 Feb 2013 22:16
Picon

FOSDEM 2013 - Presentations Ada Developer Room on-line

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

              *** All presentations available on-line ***

                   Ada Developer Room at FOSDEM 2013

(Ada at the Free and Open Source Software Developers' European Meeting)

                         Sunday 3 February 2013

 Université Libre de Bruxelles (U.L.B.), Solbosch Campus, Room AW1.120
     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/13/130203-fosdem.html>

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

All presentations from the Ada Developer Room, held at FOSDEM 2013 in
Brussels recently, are available on the Ada-Belgium web site now.
A few pictures taken during the event are on-line as well.

- "Welcome & Ada-Europe info"
   by Dirk Craeynest - Ada-Belgium
- "Introduction to Ada for Beginning and Experienced Programmers"
   by Jean-Pierre Rosen - Adalog
- "Tools and Techniques for Higher Reliability Software"
   by Philippe Waroquiers - Eurocontrol
- "Ada on Android"
(Continue reading)

Dirk Craeynest | 17 Jan 2013 23:53
Picon

FOSDEM 2013 - Ada Developer Room - Sun 3 Feb 2013 - Brussels

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

                 Ada-Belgium is pleased to announce its

                   Ada Developer Room at FOSDEM 2013

(Ada at the Free and Open Source Software Developers' European Meeting)

                         Sunday 3 February 2013

 Université Libre de Bruxelles (U.L.B.), Solbosch Campus, Room AW1.120
     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/13/130203-fosdem.html>

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

The Free and Open Source Developers' Meeting (FOSDEM) is an annual
event held in Brussels, Belgium, in February.  The 2013 edition
will take place on Saturday the 2nd and Sunday the 3th of February.
Ada-Belgium has organized a series of presentations related to Ada, to
be held in a dedicated Developer Room, on the second day of the event.

Ada is a general-purpose language originally designed for safety-
and mission-critical software engineering.  It is used extensively
in air traffic control, rail transportation, aerospace, nuclear,
financial services and medical devices.  The new Ada 2012 standard
has been finalized and was published by ISO in December 2012.  As with
(Continue reading)

Hubert Keller | 17 Jan 2013 19:56
Favicon

Ada 2012 redux

Gruß

-- 
________________________________________________________________________

Dr. Hubert B. Keller
T     ++49 721 608-2 5756
Fax   ++49 721 608-2 2602
Email Hubert.Keller <at> kit.edu

Besucheranschrift:
Karlsruher Institut für Technologie (KIT)
Institut für Angewandte Informatik (IAI)
Campus Nord, Gebäude 445, Raum 243
Hermann-von-Helmholtz-Platz 1
76344 Eggenstein-Leopoldshafen

Postanschrift:
Karlsruher Institut für Technologie
Postfach 3640
76021 Karlsruhe
Adresse

KIT - Universität des Landes Baden-Württemberg und
nationales Großforschungszentrum in der Helmholtz-Gemeinschaft
www.kit.edu

Privat:
Erasmusstr. 3, 76139 Karlsruhe
Hubert.Keller <at> dr-hbkeller.de
(Continue reading)

Dirk Craeynest | 8 Jan 2013 21:55
Picon

FINAL CfIP, Conf. Reliable Software Technologies, Ada-Europe 2013

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

                FINAL Call for Industrial Presentations

                    18th International Conference on
            Reliable Software Technologies - Ada-Europe 2013

                    10-14 June 2013, Berlin, Germany

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

                *** DEADLINE Monday 14 JANUARY 2013 ***

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

The 18th International Conference on Reliable Software Technologies -
Ada-Europe 2013 will take place in Berlin, Germany.  Following its
traditional style, the conference will span a full week, including,
from Tuesday to Thursday, three days of parallel scientific, technical
and industrial sessions, along with parallel tutorials and workshops
on Monday and Friday.

In addition to the usual Call for Papers, the conference also seeks
industrial presentations which deliver value and insight, but may not
fit the selection process for regular papers.

Authors of industrial presentations are invited to submit
an overview (at least 1 full page in length) of the proposed
presentation by January 14, 2013, via the EasyChair conference system
(http://www.easychair.org/conferences/?conf=ae13).  The Industrial
(Continue reading)

Dirk Craeynest | 23 Dec 2012 22:56
Picon

C.f.Industrial Pres., Reliable Software Technologies, Ada-Europe 2013

Are you working on industrial projects (possibly Ada-related)
where reliable software is important?  Do you know people working
on such projects?  Then this call for industrial presentations is
specifically targeted to you!

Many projects could report a lot of valuable experience: sharing it
with others benefits the whole community and might provide useful
feedback to the project as well.

Please check out the appended call, and try to get a presentation
overview submitted by January 14th at the latest, i.e. in 3 weeks
from now.

Looking forward to receive many interesting presentations.

Dirk Craeynest, Ada-Europe'2013 Publicity Chair

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

                   Call for Industrial Presentations

                    18th International Conference on
            Reliable Software Technologies - Ada-Europe 2013

                    10-14 June 2013, Berlin, Germany

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

           Organized by Ada-Germany on behalf of Ada-Europe,
            in cooperation with ACM SIGAda, SIGBED, SIGPLAN
(Continue reading)

Dirk Craeynest | 18 Dec 2012 08:47
Picon

Press Release - Ada 2012 Language Standard Approved by ISO

FOR IMMEDIATE RELEASE

Ada 2012 Language Standard Approved by ISO

Language revision adds contract-based programming, multicore support,
and other advanced features

GENEVA, Switzerland, December 18, 2012 - The Ada Resource Association
(ARA) and Ada-Europe today announced the approval and publication of
the latest version of the Ada programming language by the Geneva-based
International Organization for Standardization (ISO).  The language
revision, known as Ada 2012, was under the auspices of ISO/IEC
JTC1/SC22/WG9 and was conducted by the Ada Rapporteur Group (ARG)
subunit of WG9, with sponsorship in part from the ARA and Ada-Europe.
The formal approval of the standard was issued on November 20 by
ISO/IEC JTC 1, and the standard was published on December 15.

Ada 2012 brings significant enhancements to Ada, most notably in the
area of "contract-based programming."  New features here include the
ability to specify preconditions and postconditions for subprograms,
and invariants for private (encapsulated) types.  These take the form
of Boolean expressions that can be interpreted (under programmer
control) as run-time conditions to be checked.  The contract-based
programming features fit in smoothly with Ada's Object-Oriented
Programming model, and support the type substitutability guidance
supplied in the Object-Oriented Technologies and Related Techniques
Supplement (DO-332) to the new avionics software safety standard
DO-178C / ED-12C.

Other new features in Ada 2012 include enhancements to the containers
(Continue reading)

Dirk Craeynest | 10 Dec 2012 23:13
Picon

Ada - In Strong Typing We Trust - redesigned 2012 "coin"

Ada - In Strong Typing We Trust - redesigned 2012 "coin" versions

As of today, the 197th birthday of Augusta Ada Lovelace, a new version
of the traditional "Ada coin" is available for promotional use at
<http://www.cs.kuleuven.be/~dirk/ada-belgium/pictures/ada-strong.html>

On the occasion of the ISO standardization of the new Ada 2012
programming language definition, the "Ada coin" has been redesigned
from scratch in a higher resolution, using the original "Lady Ada"
picture, and including "2012".

Enjoy!

Dirk Craeynest
Dirk.Craeynest <at> cs.kuleuven.be (for Ada-Belgium/-Europe/SIGAda/WG9 mail)

Disclaimer: http://www.kuleuven.be/cwis/email_disclaimer.htm
Dirk Craeynest | 8 Dec 2012 01:44
Picon

FINAL CfP Ada-Europe 2013, Dec 12 submission deadline

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

             FINAL Call for Papers / Tutorials / Workshops

                    18th International Conference on
            Reliable Software Technologies - Ada-Europe 2013

                    10-14 June 2013, Berlin, Germany

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

           Organized by Ada-Germany on behalf of Ada-Europe,
            in cooperation with ACM SIGAda, SIGBED, SIGPLAN

         The 18th International Conference on Reliable Software
       Technologies - Ada-Europe 2013 will take place in Berlin,
     Germany. Following its traditional style, the conference will
      span a full week, including, from Tuesday to Thursday, three
    days of parallel scientific, technical and industrial sessions,
   along with parallel tutorials and workshops on Monday and Friday.

              *** DEADLINE Wednesday 12 December 2012 ***

                       Regular Papers: submit via
            http://www.easychair.org/conferences/?conf=ae13

                Tutorials: submit to the Tutorial Chair
                   Juergen.Mottok at hsregensburg.de

               Workshops: submit to a Conference Co-Chair
(Continue reading)


Gmane