Dirk Craeynest | 25 Nov 00:39 2014
Picon

2nd CfP Ada-Europe 2015 Conference, Madrid, Spain

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

                          2nd 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 with ACM SIGAda, SIGBED, SIGPLAN
                 and the Ada Resource Association (ARA)

                    *** DEADLINE 11 JANUARY 2015 ***
                    *** Web submission site open ***

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

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 | 2 Nov 12:14 2014
Picon

CfP - Ada Developer Room at FOSDEM 2015, Brussels, Belgium

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

                         Call for Presentations

                 6th Ada Developer Room at FOSDEM 2015

              Saturday 31 January 2015, Brussels, Belgium

http://www.cs.kuleuven.be/~dirk/ada-belgium/events/15/150131-fosdem.html

                Organized in cooperation with Ada-Europe

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

Ada-Belgium [1] is pleased to announce that there will be a one-day Ada
Developer Room on Saturday 31 January 2015 at FOSDEM 2015 in Brussels,
Belgium.  This Ada DevRoom is once more organized in cooperation with
Ada-Europe [2].

General Information
-------------------
FOSDEM [3], the Free and Open source Software Developers' European
Meeting, is a free and non-commercial two-day weekend event organized
early each year in Brussels, Belgium.  It is highly developer-oriented
and brings together 5000+ participants from all over the world.
No registration is necessary.

The goal is to provide open source developers and communities a
place to meet with other developers and projects, to be informed
about the latest developments in the open source world, to attend
(Continue reading)

Hubert Keller | 19 Oct 22:33 2014

Fwd: [FTNews] TCFT Vice Chair Election

Jemand Interesse?
VG
Hubert Keller

-------- Weitergeleitete Nachricht --------
Betreff: 	[FTNews] TCFT Vice Chair Election
Datum: 	Sun, 19 Oct 2014 17:10:30 +0000
Von: 	Chuck Weinstock <weinstock <at> sei.cmu.edu>
An: 	<fttc <at> dependability.org> <fttc <at> dependability.org>

*IEEE Technical Committee on Dependable Computing and Fault Tolerance
(TCFT)***

*Call for Nominations for Vice-Chair Candidates***

*Deadline: November 7, 2014***

According to the rules of the IEEE Technical Committee on Dependable
Computing and Fault Tolerance (TCFT), an election for a new TC
Vice-Chair takes places every two years, just before the time when the
previous TC Chair (Prof. Roberto Baldoni, Sapienza University, Rome, IT)
retires, and the current Vice-Chair (Prof. Douglas M. Blough, Georgia
Institute of Technology, Atlanta, GA, US) assumes the position of TC
Chair. Accordingly, we invite nominations for candidates for the
position of Vice-Chair of the IEEE TC on Dependable Computing and Fault
Tolerance for the period of *January 1, 2015 - December 31, 2016*.

The TC Vice-Chair will assist the coming Chair in his duties and serve
as a member of the DSN Steering Committee for that period of two years.____

(Continue reading)

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)


Gmane