The German Ada mailing list

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

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

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)

Group

gmane.comp.lang.ada.german.

Project Web Page

The German Ada mailing list

Search Archive

Page

1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11

May 2013

Language

Change language

Options

Current view: Threads only / Showing only 20 lines / Not hiding cited text.
Change to All messages, whole messages, or hide cited text.

Post a message
NNTP Newsgroup
Classic Gmane web interface
XML

XML

RSS Feed
List Information

About Gmane

Recent entries

Ada-Europe 2013 early registration deadline approaching (30 Apr 2013)
18th Int.Conf. Reliable Software Technologies, Ada-Europe 2013 (18 Apr 2013)
Ada Tour CD (16 Feb 2013)
FOSDEM 2013 - Presentations Ada Developer Room on-line (13 Feb 2013)
FOSDEM 2013 - Ada Developer Room - Sun 3 Feb 2013 - Brussels (17 Jan 2013)
Ada 2012 redux (17 Jan 2013)
FINAL CfIP, Conf. Reliable Software Technologies, Ada-Europe 2013 (8 Jan 2013)
C.f.Industrial Pres., Reliable Software Technologies, Ada-Europe 2013 (23 Dec 2012)
Press Release - Ada 2012 Language Standard Approved by ISO (18 Dec 2012)
Ada - In Strong Typing We Trust - redesigned 2012 "coin" (10 Dec 2012)
FINAL CfP Ada-Europe 2013, Dec 12 submission deadline (8 Dec 2012)
Ada-Europe 2013 EXTENDED 12 December submission deadline (25 Nov 2012)
Call for Talks - Ada Developer Room at FOSDEM 2013, Brussels (6 Nov 2012)
Ada-Europe 2013 submission deadline approaching (4 Nov 2012)
Automotive 2012 (19 Oct 2012)
CfP 18th Conf. Reliable Software Technologies, Ada-Europe 2013 (30 Sep 2012)
Automotive 2012 (24 Sep 2012)
Fwd: Automotive Summerschool 2012 - "Multicore - Ein Innovationsfaktor (5 Aug 2012)
Ada-Europe Announces 1st Ada Way Award Winners and Try-and-Beat-Me Cha (30 Jul 2012)
5.Automotive Summerschool 2012: „Multi-Core – Ein Innovationsfakto (5 Jul 2012)
Fwd: informatiCup 2013: Anspruchsvolle Aufgaben gesucht! (20 Jun 2012)

Archives

2	April 2013
2	February 2013
3	January 2013
4	December 2012
3	November 2012
1	October 2012
2	September 2012
1	August 2012
2	July 2012
3	June 2012
2	May 2012
4	April 2012
2	February 2012
3	January 2012
2	December 2011
3	November 2011
1	October 2011
1	September 2011
1	July 2011
2	June 2011
1	May 2011
3	April 2011
1	February 2011
2	January 2011
5	December 2010
2	November 2010
4	October 2010
4	September 2010
1	August 2010
1	July 2010
2	June 2010
1	May 2010
1	April 2010
2	March 2010
2	February 2010
3	January 2010
2	December 2009
2	November 2009
2	October 2009
2	September 2009
1	August 2009
3	July 2009
1	June 2009
3	May 2009
1	April 2009
1	March 2009
4	February 2009
4	January 2009
1	November 2008
2	October 2008
1	September 2008
2	July 2008
2	June 2008
2	May 2008
2	April 2008
1	March 2008
1	February 2008
3	January 2008
3	December 2007
3	November 2007
6	October 2007
7	September 2007
2	July 2007
4	June 2007
2	May 2007
1	March 2007
1	January 2007
2	December 2006
3	November 2006
2	October 2006
3	July 2006
4	June 2006
4	May 2006
7	April 2006
8	March 2006
7	February 2006
4	January 2006
2	December 2005
3	November 2005
11	October 2005
6	September 2005
2	August 2005
1	July 2005
9	June 2005
7	May 2005
5	April 2005
7	March 2005

Design

Zawodny | Right Menu | Left Menu

Your Own Design

Paste the URL of your CSS below. Download CSS template