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)

Dirk Craeynest | 11 Dec 22:56 2013
Picon

FINAL CfP Ada-Europe 2014, Dec 15 submission deadline

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

             FINAL Call for Papers / Tutorials / Workshops

                    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

         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.

                *** DEADLINE Sunday 15 December 2013 ***

                       Regular Papers: submit via
         <https://www.easychair.org/conferences/?conf=ae20140>

              Tutorials: submit to the Tutorial co-Chairs
                       <Liliana.Cucu at inria.fr>
                      <Albert.Llemosi at uib.cat>

(Continue reading)

kai.lucas | 3 Dec 12:24 2013
Picon

Re: Ada-Europe 2014 EXTENDED 15 December submission deadline

return to sender



----- Ursprüngliche Nachricht -----
Von:
"Liste der Fachgruppe Ada" <ada <at> gi-fb-sicherheit.de>

An:
"Ada-Germany list" <ada <at> gi-fb-sicherheit.de>
Cc:

Gesendet:
Mon, 2 Dec 2013 23:52:07 +0100 (CET)
Betreff:
[Ada] Ada-Europe 2014 EXTENDED 15 December submission deadline


The Ada-Europe 2013 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 15 December 2013 (firm deadline).

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

UPDATED Call for Papers - EXTENDED DEADLINE

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

*** Extended DEADLINE Sunday 15 DECEMBER 2013 ***

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

Ada-Europe organizes annual international conferences since the early
80's. This is the 19th 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), and Berlin, Germany ('13).

General Information
-------------------
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.

Schedule
--------
15 December 2013: Submission of regular papers, tutorial and workshop
proposals (FIRM deadline)
19 January 2014: Submission of industrial presentation proposals
16 February 2014: Notification of acceptance to all authors
16 March 2014: Camera-ready version of regular papers required
18 May 2014: Industrial presentations, tutorial and workshop
material required

Topics
------
The conference has over the years become a leading international
forum for providers, practitioners and researchers in reliable
software technologies The conference presentations will illustrate
current work in the theory and practice of the design, development
and maintenance of long-lived, high-quality software systems for
a challenging variety of application domains. The program will
allow ample time for keynotes, Q&A sessions and discussions, and
social events. Participants include practitioners and researchers
representing industry, academia and government organizations active
in the promotion and development of reliable software technologies.

Topics of interest to this edition of the conference include but are
not limited to:

- Multicore and Manycore Programming: Predictable Programming
Approaches for Multicore and Manycore Systems, Parallel Programming
Models, Scheduling Analysis Techniques.

- Real-Time and Embedded Systems: Real-Time Scheduling, Design Methods
and Techniques, Architecture Modelling, HW/SW Co-Design, Reliability
and Performance Analysis.

- Theory and Practice of High-Integrity Systems: Challenges from
Mixed-Criticality Systems; Medium to Large-Scale Distribution,
Fault Tolerance, Security, Reliability, Trust and Safety, Languages
Vulnerabilities.

- Software Architectures: Design Patterns, Frameworks, Architecture-
Centered Development, Component-based Design and Development.

- Methods and Techniques for Software Development and Maintenance:
Requirements Engineering, Model-driven Architecture and Engineering,
Formal Methods, Re-engineering and Reverse Engineering, Reuse,
Software Management Issues.

- Enabling Technologies: Compilers, Support Tools (Analysis,
Code/Document Generation, Profiling), Run-time Systems and Libraries.

- Software Quality: Quality Management and Assurance, Risk Analysis,
Program Analysis, Verification, Validation, Testing of Software
Systems.

- Mainstream and Emerging Applications: Manufacturing, Robotics,
Avionics, Space, Health Care, Transportation, Cloud Environments,
Smart Energy systems, Serious Games, etc.

- Experience Reports in Reliable System Development: Case Studies
and Comparative Assessments, Management Approaches, Qualitative
and Quantitative Metrics.

- Experiences with Ada and its Future: Reviews of the Ada 2012 new
language features, implementation and use issues, positioning in
the market and in the software engineering curriculum, lessons
learned on Ada Education and Training Activities with bearing on
any of the conference topics.

