Dirk Craeynest | 2 Jul 23:43 2014
Picon

CfP 20th Conf. Reliable Software Technologies, Ada-Europe 2015

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

                      Preliminary Call for Papers

                    20th International Conference on
            Reliable Software Technologies - Ada-Europe 2015

                     22-26 June 2015, Madrid, Spain

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

            Organized by Ada-Spain on behalf of Ada-Europe,
   in cooperation (requests pending) with ACM SIGAda, SIGBED, SIGPLAN
                 and the Ada Resource Association (ARA)

                  *** CfP in HTML/PDF on web site ***

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

Ada-Europe organizes annual international conferences since the early
80's.  This is the 20th 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), Geneva, Switzerland ('07), Venice,
Italy ('08), Brest, France ('09), Valencia, Spain ('10), Edinburgh,
UK ('11), Stockholm, Sweden ('12), Berlin, Germany ('13), and Paris,
France ('14).

(Continue reading)

Dirk Craeynest | 17 Jun 22:39 2014
Picon

Press Release - Reliable Software Technologies, Ada-Europe 2014

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

                      FINAL Call for Participation

                    *** UPDATED Program Summary ***

                    19th International Conference on
            Reliable Software Technologies - Ada-Europe 2014

                     23-27 June 2014, Paris, France

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

         *** Full Program available on conference web site ***
             *** Check out the tutorials and workshops! ***
                 *** Printed proceedings available ***
                         *** Register now! ***

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

Press release:

19th Ada-Europe Conference on Reliable Software Technologies

International experts meet in Paris

Paris (17 June 2014) - Ada-France and Ada-Europe organize from 23 to
27 June 2014 the "19th International Conference on Reliable Software
Technologies - Ada-Europe 2014" in Paris, France.  The event is
organized in cooperation with ACM's Special Interest Groups on Ada
(Continue reading)

Dirk Craeynest | 27 May 22:05 2014
Picon

Ada-Europe 2014 early registration deadline approaching

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

                       2nd Call for Participation

                    19th International Conference on
            Reliable Software Technologies - Ada-Europe 2014

                     23-27 June 2014, Paris, France

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

            Organized by Ada-France on behalf of Ada-Europe,
            in cooperation with ACM SIGAda, SIGBED, SIGPLAN
                 and the Ada Resource Association (ARA)

       *** Early registration DEADLINE extended until June 8 ***
      *** Posters and 16-page Advance Program available online ***
           *** All registrations via conference web site ***

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

The 19th International Conference on Reliable Software Technologies
- Ada-Europe 2014 takes place in Paris, France, from June 23 to 27,
2014.  It is an exciting event with an outstanding technical program,
keynote talks, and exhibition from Tuesday to Thursday, and a rich
program of workshops and tutorials on Monday and Friday.

The conference is hosted by ECE, a French engineering school located
near the Tour Eiffel, right in the heart of Paris, with convenient
connections to all places of interest, and lots of facilities around.
(Continue reading)

Dirk Craeynest | 12 May 07:30 2014
Picon

Press Release - Ada 2012 Published in LNCS and as Free eBook

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

FOR IMMEDIATE RELEASE

Ada 2012 Language Standard Published in Springer's LNCS and as
Free eBook Further Widen the Availability of Latest Language Revision

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

BRUSSELS, BELGIUM, May 12, 2014.  Ada-Europe today announced
the publication in extra formats of the 2012 version of the Ada
programming language standard, after its formal approval by ISO/IEC
JTC 1 in December 2012.

Since its standardization, the Ada 2012 standard has been available
in HTML and Adobe Acrobat format (PDF), from the download sites [1]
and [2].  More recently, the latest Ada language definition became
also available as volume 8339 of Springer's Lecture Notes in Computer
Science series [3], as a companion to the Ada 2012 Rationale, published
by Springer as LNCS 8338.

Moreover, with a view to exploring new media platforms to further
widen the availability of this important material, Ada-Europe has
now produced a prototype eBook of the Ada 2012 Reference Manual,
which can be downloaded from [1].  This eBook should be regarded
as a draft concept, proposed for the scrutiny of the Ada community
at large, for feedback on its perceived usefulness and suggestions
for improvements.  Returns on this subject should be addressed to
Ada-Europe at board <at> ada-europe.org.

(Continue reading)

Dirk Craeynest | 4 May 21:28 2014
Picon

19th Int.Conf. Reliable Software Technologies, Ada-Europe 2014

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

                         Call for Participation

                        *** PROGRAM SUMMARY ***

                    19th International Conference on
            Reliable Software Technologies - Ada-Europe 2014

                     23-27 June 2014, Paris, France

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

            Organized by Ada-France on behalf of Ada-Europe,
            in cooperation with ACM SIGAda, SIGBED, SIGPLAN
                 and the Ada Resource Association (ARA)

                   *** Online registration open! ***
           *** All info available on conference web site ***
            *** Early registration discount until May 31 ***

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

The 19th International Conference on Reliable Software Technologies
- Ada-Europe 2014 takes place in Paris, France, from June 23 to 27,
2014.  It is an exciting event with an outstanding technical program,
keynote talks, and exhibition from Tuesday to Thursday, and a rich
program of workshops and tutorials on Monday and Friday.

The conference is hosted by ECE, a French engineering school located
(Continue reading)

Dirk Craeynest | 15 Feb 22:12 2014
Picon

FOSDEM 2014 - Presentations Ada Developer Room on-line

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

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

                   Ada Developer Room at FOSDEM 2014

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

                        Saturday 1 February 2014

 Université Libre de Bruxelles (U.L.B.), Solbosch Campus, Room K.4.601
     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/14/140201-fosdem.html>

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

All presentations from our 5th Ada Developer Room, held at FOSDEM
2014 in Brussels recently, are available on the Ada-Belgium web site.

- "Welcome"
  by Dirk Craeynest - Ada-Belgium
- "An Introduction to Ada for Beginning and Experienced Programmers"
  by Jean-Pierre Rosen - Adalog
- "Ada Task Pools: Multithreading Made Easy"
  by Ludovic Brenta - Debian Project
- "SPARK 2014: Hybrid Verification using Proofs and Tests"
  by José F. Ruiz - AdaCore
(Continue reading)

Hubert B. Keller (IAI | 31 Jan 14:54 2014

Fwd: [FBSEC] Promotionspreis IT-Sicherheit 2014


-------- Original-Nachricht --------
Betreff: [FBSEC] Promotionspreis IT-Sicherheit 2014
Datum: Tue, 28 Jan 2014 13:20:30 +0100
Von: Hannes Federrath <federrath <at> informatik.uni-hamburg.de>
Antwort an: Freie Diskussion im Fachbereich Sicherheit 
<fbsec <at> gi-fb-sicherheit.de>
An: Mailingliste des GI-Fachbereichs Sicherheit <fbsec <at> gi-fb-sicherheit.de>

Promotionspreis IT-Sicherheit 2014

Der CAST e.V. und die Gesellschaft für Informatik e.V. (GI) vergeben 
jährlich einen Preis für eine hervorragende Leistung im Bereich der 
IT-Sicherheit. Die Dissertation muss in einem Themengebiet des 
Fachbereichs Sicherheit bzw. seiner Fachgruppen angesiedelt sein. 
Preiswürdig sind Arbeiten, die einen Fortschritt für die IT-Sicherheit 
bedeuten, und solche, die einen Zugewinn von Sicherheit in 
IT-Anwendungen ermöglichen. Der Preis ist mit 5000 Euro dotiert.

Bewerber sollten die Dissertation abgeschlossen haben oder kurz vor dem 
Abschluss stehen. Die Arbeit darf zum Zeitpunkt der Einreichung nicht 
länger als 19 Monate abgeschlossen sein. Die Arbeit darf bereits für 
andere Preise nominiert worden sein. Einsendeschluss ist der 31. Juli 2014.

Bewerbungen sind elektronisch einzureichen und müssen folgende 
Unterlagen (alle im PDF-Dateiformat) enthalten:

* die vollständige Promotionsarbeit,
* eine Kurzfassung von maximal 5 DIN-A4 Seiten,
* ein Empfehlungsschreiben der Referentinnen bzw. der Referenten,
(Continue reading)

Dirk Craeynest | 20 Jan 23:06 2014
Picon

FOSDEM 2014 - Ada Developer Room - Sat 1 Feb 2014 - Brussels

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

                 Ada-Belgium is pleased to announce its

                   Ada Developer Room at FOSDEM 2014

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

                        Saturday 1 February 2014

 Université Libre de Bruxelles (U.L.B.), Solbosch Campus, Room K.4.601
     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/14/140201-fosdem.html>
              <http://fosdem.org/2014/schedule/track/ada/>

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

The Free and Open Source Developers' Meeting (FOSDEM) is an annual
event held in Brussels, Belgium, in February.  The 2014 edition
will take place on Saturday the 1st and Sunday the 2nd 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.

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.  It is also perfectly suited
(Continue reading)

Dirk Craeynest | 13 Jan 07:35 2014
Picon

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

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

                FINAL Call for Industrial Presentations

                    19th International Conference on
            Reliable Software Technologies - Ada-Europe 2014

                     23-27 June 2014, Paris, France

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

                *** DEADLINE Sunday 19 JANUARY 2014 ***

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

The 19th International Conference on Reliable Software Technologies
- Ada-Europe 2014 will take place in Paris, France.  As per 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 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
presentation outline of exactly 1 page in length by January 19, 2014.
Submissions shall be made via EasyChair following the relevant link
on the conference web site.  The Industrial Committee will review
(Continue reading)

Dirk Craeynest | 29 Dec 09:18 2013
Picon

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

Do you work 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 targeted
to you!

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

I invite you to check out the appended call, and to try getting a
1-page presentation overview submitted by January 19th at the latest,
i.e. in 3 weeks from now.

Looking forward to receive many interesting proposals.

Dirk Craeynest, Ada-Europe'2013 Publicity Chair

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

                   Call for Industrial Presentations

                    19th International Conference on
            Reliable Software Technologies - Ada-Europe 2014

                     23-27 June 2014, Paris, France

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

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

Hubert B. Keller (IAI | 23 Dec 12:59 2013

Weihnachten und 2014

Ada Deutschland wünscht Ihnen ein frohes Weihnachtsfest, ruhige Tage und 
einen guten Start in das neue Jahr.

2014 wird die Automotive - Safety&Security im November in Stuttgart 
stattfinden. Der genaue Termin folgt in Kürze mit dem Call for Paper.

Ada 2012 ist verfügbar und das LRM wurde über den Förderverein in 
ausreichender Menge beschafft. Sie können das LRM über Ada Deutschland 
zu Sonderkonditionen bestellen, falls nicht schon über den FV oder die 
FG getan.

Mit den besten Wünschen
Hubert Keller
für die FG und den FV

--

-- 
________________________________________________________________________

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


Gmane