http://permalink.gmane.org/gmane.comp.lang.ada.german hourly 1 1901-01-01T00:00+00:00 http://gmane.org/img/gmane-25t.png http://gmane.org http://permalink.gmane.org/gmane.comp.lang.ada.german/251 <pre>Ein Ada Artikel auf heise-online zu Ihrer Information: http://www.heise.de/developer/artikel/Nebenlaeufige-Programmierung-in-Ada-1862433.html Mit freundlichen Grüßen Dr. Peter Dencker Leitungsgremium FG Ada ETAS GmbH Hochschulbeauftragter Borsigstraße 14 70469 Stuttgart Phone  +49 711 89661-375 Mobil +49 175 226 24 64 Fax    +49 711 89661-106 peter.dencker&lt; at &gt;etas.com www.etasgroup.com Geschäftsführung: Friedhelm Pickhard, Philipp Rose, Uwe Hillmann Registergericht: Amtsgericht Stuttgart HRB 19033 _______________________________________________ Ada mailing list Ada&lt; at &gt;gi-fb-sicherheit.de http://mail.gi-fb-sicherheit.de/mailman/listinfo/ada </pre> Dencker Peter (ETAS/SA1 2013-05-23T12:49:23 http://permalink.gmane.org/gmane.comp.lang.ada.german/250 <pre>Liebe Mitglieder, in diesem Jahr findet die Mitgliederversammlung der GI-Fachgruppe Ada – Zuverlässige Software-Systeme anlässlich der Ada Europe 2013 in Berlin statt. Das aktuelle Veranstaltungsprogramm finden Sie auf http://www.ada-europe2013.org/ Hiermit laden wir Sie ganz herzlich zu unserer Mitgliederversammlung 2013 ein. Ort: Hotel Seminaris, Takustr. 39, 14195 Berlin (Raum wird im Eingangsbereich des Tagungstraktes angezeigt) Zeit: Dienstag, 11.06.2013, 18.00 - 19.00 Mitgliederversammlung GI-Fachgruppe Ada – Zuverlässige Software-Systeme Tagesordnung: 1. Begrüßung 2. Bericht des Leitungsgremiums über das Geschäftsjahr 2012 3. Neuwahlen 3. Planung der Veranstaltungen in 2013 und 2014 4. Verschiedenes Wir freuen uns auf Ihr Kommen und die gemeinsame Zeit in Berlin. Mit freundlichen Grüßen Dr. Peter Dencker Leitungsgremium FG Ada - Zuverlässige Software-Systeme c/o ETAS GmbH Borsigstraße 14 70469 Stuttgart Phone +49 711 89661-375 Mobil +49 175 226 24 64 Fax +49</pre> Dencker Peter (ETAS/SA1 2013-05-22T12:52:14 http://permalink.gmane.org/gmane.comp.lang.ada.german/249 <pre>----------------------------------------------------------------------- 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 o</pre> Dirk Craeynest 2013-04-30T16:26:19 http://permalink.gmane.org/gmane.comp.lang.ada.german/248 <pre>----------------------------------------------------------------------- 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</pre> Dirk Craeynest 2013-04-18T20:40:08 http://permalink.gmane.org/gmane.comp.lang.ada.german/247 <pre>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. </pre> Hubert Keller 2013-02-16T22:16:23 http://permalink.gmane.org/gmane.comp.lang.ada.german/246 <pre>----------------------------------------------------------------------- *** 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 &lt;http://www.cs.kuleuven.be/~dirk/ada-belgium/events/13/130203-fosdem.html&gt; ----------------------------------------------------------------------- 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 &amp; Ada-Europe info" by Dirk Craeynest - Ada-Belgium - "Introduction to Ada for Beginning and Experienced Programmers" by Jean-Pierre Rosen - Adalog - "Tool</pre> Dirk Craeynest 2013-02-13T21:16:08 http://permalink.gmane.org/gmane.comp.lang.ada.german/245 <pre>----------------------------------------------------------------------- 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 &lt;http://www.cs.kuleuven.be/~dirk/ada-belgium/events/13/130203-fosdem.html&gt; ----------------------------------------------------------------------- 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 la</pre> Dirk Craeynest 2013-01-17T22:53:47 http://permalink.gmane.org/gmane.comp.lang.ada.german/244 <pre>Gruß </pre> Hubert Keller 2013-01-17T18:56:49 http://permalink.gmane.org/gmane.comp.lang.ada.german/243 <pre>----------------------------------------------------------------------- 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 </pre> Dirk Craeynest 2013-01-08T20:55:47 http://permalink.gmane.org/gmane.comp.lang.ada.german/242 <pre>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</pre> Dirk Craeynest 2012-12-23T21:56:35 http://permalink.gmane.org/gmane.comp.lang.ada.german/241 <pre>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) ty</pre> Dirk Craeynest 2012-12-18T07:47:29 http://permalink.gmane.org/gmane.comp.lang.ada.german/240 <pre>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 &lt;http://www.cs.kuleuven.be/~dirk/ada-belgium/pictures/ada-strong.html&gt; 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&lt; at &gt;cs.kuleuven.be (for Ada-Belgium/-Europe/SIGAda/WG9 mail) Disclaimer: http://www.kuleuven.be/cwis/email_disclaimer.htm </pre> Dirk Craeynest 2012-12-10T22:13:19 http://permalink.gmane.org/gmane.comp.lang.ada.german/239 <pre>----------------------------------------------------------------------- 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.easychai</pre> Dirk Craeynest 2012-12-08T00:44:55 http://permalink.gmane.org/gmane.comp.lang.ada.german/238 <pre>The Ada-Europe 2012 Conference organizers decided to provide more time for authors to finalize their contributions, and hence extended the deadline for submission of regular papers, tutorial and workshop proposals to 12 December 2012 (firm deadline). ----------------------------------------------------------------------- UPDATED Call for Papers - EXTENDED DEADLINE 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 (approval pending) *** Extended DEADLINE Wednesday 12 DECEMBER 2012 *** ----------------------------------------------------------------------- Ada-Europe organizes annual international conferences since the early 80's. This is the 18th event in the Reliable Software Technologies serie</pre> Dirk Craeynest 2012-11-25T21:24:03 http://permalink.gmane.org/gmane.comp.lang.ada.german/237 <pre>----------------------------------------------------------------------- Preliminary Announcement and Call for Talks 4th Ada Developer Room at FOSDEM 2013 Sunday 3 February 2013, Brussels, Belgium Organized in cooperation with Ada-Europe http://www.cs.kuleuven.be/~dirk/ada-belgium/events/13/130203-fosdem.html ----------------------------------------------------------------------- Ada-Belgium [1] is pleased to announce that there will be a one-day Ada Developer Room on Sunday 3 February 2013 at FOSDEM 2013 in Brussels, Belgium. This Ada DevRoom is once more organized in cooperation with Ada-Europe [2]. FOSDEM [3], the Free and Open source Software Developers' European Meeting, is a free and non-commercial two-day weekend event organized each February in Brussels, Belgium. The goal is to provide Free Software and Open Source developers and communities a place to meet with other developers and projects, to be informed about the latest develo</pre> Dirk Craeynest 2012-11-06T22:33:36 http://permalink.gmane.org/gmane.comp.lang.ada.german/236 <pre>----------------------------------------------------------------------- 2nd CALL FOR PAPERS 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 (approval pending) *** DEADLINE 3 DECEMBER *** *** Web submission system available *** ----------------------------------------------------------------------- Ada-Europe organizes annual international conferences since the early 80's. This is the 18th 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), Pa</pre> Dirk Craeynest 2012-11-04T09:49:41 http://permalink.gmane.org/gmane.comp.lang.ada.german/235 <pre>Sehr geehrte Damen und Herren, hiermit ergeht die freundliche Einladung an Sie an der Automotive - Safety &amp; Security 2012 14. - 15. November 2012, Karlsruhe, Robert Bosch GmbH, Tagungsbereich teilzunehmen. Details finden Sie unter http://www.automotive2012.de/ Konferenzinformationen Die Automotive Safety &amp; Security 2012 adressiert die zentralen Themen Zuverlässigkeit und Sicherheit softwarebasierter Funktionen im Automotive Bereich. Über zwei Tage werden die neuesten Ideen und konkreten Lösungen für die drängenden Herausforderungen der Softwareentwicklung mit Schwerpunkt auf Sicherheit und Zuverlässigkeit sowie Qualität in Karlsruhe auf dem Areal der Robert Bosch GmbH, Geschäftsbereich Automotive Aftermarket, diskutiert. Eingeladene Hauptredner sind Stefan Jähnichen, Past President der GI, über Modelica - Modeling and Simulation of technical Systems, Matthias Klauda, Department Head, Automotive Systems Integration (C/AI), Robert Bosch GmbH über Automotive Safety and Security from a Su</pre> Hubert B. Keller (IAI 2012-10-19T13:24:34 http://permalink.gmane.org/gmane.comp.lang.ada.german/234 <pre>----------------------------------------------------------------------- CALL FOR PAPERS 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 (requests pending) with ACM SIGAda, SIGBED, SIGPLAN *** CfP in HTML/PDF on web site *** ----------------------------------------------------------------------- Ada-Europe organizes annual international conferences since the early 80's. This is the 18th 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, P</pre> Dirk Craeynest 2012-09-30T20:01:39 http://permalink.gmane.org/gmane.comp.lang.ada.german/233 <pre>Aufruf zur Teilnahme an der Automotive - Safety &amp; Security 2012 14. - 15. November 2012, Karlsruhe http://www.automotive2012.de/ Die Automotive Safety &amp; Security 2012 adressiert die zentralen Themen Zuverlässigkeit und Sicherheit softwarebasierter Funktionen im Automotive Bereich. Über zwei Tage werden die neuesten Ideen und konkreten Lösungen für die drängenden Herausforderungen der Softwareentwicklung mit Schwerpunkt auf Sicherheit und Zuverlässigkeit sowie Qualität in Karlsruhe auf dem Areal der Robert Bosch GmbH, Geschäftsbereich Automotive Aftermarket, diskutiert. Eingeladene Hauptredner sind Stefan Jähnichen, Past President der GI, über Modelica - Modeling and Simulation of technical Systems, Matthias Klauda, Department Head, Automotive Systems Integration (C/AI), Robert Bosch GmbH über Automotive Safety and Security from a Supplier’s Perspective sowie Stefan Schmerler (Director of Advanced Engineering of E/E Architecture and Standards at the Daimler AG, Böblingen und Spoke</pre> Hubert B. Keller (IAI 2012-09-24T07:15:51 http://permalink.gmane.org/gmane.comp.lang.ada.german/232 <pre> -------- Original-Nachricht -------- Betreff: Automotive Summerschool 2012 - "Multicore - Ein Innovationsfaktor für Embedded Systeme" Datum: Tue, 31 Jul 2012 07:55:54 +0000 Von: Kathrin.Skobjin&lt; at &gt;it-speicher.de &lt;kathrin.skobjin&lt; at &gt;it-speicher.de&gt; Sehr geehrte Mitglieder des Automotive Forums, wir möchten Sie recht herzlich zur diesjährigen Automotive Summerschool von 19. bis 22.09. zum Thema *„Multicore - Ein Innovationsfaktor für Embedded Systeme"* einladen. Multicore-Prozessoren vereinen eine stetig wachsende Zahl eigenständiger Recheneinheiten auf einem Chip. Chip-Hersteller versuchen so, neue Leistungspotenziale zu erschließen. Dabei stehen die Entwickler bei der Integration dieser Prozessoren in den Entwicklungsprozess vor großen Herausforderungen. Im Einzelnen müssen die Systeme nunmehr für Parallelität der Ausführung entwickelt werden. In der diesjährigen Automotive Sommerschool geht es um Fragestellungen hinsichtlich der Eignung von Betriebssystemen für den Multicore-Einsatz, de</pre> Hubert Keller 2012-08-05T15:42:59 http://permalink.gmane.org/gmane.comp.lang.ada.german/231 <pre>FOR IMMEDIATE RELEASE Ada-Europe Announces First "Ada Way" Award Winners and "Try and Beat Me" Challenge Brussels, Belgium (July 30, 2012) - Ada-Europe, www.ada-europe.org, the international organization that promotes the knowledge and use of the Ada programming language in European academia, research and industry, launched "The Ada Way" annual student programming contest in September 2010. The first challenge was to build a software simulator of a football (soccer) match. The submitted code had to include a software core implementing the logic of the simulation, and read-write graphical panels for interactive team management. The evaluation committee chose one of the submissions made until April 2012, which at the recent Ada-Europe 2012 conference in Stockholm was proclaimed the reference implementation. The winning student team, formed by Ricardo Aguirre Reyes, Andrea Graziano, Marco Teoli, and Alberto Zuccato, received a laminated Ada Way Award donated by Ada-Europe to commend the outstanding qualit</pre> Dirk Craeynest 2012-07-30T21:04:50 Search the mailing list at Gmane query http://search.gmane.org/?group=$group=gmane.comp.lang.ada.german