headers
Dirk Craeynest | 2 May 23:27
Picon

Ada-Europe 2012 early registration deadline approaching

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

                       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
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)

Permalink | Reply | 0 comments |
headers
Hubert B. Keller (IAI | 23 Apr 15:18
Favicon

2. Call for Paper Automotive – Safety & Security 2012

Automotive – Safety & Security 2012
14. – 15. November 2012
Bosch Tagungs- u. Konferenzzentrum, Karlsruhe

2. Aufruf zur Einreichung von Beiträgen

Termine
08.05.12	Einreichung der Beiträge (Vollfassung bevorzugt)
10.07.12	Benachrichtigung über Annahme
01.09.12	Eingang 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 <at> 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
Zuverlässige Integration von modellbasierten Architekturen mit 
regelungstechnischen Werkzeugen
Zuverlässige automobile Echtzeit-Betriebssysteme (AUTOSAR und 
Virtualisierung)
(Continue reading)

Permalink | Reply | 0 comments |
headers
Dirk Craeynest | 12 Apr 23:42
Picon

17th Int.Conf. Reliable Software Technologies, Ada-Europe 2012

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

                         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 parallel tutorials on Monday and
Friday.

The Ada-Europe series of conferences has become established as a
successful international forum for providers, practitioners and
(Continue reading)

Permalink | Reply | 0 comments |
headers
Hubert B. Keller (IAI | 2 Apr 17:19
Favicon

Ada Europe Membership und Konferenz in Schweden

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

-- 
________________________________________________________________________

Dr. Hubert B. Keller
Leiter AGn Intelligente Sensorsysteme u. Innovative Prozessführung
Vorsitzender Ada Deutschland e.V.
Sprecher Fachgruppe Ada, Gesellschaft für Informatik
Mitglied Arbeitskreis Begriffe, GI-Fachbereich Sicherheit
Mitglied Arbeitskreis Sicherheit, VDI-Präsidium
Obmann VDI/VDE-GMA Fachausschuss Embedded Software
Dozent für Realzeitsysteme, Software Engineering, Wissensbasierte Systeme

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

Permalink | Reply | 0 comments |
headers
Hubert B. Keller (IAI | 2 Apr 11:40
Favicon

Fwd: [re-newsletter] Gründung eines Arbeitskreises "Use Cases in Forschung und industrieller Praxis" innerhalb der GI-Fachgruppe RE

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 <AndreaHerrmann3 <at> gmx.de>
An: re-newsletter <at> 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 an Veit Hofmann
(vhoff <at> swc.rwth-aachen.de) oder Holger Röder (holger.roeder <at> de.trumpf.com).

Im Anschluss werden wir gemeinsam mit allen Interessenten Termin und Ort
der ersten Arbeitskreis-Sitzung vereinbaren. Bei dieser ersten Sitzung
möchten wir uns gerne auf eine initiale Agenda für den Arbeitskreis
einigen, also auf Themen, Aufgaben, Termine und das Vorgehen bei der
Zusammenarbeit.
(Continue reading)

Permalink | Reply | 0 comments |
headers
Dirk Craeynest | 7 Feb 23:08
Picon

FOSDEM 2012 - Presentations Ada Developer Room on-line

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

              *** 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

<http://www.cs.kuleuven.be/~dirk/ada-belgium/events/12/120204-fosdem.html>

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

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 & 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 - Research & Innovation
- "The contract model of Ada 2012"
   by Jean-Pierre Rosen - Adalog
(Continue reading)

Permalink | Reply | 0 comments |
headers
Hubert Keller | 7 Feb 20:28
Favicon

Fwd: GI-Fellows 2012: Aufruf zur Nominierung

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 <at> gi-ev.de
An: Hubert.Keller <at> 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 Nominierungshilfe bereitgestellt, die Sie unter 
http://www.gi.de/wir-ueber-uns/personen/fellowship/ zum Herunterladen 
finden, zusammen mit weiteren Informationen zum Fellowship und den 
Auszeichnungskriterien. Einsendeschluss ist der 25. Mai 2012.

Im Frühsommer trifft sich der Auswahlausschuss unter der Leitung von 
Past President Jähnichen, um über die eingegangenen Vorschläge zu
(Continue reading)

Permalink | Reply | 0 comments |
headers
Dirk Craeynest | 21 Jan 17:43
Picon

FOSDEM 2012 - Ada Developer Room, Sat 4 2012, Brussels

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

<http://www.cs.kuleuven.be/~dirk/ada-belgium/events/12/120204-fosdem.html>

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

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

Permalink | Reply | 0 comments |
headers
Hubert Keller | 14 Jan 20:46
Favicon

SafeComp 2012

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

--

-- 
________________________________________________________________________

Dr. Hubert B. Keller
Leiter AGn Intelligente Sensorsysteme u. Innovative Prozessführung
Vorsitzender Ada Deutschland e.V.
Sprecher Fachgruppe Ada, Gesellschaft für Informatik
Mitglied Arbeitskreis Begriffe, GI-Fachbereich Sicherheit
Mitglied Arbeitskreis Sicherheit, VDI-Präsidium
Obmann VDI/VDE-GMA Fachausschuss Embedded Software
(Continue reading)

Permalink | Reply | 0 comments |
headers
Dirk Craeynest | 7 Jan 22:48
Picon

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

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

                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 for regular papers.

Authors of industrial presentations are invited to submit a short
overview (at least 1 page in size) of the proposed presentation by
January 12, 2012.  Please use the EasyChair conference system at
http://www.easychair.org/conferences/?conf=adaeurope2012 .
(Continue reading)

Permalink | Reply | 0 comments |
headers
Hubert B. Keller (IAI | 16 Dec 09:59
Favicon

Fwd: C.f.Industrial Pres., Reliable Software Technologies, Ada-Europe 2012

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 <Dirk.Craeynest <at> cs.kuleuven.be>
An: Ada-Europe-attendees <at> 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

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

                    Call for Industrial Presentations
(Continue reading)

Permalink | Reply | 0 comments |

Gmane