Call for Regular Papers
-----------------------
Authors of regular papers which are to undergo peer review
for acceptance are invited to submit original contributions.
Paper submissions shall not exceed 14 LNCS-style pages in
length. Authors shall submit their work via EasyChair
following the relevant link on the conference web site
(https://www.easychair.org/conferences/?conf=ae20140).
The format for submission is solely PDF.

Proceedings
-----------
The conference proceedings will be published in the Lecture Notes in
Computer Science (LNCS) series by Springer, and will be available at
the start of the conference. The authors of accepted regular papers
shall prepare camera-ready submissions in full conformance with the
LNCS style, not exceeding 14 pages and strictly by March 16, 2014.
For format and style guidelines authors should refer to
http://www.springer.de/comp/lncs/authors.html. Failure to comply
and to register for the conference by that date will prevent the
paper from appearing in the proceedings.

The CORE ranking (dated 2008) has the conference in class A.
The CiteSeerX Venue Impact Factor had it in the top quarter.
Microsoft Academic Search has it in the top third for conferences on
programming languages by number of citations in the last 10 years.
The conference is listed in DBLP, SCOPUS and Web of Science Conference
Proceedings Citation index, among others.

Awards
------
Ada-Europe will offer honorary awards for the best regular paper and
the best presentation.

Call for Industrial Presentations
---------------------------------
The conference seeks industrial presentations which deliver value
and insight but may not fit the selection process for regular
papers. Authors 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 the submissions and make
the selection. The authors of selected presentations shall prepare
a final short abstract and submit it by May 18, 2014, aiming at a
20-minute talk. The authors of accepted presentations will be invited
to submit corresponding articles for publication in the Ada User
Journal, which will host the proceedings of the Industrial Program
of the Conference. For any further information please contact the
Industrial Chair directly.

Call for Tutorials
------------------
Tutorials should address subjects that fall within the scope of the
conference and may be proposed as either half-or full-day events.
Proposals should include a title, an abstract, a description of the
topic, a detailed outline of the presentation, a description of the
presenter's lecturing expertise in general and with the proposed
topic in particular, the proposed duration (half day or full day),
the intended level of the tutorial (introductory, intermediate, or
advanced), the recommended audience experience and background, and a
statement of the reasons for attending. Proposals should be submitted
by e-mail to the Tutorial Chair. The authors of accepted full-day
tutorials will receive a complimentary conference registration as well
as a fee for every paying participant in excess of 5; for half-day
tutorials, these benefits will be accordingly halved. The Ada User
Journal will offer space for the publication of summaries of the
accepted tutorials.

Call for Workshops
------------------
Workshops on themes that fall within the conference scope may be
proposed. Proposals may be submitted for half-or full-day events, to
be scheduled at either end of the conference week. Workshop proposals
should be submitted to the General Chair. The workshop organizer
shall also commit to preparing proceedings for timely publication in
the Ada User Journal.

Call for Exhibitors
-------------------
The commercial exhibition will span the three days of the main
conference. Vendors and providers of software products and services
should contact the Exhibition Chair for information and for allowing
suitable planning of the exhibition space and time.

Grants for Reduced Student Fees
-------------------------------
A limited number of sponsored grants for reduced fees is expected to
be available for students who would like to attend the conference or
tutorials. Contact the General Chair for details.

Organizing Committee
--------------------
General Chair
Jean-Pierre Rosen, Adalog
rosen <at> adalog.fr

Program co-Chairs
Laurent George, LIGM/UPEMLV - ECE Paris
lgeorge <at> ieee.org
Tullio Vardanega, University of Padova
tullio.vardanega <at> unipd.it

Industrial Chair
Jørgen Bundgaard, Rambøll Denmark A/S
jogb <at> ramboll.dk

Tutorial co-Chairs
Liliana Cucu, INRIA
Liliana.Cucu <at> inria.fr
Albert Llemosí, Universitat de les Illes Balears
albert.llemosi <at> uib.cat

Exhibition Chair
Jamie Ayre, AdaCore
ayre <at> adacore.com

Publicity Chair
Dirk Craeynest, Ada-Belgium & KU Leuven
Dirk.Craeynest <at> cs.kuleuven.be

Local Chair
Magali Munos, ECE
munos <at> ece.fr

Program Committee
-----------------
Mario Aldea, Universidad de Cantabria, Spain
Ted Baker, US National Science Foundation, USA
Johann Blieberger, Technische Universität Wien, Austria
Bernd Burgstaller, Yonsei University, Korea
Maryline Chetto, University of Nantes, France
Liliana Cucu, INRIA, France
Christian Fraboul, ENSEEIHT, France
Laurent George, ECE Paris, France
Xavier Grave, CNRS, France
Emmanuel Grolleau, ENSMA, France
Jérôme Hugues, ISAE, France
Albert Llemosí, Universitat de les Illes Balears, Spain
Kristina Lundqvist, Mälardalen University, Sweden
Franco Mazzanti, ISTI-CNR, Italy
John McCormick, University of Northern Iowa, USA
Stephen Michell, Maurya Software, Canada
Laurent Pautet, Telecom ParisTech, France
Luís Miguel Pinho, CISTER/ISEP, Portugal
Erhard Plödereder, Universität Stuttgart, Germany
Juan A. de la Puente, Universidad Politécnica de Madrid, Spain
Jorge Real, Universitat Politècnica de València, Spain
José Ruiz, AdaCore, France
Sergio Sáez, Universidad Politècnica de Valencia, Spain
Amund Skavhaug, NTNU, Norway
Yves Sorel, INRIA, France
Tucker Taft, AdaCore, USA
Theodor Tempelmeier, University of Applied Sciences, Germany
Elena Troubitsyna, Åbo Akademi University, Finland
Tullio Vardanega, University of Padova, Italy
Juan Zamorano, Universidad Politécnica de Madrid, Spain

Industrial Committee
--------------------
Jacob Sparre Andersen, JSA Consulting, Denmark
Roger Brandt, Roger Brandt IT Konsult AB, Sweden
Ian Broster, Rapita Systems, UK
Jørgen Bundgaard, Rambøll, DK
Dirk Craeynest, Ada-Belgium & KU Leuven, Belgium
Peter Dencker, ETAS, Germany
Ismael Lafoz, Airbus, Spain
Maria del Carmen Lomba Sorrondegui, GMV, Spain
Ahlan Marriott, White Elephant, CH
Robin Messer, Altran-Praxis, UK
Quentin Ochem, AdaCore, France
Steen Palm, Terma, Denmark
Paolo Panaroni, Intecs, Italy
Paul Parkinson, Wind River, UK
Ana Rodriguez, Silver-Atena, Spain
Jean-Pierre Rosen, Adalog, France
Alok Srivastava, TASC, USA
Claus Stellwag, Elektrobit, Germany
Jean-Loup Terraillon, European Space Agency, Netherlands
Rod White, MBDA, UK

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

Our apologies if you receive multiple copies of this announcement.
Please circulate widely.

Dirk Craeynest, Ada-Europe'2014 Publicity Chair
Dirk.Craeynest <at> cs.kuleuven.be

*** 19th Intl.Conf.on Reliable Software Technologies - Ada-Europe'2014
*** June 23-27, 2014 **** Paris, France **** http://www.ada-europe.org


Disclaimer: http://www.kuleuven.be/cwis/email_disclaimer.htm
_______________________________________________
Ada mailing list
Ada <at> gi-fb-sicherheit.de
http://mail.gi-fb-sicherheitde/mailman/listinfo/ada
_______________________________________________
Ada mailing list
Ada <at> gi-fb-sicherheit.de
http://mail.gi-fb-sicherheit.de/mailman/listinfo/ada
Dirk Craeynest | 2 Dec 23:52 2013
Picon

Ada-Europe 2014 EXTENDED 15 December submission deadline

The Ada-Europe 2013 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 15 December 2013 (firm deadline).

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

              UPDATED Call for Papers - EXTENDED DEADLINE

                    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

           *** Extended DEADLINE Sunday 15 DECEMBER 2013 ***

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

Ada-Europe organizes annual international conferences since the early
80's.  This is the 19th 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), and Berlin, Germany ('13).

