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/225 <pre>----------------------------------------------------------------------- 2nd Call for Participation 17th International Conference on Reliable Software Technologies - Ada-Europe 2012 11-15 June 2012, Stockholm, Sweden http://www.ada-europe.org/conference2012 Organized by Ada-Europe, in cooperation with ACM SIGAda, SIGBED, SIGPLAN *** Early registration DEADLINE Monday 7 May 2012 *** ----------------------------------------------------------------------- The 17th International Conference on Reliable Software Technologies - Ada-Europe 2012 will take place in Stockholm, Sweden. Following its traditional style, the conference will span a full week, including, from Tuesday to Thursday, three days of parallel scientific, technical and industrial programs, along with parallel tutorials on Monday and Friday. The Ada-Europe series of conferences has become established as a suc</pre> Dirk Craeynest 2012-05-02T21:27:05 http://permalink.gmane.org/gmane.comp.lang.ada.german/224 <pre>Automotive – Safety &amp; Security 2012 14. – 15. November 2012 Bosch Tagungs- u. Konferenzzentrum, Karlsruhe 2. Aufruf zur Einreichung von Beiträgen Termine 08.05.12Einreichung der Beiträge (Vollfassung bevorzugt) 10.07.12Benachrichtigung über Annahme 01.09.12Eingang Druckvorlage der Beiträge Einreichung der Beiträge und Kurzfassungen: Einreichung der Beiträge in Deutsch/Englisch als Vollfas-sung oder erweiterte Kurzfassung bitte per E-Mail an: beitrag&lt; at &gt;automotive2012.de Format der schriftlichen Fassung RTF-Format, max. 15 Seiten, Schriftgröße 12 pt, Layout (http://www.automotive2012.de/cfp/format_style.rtf) Es sind Beiträge zu folgenden Themen aus dem Automotive Engineering oder ähnlichen Bereichen der Softwareentwicklung erwünscht: Zuverlässigkeit und Sicherheit für betriebskritische Software und IT-Systeme Evaluation u. Qualifikation von Sicherheitseigenschaften automobiler Plattform- und Applikationssoftware Werkzeuge zur Verbesserung der Zuverlässigkeit im Software Life Cycle Z</pre> Hubert B. Keller (IAI 2012-04-23T13:18:29 http://permalink.gmane.org/gmane.comp.lang.ada.german/223 <pre>----------------------------------------------------------------------- Call for Participation *** PROGRAM SUMMARY *** 17th International Conference on Reliable Software Technologies - Ada-Europe 2012 11-15 June 2012, Stockholm, Sweden http://www.ada-europe.org/conference2012 Organized by Ada-Europe, in cooperation with ACM SIGAda, SIGBED, SIGPLAN *** Early registration discount until May 7 *** *** Preliminary Program available on conference web site *** ----------------------------------------------------------------------- The 17th International Conference on Reliable Software Technologies - Ada-Europe 2012 will take place in Stockholm, Sweden. Following its traditional style, the conference will span a full week, including, from Tuesday to Thursday, three days of parallel scientific, technical and industrial programs, along with</pre> Dirk Craeynest 2012-04-12T21:42:16 http://permalink.gmane.org/gmane.comp.lang.ada.german/222 <pre>An alle Interessenten. Sollten Sie Mitglied werden wollen bei Ada Europe und die Konferenz in Schweden damit verbilligt besuchen wollen, so geben Sie bitte baldigst Bescheid. Beste Grüße Hubert Keller, Sprecher GI FG Ada - Zuverlässige Softwaresysteme </pre> Hubert B. Keller (IAI 2012-04-02T15:19:28 http://permalink.gmane.org/gmane.comp.lang.ada.german/221 <pre>Zur Info. Hubert Keller -------- Original-Nachricht -------- Betreff: [re-newsletter] Gründung eines Arbeitskreises "Use Cases in Forschung und industrieller Praxis" innerhalb der GI-Fachgruppe RE Datum: Mon, 02 Apr 2012 10:27:34 +0200 Von: Andrea Herrmann &lt;AndreaHerrmann3&lt; at &gt;gmx.de&gt; An: re-newsletter&lt; at &gt;gi-ev.de Sehr geehrte Damen und Herren, liebe RE-Interessierte, Use Cases sind eine bekannte Spezifikationstechnik für Softwaresysteme. Wie beim Fachgruppentreffen im November 2011 in Hamburg vorgestellt, möchten wir gerne einen Arbeitskreis gründen, in dem interessierte Vertreter aus Forschung und Praxis das gemeinsame Verständnis von Use Cases weiterentwickeln, praktische Erfahrungen und Tipps für die Arbeit mit Use Cases austauschen, Ergebnisse aus der Forschung diskutieren und Impulse für die weitere Forschung geben können. Falls Sie grundsätzlich Interesse an Use Cases und der Mitarbeit in einem entsprechenden Arbeitskreis haben, schicken Sie bitte bis zum 16.04.2012 eine unverbindliche E-Mail a</pre> Hubert B. Keller (IAI 2012-04-02T09:40:57 http://permalink.gmane.org/gmane.comp.lang.ada.german/220 <pre>----------------------------------------------------------------------- *** All presentations available on-line *** Ada Developer Room at FOSDEM 2012 (Ada at the Free and Open-Source Software Developers' European Meeting) Saturday 4 February 2012 Université Libre de Bruxelles (U.L.B.), Solbosch Campus, Room AW1.121 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/12/120204-fosdem.html&gt; ----------------------------------------------------------------------- All presentations at the Ada Developer Room, held at FOSDEM 2012 in Brussels last Saturday, are available on the Ada-Belgium web site now: - "Welcome &amp; Ada-Europe info" by Dirk Craeynest - Ada-Belgium - "An introduction to Ada 2005 and Ada 2012" by Jean-Pierre Rosen - Adalog - "Ada in the on-line multi-user game Crimeville" by Jacob Sparre Andersen - Res</pre> Dirk Craeynest 2012-02-07T22:08:39 http://permalink.gmane.org/gmane.comp.lang.ada.german/219 <pre>Falls aus der Ada Community Vorschläge kommen, gebe ich diese gerne weiter. Viele Grüße Hubert Keller -------- Original-Nachricht -------- Betreff: GI-Fellows 2012: Aufruf zur Nominierung Datum: Tue, 7 Feb 2012 16:07:40 +0100 (CET) Von: gi-mitglieder-info&lt; at &gt;gi-ev.de An: Hubert.Keller&lt; at &gt;iai.fzk.de Sehr geehrte Damen und Herren, liebe GI-Mitglieder, Sie haben auch in diesem Jahr wieder die Möglichkeit, verdiente Persönlichkeiten für das GI-Fellowship vorzuschlagen. Die GI zeichnet in jedem Jahr einige ihrer Mitglieder für besondere Verdienste um die GI selbst oder um die Informatik aus. Dieses Programm haben wir im Jahr 2002 gestartet, mittlerweile zählen wir gut 70 Fellows in unserer Mitte. Wenn Sie nun jemanden kennen, der Ihrer Meinung nach Besonderes für die GI und/oder die Informatik geleistet hat, können Sie ihn oder sie gemeinsam mit mindestens vier anderen GI-Mitgliedern für das Fellowship vorschlagen. Um eine formale Vergleichbarkeit der Vorschläge zu erreichen, haben wir eine Nom</pre> Hubert Keller 2012-02-07T19:28:04 http://permalink.gmane.org/gmane.comp.lang.ada.german/218 <pre>The following message is distributed to various mailing lists and newsgroups. As FOSDEM is an international event attracting thousands of participants, you might be interested to attend and/or help announce the Ada Developer Room. Thanks for any help! ----------------------------------------------------------------------- Ada-Belgium is pleased to announce its Ada Developer Room at FOSDEM 2012 (Ada at the Free and Open-Source Software Developers' European Meeting) Saturday 4 February 2012 Université Libre de Bruxelles (U.L.B.), Solbosch Campus, Room AW1.121 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/12/120204-fosdem.html&gt; ----------------------------------------------------------------------- The Free and Open-Source Developers' Meeting (FOSDEM) is an annual event held in Brussels, Belgium, in February. </pre> Dirk Craeynest 2012-01-21T16:43:20 http://permalink.gmane.org/gmane.comp.lang.ada.german/217 <pre>Call-for-Papers Anbei der Call for Paper der SafeComp 2012 in Magdeburg CFP-Txt: http://www-e.uni-magdeburg.de/safecomp/images/CFP/cfp.txt CFP-Pdf: http://www-e.uni-magdeburg.de/safecomp/images/CFP/cfp.pdf Important Dates Abstract Submission 05.02.2012 Full Paper Submission 19.02.2012 Notification of Acceptance 14.05.2012 Conference 25.09.2012 Viele Grüße Hubert Keller, Sprecher FG Ada </pre> Hubert Keller 2012-01-14T19:46:33 http://permalink.gmane.org/gmane.comp.lang.ada.german/216 <pre>----------------------------------------------------------------------- FINAL Call for Industrial Presentations 17th International Conference on Reliable Software Technologies - Ada-Europe 2012 11-15 June 2012, Stockholm, Sweden http://www.ada-europe.org/conference2012 *** DEADLINE Thursday 12 JANUARY 2012 *** ----------------------------------------------------------------------- The 17th International Conference on Reliable Software Technologies - Ada-Europe 2012 will take place in Stockholm, Sweden. Following its traditional style, the conference will span a full week, including, from Tuesday to Thursday, three days of parallel scientific, technical and industrial programs, 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 </pre> Dirk Craeynest 2012-01-07T21:48:58 http://permalink.gmane.org/gmane.comp.lang.ada.german/216 <pre>----------------------------------------------------------------------- FINAL Call for Industrial Presentations 17th International Conference on Reliable Software Technologies - Ada-Europe 2012 11-15 June 2012, Stockholm, Sweden http://www.ada-europe.org/conference2012 *** DEADLINE Thursday 12 JANUARY 2012 *** ----------------------------------------------------------------------- The 17th International Conference on Reliable Software Technologies - Ada-Europe 2012 will take place in Stockholm, Sweden. Following its traditional style, the conference will span a full week, including, from Tuesday to Thursday, three days of parallel scientific, technical and industrial programs, 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 </pre> Dirk Craeynest 2012-01-07T21:48:58 http://permalink.gmane.org/gmane.comp.lang.ada.german/216 <pre>----------------------------------------------------------------------- FINAL Call for Industrial Presentations 17th International Conference on Reliable Software Technologies - Ada-Europe 2012 11-15 June 2012, Stockholm, Sweden http://www.ada-europe.org/conference2012 *** DEADLINE Thursday 12 JANUARY 2012 *** ----------------------------------------------------------------------- The 17th International Conference on Reliable Software Technologies - Ada-Europe 2012 will take place in Stockholm, Sweden. Following its traditional style, the conference will span a full week, including, from Tuesday to Thursday, three days of parallel scientific, technical and industrial programs, 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 </pre> Dirk Craeynest 2012-01-07T21:48:58 http://permalink.gmane.org/gmane.comp.lang.ada.german/215 <pre>Zur Info. Hubert Keller -------- Original-Nachricht -------- Betreff: C.f.Industrial Pres., Reliable Software Technologies, Ada-Europe 2012 Datum: Wed, 14 Dec 2011 23:54:41 +0100 (CET) Von: Dirk Craeynest &lt;Dirk.Craeynest&lt; at &gt;cs.kuleuven.be&gt; An: Ada-Europe-attendees&lt; at &gt;cs.kuleuven.be This call for industrial presentations is specifically targeted to those of you who either work on industrial projects (possibly Ada-related) where reliable software is important, or know people working on such projects. Consider what others might learn from the experience gained in those projects, and please try to get a presentation overview submitted by January 12th at the latest, i.e. four weeks from now. 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. We're looking forward to receiving many interesting presentations. Dirk Craeynest, Ada-Europe'2012 Publicity Chair -------------------------------------------</pre> Hubert B. Keller (IAI 2011-12-16T08:59:36 http://permalink.gmane.org/gmane.comp.lang.ada.german/214 <pre>This call for industrial presentations is specifically targeted to those of you who either work on industrial projects (possibly Ada-related) where reliable software is important, or know people working on such projects. Consider what others might learn from the experience gained in those projects, and please try to get a presentation overview submitted by January 12th at the latest, i.e. four weeks from now. 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. We're looking forward to receiving many interesting presentations. Dirk Craeynest, Ada-Europe'2012 Publicity Chair ----------------------------------------------------------------------- Call for Industrial Presentations 17th International Conference on Reliable Software Technologies - Ada-Europe 2012 11-15 June 2012, Stockholm, Sweden http://www</pre> Dirk Craeynest 2011-12-14T22:51:51 http://permalink.gmane.org/gmane.comp.lang.ada.german/213 <pre>The Ada-Europe 2012 Conference and Program Chairs decided that the submission deadline for regular papers, tutorials and workshops will be extended by 1 week until Monday, December 5, 2011. Nevertheless, abstract registration is requested by Monday, November 28, 2011. The intention is to provide some more time for authors to finalize their contributions. ----------------------------------------------------------------------- FINAL Call for Papers / Tutorials / Workshops EXTENDED DEADLINE 17th International Conference on Reliable Software Technologies - Ada-Europe 2012 11-15 June 2012, Stockholm, Sweden http://www.ada-europe.org/conference2012 Organized by Ada-Europe, in cooperation with ACM SIGAda, SIGBED, SIGPLAN (approval pending) The 17th International Conference on Reliable Software Technologies (Ada-Europe 2012) will take place in Stockholm, </pre> Dirk Craeynest 2011-11-22T22:16:26 http://permalink.gmane.org/gmane.comp.lang.ada.german/212 <pre>This announcement is distributed to various Ada-related mailing lists and newsgroups. As FOSDEM is an international event, we're interested in feedback and suggestions from all forums. Thanks for any help! ----------------------------------------------------------------------- Preliminary Announcement 3rd Ada Developer Room at FOSDEM 2012 4 February 2012, Brussels, Belgium http://www.cs.kuleuven.be/~dirk/ada-belgium/events/12/120204-fosdem.html ----------------------------------------------------------------------- We are pleased to announce that there will be a one-day Ada Developer Room on Saturday 4 February 2012 at FOSDEM 2012 in Brussels, Belgium. FOSDEM [1], the Free and Open source Software Developers' European Meeting, is a free and non-commercial two-day 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 proj</pre> Dirk Craeynest 2011-11-14T14:04:20 http://permalink.gmane.org/gmane.comp.lang.ada.german/211 <pre>Zur Info. Hubert Keller ----------------------------------------------------------------------- 2nd CALL FOR PAPERS 17th International Conference on Reliable Software Technologies - Ada-Europe 2012 11-15 June 2012, Stockholm, Sweden http://www.ada-europe.org/conference2012 Organized by Ada-Europe, in cooperation with ACM SIGAda, SIGBED, SIGPLAN (approval pending) *** DEADLINE 28 NOVEMBER *** *** Web submission system available *** ----------------------------------------------------------------------- Ada-Europe organizes annual international conferences since the early 80's. This is the 17th 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), Tou</pre> Hubert Keller 2011-11-01T15:50:09 http://permalink.gmane.org/gmane.comp.lang.ada.german/210 <pre>----------------------------------------------------------------------- 2nd CALL FOR PAPERS 17th International Conference on Reliable Software Technologies - Ada-Europe 2012 11-15 June 2012, Stockholm, Sweden http://www.ada-europe.org/conference2012 Organized by Ada-Europe, in cooperation with ACM SIGAda, SIGBED, SIGPLAN (approval pending) *** DEADLINE 28 NOVEMBER *** *** Web submission system available *** ----------------------------------------------------------------------- Ada-Europe organizes annual international conferences since the early 80's. This is the 17th 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 Ma</pre> Dirk Craeynest 2011-10-30T17:25:12 http://permalink.gmane.org/gmane.comp.lang.ada.german/209 <pre>----------------------------------------------------------------------- CALL FOR PAPERS 17th International Conference on Reliable Software Technologies - Ada-Europe 2012 11-15 June 2012, Stockholm, Sweden http://www.ada-europe.org/conference2012 Organized by Ada-Europe, in cooperation with ACM SIGAda (approval pending) *** CfP in HTML/PDF on web site *** ----------------------------------------------------------------------- Ada-Europe organizes annual international conferences since the early 80's. This is the 17th 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), Genev</pre> Dirk Craeynest 2011-09-11T18:34:02 http://permalink.gmane.org/gmane.comp.lang.ada.german/208 <pre>----------------------------------------------------------------------- PRELIMINARY CALL FOR PAPERS 17th International Conference on Reliable Software Technologies - Ada-Europe 2012 11-15 June 2012, Stockholm, Sweden http://www.ada-europe.org/conference2012 Organized by Ada-Europe, in cooperation with ACM SIGAda (approval pending) *** CfP in HTML/PDF on web site *** ----------------------------------------------------------------------- Ada-Europe organizes annual international conferences since the early 80's. This is the 17th 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),</pre> Dirk Craeynest 2011-07-06T20:52:14 http://permalink.gmane.org/gmane.comp.lang.ada.german/207 <pre>FOR IMMEDIATE RELEASE On-line Availability of Ada User Journal 30th Anniversary Special Issue EDINBURGH, UK (June 20, 2011) - On the occasion of Ada-Europe 2011[1], the 16th annual Conference on Reliable Software Technologies, Ada-Europe[2] announces the on-line availability of the Ada User Journal 30th Anniversary special issue. Ada User Journal[3], the quarterly publication of Ada-Europe, keeps its readership abreast of developments in the standardization, use and promotion of the Ada programming language and technology, as well as issues related with reliable software technologies and engineering in Europe and the rest of the world. The origins of the Ada User Journal date back to the birth of Ada UK News, which started publication in March 1980. The current name of the Journal first appeared in Volume 15 in the year 1994, when it was still published by Ada UK. Ada-Europe published the Ada-Europe News since June 1989, until it was merged with the Ada User Journal in March 1998. From that time onward, </pre> Dirk Craeynest 2011-06-21T00:01:12 Search the mailing list at Gmane query http://search.gmane.org/?group=$group=gmane.comp.lang.ada.german