General Information
-------------------
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.

Schedule
--------
15 December 2013: Submission of regular papers, tutorial and workshop
                  proposals (FIRM deadline)
19 January 2014:  Submission of industrial presentation proposals
16 February 2014: Notification of acceptance to all authors
16 March 2014:    Camera-ready version of regular papers required
18 May 2014:      Industrial presentations, tutorial and workshop
                  material required

Topics
------
The conference has over the years become a leading international
forum for providers, practitioners and researchers in reliable
software technologies.  The conference presentations will illustrate
current work in the theory and practice of the design, development
and maintenance of long-lived, high-quality software systems for
a challenging variety of application domains.  The program will
allow ample time for keynotes, Q&A sessions and discussions, and
social events.  Participants include practitioners and researchers
representing industry, academia and government organizations active
in the promotion and development of reliable software technologies.

Topics of interest to this edition of the conference include but are
not limited to:

- Multicore and Manycore Programming: Predictable Programming
  Approaches for Multicore and Manycore Systems, Parallel Programming
  Models, Scheduling Analysis Techniques.

- Real-Time and Embedded Systems: Real-Time Scheduling, Design Methods
  and Techniques, Architecture Modelling, HW/SW Co-Design, Reliability
  and Performance Analysis.

- Theory and Practice of High-Integrity Systems: Challenges from
  Mixed-Criticality Systems; Medium to Large-Scale Distribution,
  Fault Tolerance, Security, Reliability, Trust and Safety, Languages
  Vulnerabilities.

- Software Architectures: Design Patterns, Frameworks, Architecture-
  Centered Development, Component-based Design and Development.

- Methods and Techniques for Software Development and Maintenance:
  Requirements Engineering, Model-driven Architecture and Engineering,
  Formal Methods, Re-engineering and Reverse Engineering, Reuse,
  Software Management Issues.

- Enabling Technologies: Compilers, Support Tools (Analysis,
  Code/Document Generation, Profiling), Run-time Systems and Libraries.

- Software Quality: Quality Management and Assurance, Risk Analysis,
  Program Analysis, Verification, Validation, Testing of Software
  Systems.

- Mainstream and Emerging Applications: Manufacturing, Robotics,
  Avionics, Space, Health Care, Transportation, Cloud Environments,
  Smart Energy systems, Serious Games, etc.

- Experience Reports in Reliable System Development: Case Studies
  and Comparative Assessments, Management Approaches, Qualitative
  and Quantitative Metrics.

- Experiences with Ada and its Future: Reviews of the Ada 2012 new
  language features, implementation and use issues, positioning in
  the market and in the software engineering curriculum, lessons
  learned on Ada Education and Training Activities with bearing on
  any of the conference topics.

Call for Regular Papers
-----------------------
Authors of regular papers which are to undergo peer review
for acceptance are invited to submit original contributions.
Paper submissions shall not exceed 14 LNCS-style pages in
length.  Authors shall submit their work via EasyChair
following the relevant link on the conference web site
(https://www.easychair.org/conferences/?conf=ae20140).
The format for submission is solely PDF.

Proceedings
-----------
The conference proceedings will be published in the Lecture Notes in
Computer Science (LNCS) series by Springer, and will be available at
the start of the conference.  The authors of accepted regular papers
shall prepare camera-ready submissions in full conformance with the
LNCS style, not exceeding 14 pages and strictly by March 16, 2014.
For format and style guidelines authors should refer to
http://www.springer.de/comp/lncs/authors.html.  Failure to comply
and to register for the conference by that date will prevent the
paper from appearing in the proceedings.

The CORE ranking (dated 2008) has the conference in class A.
The CiteSeerX Venue Impact Factor had it in the top quarter.
Microsoft Academic Search has it in the top third for conferences on
programming languages by number of citations in the last 10 years.
The conference is listed in DBLP, SCOPUS and Web of Science Conference
Proceedings Citation index, among others.

Awards
------
Ada-Europe will offer honorary awards for the best regular paper and
the best presentation.

Call for Industrial Presentations
---------------------------------
The conference seeks industrial presentations which deliver value
and insight but may not fit the selection process for regular
papers.  Authors 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 the submissions and make
the selection.  The authors of selected presentations shall prepare
a final short abstract and submit it by May 18, 2014, aiming at a
20-minute talk.  The authors of accepted presentations will be invited
to submit corresponding articles for publication in the Ada User
Journal, which will host the proceedings of the Industrial Program
of the Conference.  For any further information please contact the
Industrial Chair directly.

Call for Tutorials
------------------
Tutorials should address subjects that fall within the scope of the
conference and may be proposed as either half-or full-day events.
Proposals should include a title, an abstract, a description of the
topic, a detailed outline of the presentation, a description of the
presenter's lecturing expertise in general and with the proposed
topic in particular, the proposed duration (half day or full day),
the intended level of the tutorial (introductory, intermediate, or
advanced), the recommended audience experience and background, and a
statement of the reasons for attending.  Proposals should be submitted
by e-mail to the Tutorial Chair.  The authors of accepted full-day
tutorials will receive a complimentary conference registration as well
as a fee for every paying participant in excess of 5; for half-day
tutorials, these benefits will be accordingly halved.  The Ada User
Journal will offer space for the publication of summaries of the
accepted tutorials.

Call for Workshops
------------------
Workshops on themes that fall within the conference scope may be
proposed.  Proposals may be submitted for half-or full-day events, to
be scheduled at either end of the conference week.  Workshop proposals
should be submitted to the General Chair.  The workshop organizer
shall also commit to preparing proceedings for timely publication in
the Ada User Journal.

Call for Exhibitors
-------------------
The commercial exhibition will span the three days of the main
conference.  Vendors and providers of software products and services
should contact the Exhibition Chair for information and for allowing
suitable planning of the exhibition space and time.

Grants for Reduced Student Fees
-------------------------------
A limited number of sponsored grants for reduced fees is expected to
be available for students who would like to attend the conference or
tutorials.  Contact the General Chair for details.

Organizing Committee
--------------------
General Chair
  Jean-Pierre Rosen, Adalog
  rosen <at> adalog.fr

Program co-Chairs
  Laurent George, LIGM/UPEMLV - ECE Paris
  lgeorge <at> ieee.org
  Tullio Vardanega, University of Padova
  tullio.vardanega <at> unipd.it

Industrial Chair
  Jørgen Bundgaard, Rambøll Denmark A/S
  jogb <at> ramboll.dk

Tutorial co-Chairs
  Liliana Cucu, INRIA
  Liliana.Cucu <at> inria.fr
  Albert Llemosí, Universitat de les Illes Balears
  albert.llemosi <at> uib.cat

Exhibition Chair
  Jamie Ayre, AdaCore
  ayre <at> adacore.com

Publicity Chair
  Dirk Craeynest, Ada-Belgium & KU Leuven
  Dirk.Craeynest <at> cs.kuleuven.be

Local Chair
  Magali Munos, ECE
  munos <at> ece.fr

Program Committee
-----------------
Mario Aldea, Universidad de Cantabria, Spain
Ted Baker, US National Science Foundation, USA
Johann Blieberger, Technische Universität Wien, Austria
Bernd Burgstaller, Yonsei University, Korea
Maryline Chetto, University of Nantes, France
Liliana Cucu, INRIA, France
Christian Fraboul, ENSEEIHT, France
Laurent George, ECE Paris, France
Xavier Grave, CNRS, France
Emmanuel Grolleau, ENSMA, France
Jérôme Hugues, ISAE, France
Albert Llemosí, Universitat de les Illes Balears, Spain
Kristina Lundqvist, Mälardalen University, Sweden
Franco Mazzanti, ISTI-CNR, Italy
John McCormick, University of Northern Iowa, USA
Stephen Michell, Maurya Software, Canada
Laurent Pautet, Telecom ParisTech, France
Luís Miguel Pinho, CISTER/ISEP, Portugal
Erhard Plödereder, Universität Stuttgart, Germany
Juan A. de la Puente, Universidad Politécnica de Madrid, Spain
Jorge Real, Universitat Politècnica de València, Spain
José Ruiz, AdaCore, France
Sergio Sáez, Universidad Politècnica de Valencia, Spain
Amund Skavhaug, NTNU, Norway
Yves Sorel, INRIA, France
Tucker Taft, AdaCore, USA
Theodor Tempelmeier, University of Applied Sciences, Germany
Elena Troubitsyna, Åbo Akademi University, Finland
Tullio Vardanega, University of Padova, Italy
Juan Zamorano, Universidad Politécnica de Madrid, Spain

Industrial Committee
--------------------
Jacob Sparre Andersen, JSA Consulting, Denmark
Roger Brandt, Roger Brandt IT Konsult AB, Sweden
Ian Broster, Rapita Systems, UK
Jørgen Bundgaard, Rambøll, DK
Dirk Craeynest, Ada-Belgium & KU Leuven, Belgium
Peter Dencker, ETAS, Germany
Ismael Lafoz, Airbus, Spain
Maria del Carmen Lomba Sorrondegui, GMV, Spain
Ahlan Marriott, White Elephant, CH
Robin Messer, Altran-Praxis, UK
Quentin Ochem, AdaCore, France
Steen Palm, Terma, Denmark
Paolo Panaroni, Intecs, Italy
Paul Parkinson, Wind River, UK
Ana Rodriguez, Silver-Atena, Spain
Jean-Pierre Rosen, Adalog, France
Alok Srivastava, TASC, USA
Claus Stellwag, Elektrobit, Germany
Jean-Loup Terraillon, European Space Agency, Netherlands
Rod White, MBDA, UK

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

Our apologies if you receive multiple copies of this announcement.
Please circulate widely.

Dirk Craeynest, Ada-Europe'2014 Publicity Chair
Dirk.Craeynest <at> cs.kuleuven.be

*** 19th Intl.Conf.on Reliable Software Technologies - Ada-Europe'2014
*** June 23-27, 2014 **** Paris, France **** http://www.ada-europe.org

Disclaimer: http://www.kuleuven.be/cwis/email_disclaimer.htm
Erhard Ploedereder | 30 Nov 03:23 2013
Picon
Picon

Fwd: Ada-Europe 2014 - deadline approaching for regular submissions


Falls jemand etwas einzureichen hat, jetzt wäre die richtige Zeit.

Beste Grüße rundum,
Erhard Plödereder

.....
-------- Original-Nachricht --------
Betreff: Ada-Europe 2014 - deadline approaching for regular submissions
Datum: Fri, 29 Nov 2013 12:04:09 +0100
Von: Ada-Europe 2014 <ae2014-0 <at> easychair.org>

we are less 10 days from the scheduled deadilne for regular submissions.
....
Should some of your contacts indicate that they would need a deadline
extension to complete their submission in good order, we might consider
that option, for the span of one calendar week, but only when the
benefit from it (in terms of increased submissions) was superior to the
negative vibration from announcing an extension.

Thanks for your active collaboration and best regards,

Laurent and Tullio, PC co-chairs
Hubert Keller | 24 Nov 18:16 2013

Fwd: Sicherheit14 - verlängerte Einreichungsfrist


-------- Original-Nachricht --------
Betreff: Sicherheit14 - verlängerte Einreichungsfrist
Datum: Sun, 24 Nov 2013 17:11:14 +0100
Von: Sicherheit14 <sicherheit14 <at> easychair.org>
An: Hubert Keller <Hubert.Keller <at> kit.edu>

Liebe PC-Mitglieder,

auf vielfachen Wunsch haben wir die Einreichungsfrist für die GI
Sicherheit 2014 bis zum 9.12.2013 verlängert. Zur Zeit haben wir
nur recht wenige Einreichungen -- ich möchte Sie daher nochmals
bitten, Werbung für die Konferenz zu machen und auch selbst eine
Arbeit einzureichen.

Anbei sende ich einen adaptierten CfP, den Sie gerne verteilen können.

Besonders hinweisen möchte ich auf den "practitioners track", der
insbesondere auch Kollegen aus der Industrie ansprechen soll.

Beste Grüße,
S. Katzenbeisser

-------

Call for Papers
----------------
ACHTUNG: Verlängerte Einreichungsfrist bis 9.12.2013

GI Sicherheit 2014
Fachtagung vom 19.-21. März 2014 in Wien
http://sicherheit2014.sba-research.org

Die Sicherheit 2014 ist die regelmäßig stattfindende Fachtagung
des Fachbereichs "Sicherheit - Schutz und Zuverlässigkeit" der
Gesellschaft für Informatik e.V. Sie bietet einem Publikum aus
Forschung, Entwicklung und Anwendung ein Forum zur Diskussion von
Herausforderungen, Trends, Techniken und neuesten wissenschaftlichen
und industriellen Ergebnissen. Die Tagung deckt alle Aspekte der
Sicherheit informationstechnischer Systeme ab und versucht eine
Brücke zu bilden zwischen den Themen IT Security, Safety und
Dependability.

Die Sicherheit 2014 wird erstmals einen eigenen "practitioners track"
umfassen, für den insbesondere Einreichungen aus der Wirtschaft
gesucht werden. Beiträge können beispielsweise Resultate aus
industrieller Forschung und Entwicklung besprechen, durchgeführte
Studien dokumentieren oder Berichte über "best practices" enthalten.
Reine Produktbeschreibungen werden jedoch nicht angenommen.

Erwünscht sind Einreichungen zu allen Aspekten der Sicherheit
informationstechnischer Systeme:

- Angriffs- und Verteidigungstechniken
- Anonymität und Pseudonymität
- Anwendungen mit besonderen Sicherheitsanforderungen
- Anwendungs- und Softwaresicherheit
- Auditierung von Sicherheit
- Ausbildung und Awareness-Training
- Authentisierung
- Biometrie
- Datenschutz und Privacy
- Fehlertoleranz, insbesondere in verteilten Systemen
- Hardwaresicherheit
- Hoch zuverlässige/verfügbare Systeme
- Informationsfluss
- Intrusion Detection & Prevention
- IT Forensik
- Kryptographie und kryptographische Protokolle
- Malware
- Mediensicherheit, digitale Wasserzeichen, Steganographie
- Modellierung und Verifikation von Sicherheit
- Netzwerksicherheit
- Schutz kritischer Infrastrukturen
- Security & Privacy by Design
- Sicherheit eingebetteter und mobiler Systeme
- Sicherheit und Datenschutz in sozialen Netzwerken
- Sicherheit und Datenschutz in verteilten Systemen
- Sicherheit und Usability
- Sicherheits- und Datenschutz-Policies
- Sicherheitsarchitekturen
- Sicherheitskritische Systeme
- Sicherheitsmanagement
- Sicherheitsmetriken
- Sicherheitsprotokolle
- Software/System Testing
- Sprachbasierte Sicherheit
- System-/Serviceverfügbarkeit
- Systemsicherheit
- Verifikation & Validierung
- Verlässliche verteilte Protokolle
- Verlässliche Echtzeitsysteme
- Verlässliche HW- und SW Architekturen
- Verlässlichkeit in WSN-, P2P-, Mobile-Computing-Szenarien
- Verlässlichkeit von Cloud-/Internetdiensten
- Verlässlichkeitsmetriken
- Verlässlichkeitsmodellierung, -bewertung und -prognose
- Web-Sicherheit
- Zensur und Anti-Zensur
- Zertifizierung funktionaler Sicherheit
- Zugriffskontrolle
- Zurechenbarkeit

Die Tagungssprache ist Deutsch, Beiträge können jedoch auch auf Englisch
eingereicht und veröffentlicht werden. Der Tagungsband der Sicherheit 2014
wird zitierfähig in der GI-Edition Lecture Notes in Informatics (LNI)
erscheinen.

Wichtige Termine:
Einreichungen: 9.12.2013 (neu)
Benachrichtigung über die Annahme: 20.01.2014 (neu)
Abgabe der druckfähigen Manuskripte: 10.02.2014 (neu)
Konferenz: 19.-21.03.2014

Tagungsleitung:
Hannes Federrath (Universität Hamburg)
Stefan Katzenbeisser (TU Darmstadt) – Program co-Chair
Volkmar Lotz (SAP) – Program co-Chair
Michael Waidner (TU Darmstadt)
Edgar Weippl (SBA Research) - General Chair

Programmkomitee:
siehe http://sicherheit2014.sba-research.org/

-- 
________________________________________________________________________

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

Postanschrift:
Karlsruher Institut für Technologie
Postfach 3640
76021 Karlsruhe
Adresse

KIT - Universität des Landes Baden-Württemberg und
nationales Großforschungszentrum in der Helmholtz-Gemeinschaft
www.kit.edu

Privat:
Erasmusstr. 3, 76139 Karlsruhe
Hubert.Keller <at> dr-hbkeller.de
Mob ++49 171 2075269 Fax 0721 9683530

Sollen Sie diese Email irrtümlich erhalten haben, so geben
Sie bitte Bescheid. Danke.
________________________________________________________________________

_______________________________________________
Ada mailing list
Ada <at> gi-fb-sicherheit.de
http://mail.gi-fb-sicherheit.de/mailman/listinfo/ada

Gmane