expertenaustausch > comp.lang.* > comp.lang.misc

Dirk Craeynest (27.12.2018, 10:42)
-----------------------------------------------------------------------

Reminder - Call for Papers

Ada-Europe 24th International Conference on
Reliable Software Technologies (Ada-Europe 2019)

10-14 June 2019, Warsaw, Poland



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

*** DEADLINE 14 JANUARY 2019 ***
*** Web submission site open ***

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

*** General Information

Ada-Europe is pleased to announce that its 24th International
Conference on Reliable Software Technologies (Ada-Europe 2019)
will take place in Warsaw, Poland, in the week of 10-14 June.
The conference schedule at its fullest includes a three-day technical
program and vendor exhibition from Tuesday to Thursday, and parallel
tutorials and workshops on Monday and Friday.

This edition of the conference inaugurates a major revamp in the
registration fees, redesigned to extend participation from industry
and academia, and to reward contributors, especially but not solely,
students and post-doc researchers.

*** Schedule

14 January 2019: Submission of papers, industrial presentation
outlines, tutorial and workshop proposals
1 March 2019: Notification of acceptance to all authors
16 March 2019: Camera-ready version of papers required
30 April 2019: Industrial presentations, tutorial and workshop
material required

*** Topics

The conference is 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 from industry, academia and government
organizations active in the promotion and development of reliable
software technologies.

The topics of interest for the conference include but are not
limited to:

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

- Design and Implementation of Mixed-Criticality Systems: Scheduling
Methods, Mixed-Criticality Architectures, Design Methods, Analysis
Methods;

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

- Software Architectures for Reliable Systems: Design Patterns,
Frameworks, Architecture-Centered Development, Component-based
Design and Development;

- Methods and Techniques for Quality Software Development and
Maintenance: Requirements Engineering, Model-driven Architecture and
Engineering, Formal Methods, Re-engineering and Reverse Engineering,
Reuse, Software Management Issues, Compilers, Libraries, Support
Tools;

- Ada Language and Technologies: Compilation Issues, Runtimes,
Ravenscar, Profiles, Distributed Systems, SPARK;

- Mainstream and Emerging Applications with Reliability
Requirements: Manufacturing, Robotics, Avionics, Space, Health
Care, Transportation, Cloud Environments, Smart Energy Systems,
Serious Games, etc;

- Achieving and Assuring Safety in Machine Learning Systems;

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

- Experiences with Ada: Reviews of the Ada 2012 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

The regular papers submitted to the conference must be original and
shall undergo anonymous peer review. The authors shall submit their
work by 14 January 2019, in PDF only, and up to 16 LNCS-style pages
in length, via .

The conference is listed in the principal citation databases, including
DBLP, Scopus, Web of Science, and Google Scholar. The authors of the
papers that will appear in the conference proceedings will be invited
to extend their work for submission to a Special Issue of Elsevier's
Journal of Systems Architecture, centered on the conference themes.

*** Proceedings

The conference proceedings will appear in Springer's Lecture Notes
in Computer Science (LNCS) series, and will be available at the
conference, both online and in print. The authors of accepted
regular papers shall prepare camera-ready submissions in full
conformance with the LNCS style, strictly by 16 March 2019.
For format and style guidelines, the authors should refer to
. Failure to comply and
to register at least one author for the conference by that date will
prevent the paper from appearing in the proceedings.

*** Call for Industrial Presentations

The conference seeks industrial presentations that deliver
insightful information value but may not sustain the strictness
of the review process required for regular papers. The authors
of industrial presentations shall submit their proposals, of at
least 1 page in length, by 14 January 2019, strictly in PDF, via
.

The Industrial Committee will review the submissions anonymously
and make recommendations for acceptance. The authors of accepted
contributions shall be requested to submit a 2-page abstract by 16
March 2019, for inclusion in the conference booklet, and be invited to
deliver a 20-minute talk at the conference. These authors will also
be invited to expand their contributions into articles for publication
in the Ada User Journal (), as part of
the proceedings of the Industrial Program of the Conference. For any
further information, please contact the Industrial Chair directly.

*** Awards

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

*** Call for Educational Tutorials

The conference seeks tutorials in the form of educational seminars that
may include hands-on or practical demonstrations. Proposed tutorials
can address any part of the reliable software domain, and may have an
academic or industrial slant from technology perspective. All software
topics and their application to reliability and safety are welcome.
Tutorial proposals shall include a title, an abstract, a description of
the topic, an outline of the presentation, the proposed duration (half
day or full day), and the intended level of the tutorial (introductory,
intermediate, or advanced), and most importantly a statement expressing
why it will be worthwhile to attend the tutorial. Tutorial proposals
shall be submitted to the Educational Tutorial Chair.

The authors of accepted full-day tutorials will receive a complimentary
conference registration. For half-day tutorials, this benefit is
halved. The Ada User Journal will offer space for the publication
of summaries of the accepted tutorials.

*** Call for Workshops

Workshops on themes 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
shall be submitted to the Workshop Chair. The workshop organizer
shall also commit to producing the proceedings of the event, for
publication in the Ada User Journal.

*** Call for Exhibitors

The commercial exhibition will span the core days of the main
conference. Interested providers of software products and services
should send inquiries to the Exhibition Chair.

*** Venue

The conference will take place in Warsaw, Poland, at the Engineering
Design Center, a partnership of General Electric and the Institute of
Aviation, one of Europe's largest engineering institutions.

*** Organizing Committee

Conference & Program Chair
Tullio Vardanega, University of Padua, Italy
tullio.vardanega at unipd.it

Educational Tutorial & Workshop Chair
Dene Brown, SysAda Ltd, UK
dene.brown at sysada.co.uk

Industrial Chair
Maurizio Martignano, Spazio IT, Italy
maurizio.martignano at spazioit.com

Exhibition & Sponsorship Chair
Ahlan Marriott, White Elephant GmbH, Switzerland
software at white-elephant.ch

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

Local Chair
Maciej Sobczak, GE Aviation - EDC Warsaw, Poland
maciej.sobczak at ge.com

*** Program Committee

Mario Aldea, Univ. de Cantabria, ES
Johann Blieberger, Vienna Univ. of Technology, AT
Bernd Burgstaller, Yonsei Univ., KR
António Casimiro, Univ. Lisboa, PT
Barbara Gallina, Mälardalen Univ., SE
Michael González Harbour, Univ. de Cantabria, ES
J. Javi Gutiérrez, Univ. de Cantabria, ES
Jérôme Hugues, ISAE, FR
Hubert Keller, Karlsruhe Institute of Technology, DE
Raimund Kirner, Univ. of Hertford-shire, UK
Franco Mazzanti, ISTI-CNR, IT
Laurent Pautet, Telecom ParisTech, FR
Luís Miguel Pinho, CISTER/ISEP, PT
Erhard Plödereder, Univ. Stuttgart, DE
Juan A. de la Puente, Univ. Pol. de Madrid, ES
Jorge Real, Univ. Pol. de València, ES
José Ruiz, AdaCore, FR
Sergio Sáez, Univ. Pol. de València, ES
Elad Schiller, Chalmers Univ. of Technology, SE
Frank Singhoff, Univ. de Bretagne Occidentale, FR
Jorge Sousa Pinto, Univ. of Minho, PT
Tucker Taft, AdaCore, USA
Elena Troubitsyna, Åbo Akademi Uni., FI
Santiago Urueña, GMV, ES
Tullio Vardanega, Univ. of Padua, IT
Marcus Völp, Univ. of Luxembourg, LU

*** Industrial Committee

Ian Broster, Rapita Systems, UK
Dirk Craeynest, Ada-Belgium & KU Leuven, BE
Gonçalo Gouveia, Critical Techworks, PT
Thomas Gruber, Austrian Institute of Technology, AT
Andreas Jung, European Space Agency, NL
Ismael Lafoz, Airbus Military, ES
Patricia Lopez Cueva, Thales Alenia Space, FR
Ahlan Marriott, White Elephant, CH
Maurizio Martignano, Spazio-IT, IT
Silvia Mazzini, Intecs, IT
Marco Panunzio, Thales Alenia Space, FR
Paul Parkinson, Wind River, UK
Jean-Pierre Rosen, AdaLog, FR
José Emilio Salazar Marsà, GMV, ES
Helder Silva, Edisoft, PT
Pawel Zakrzewski, GE Aviation, PL

*** Previous Editions

Ada-Europe organizes annual international conferences since the early
80's. This is the 24th 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), Paris, France
('14), Madrid, Spain ('15), Pisa, Italy ('16), Vienna, Austria ('17),
and Lisbon, Portugal ('18).

Information on previous editions of the conference can be found at
.

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

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

Dirk.Craeynest, Ada-Europe 2019 Publicity Chair

*** Ada-Europe 24th Intl. Conf. on Reliable Software Technologies ***
June 10-14, 2019 * Warsaw, Poland *
(V2.2)
Matthias Frey (03.01.2019, 10:33)
Dirk Craeynest schrieb:
> -----------------------------------------------------------------------
> Reminder - Call for Papers
> Ada-Europe 24th International Conference on
> Reliable Software Technologies (Ada-Europe 2019) ....


Hallo,
geht mit Ada noch was?
Ich kenne nur eine Person, die früher was mit Ada machte. Die haben
allerdings aufgehört und auf C++ umgestellt, weil die Unterstützung
der Community zu gering wr.

Matthias
gautier_niouzes (06.01.2019, 22:09)
> geht mit Ada noch was?

Sieht so aus...

Dirk Craeynest (06.01.2019, 23:34)
In article <ee44abfa-f82a-4b78-a032-47ed5f6742af>,
<gautier_niouzes> wrote:
>> geht mit Ada noch was?

>Sieht so aus...
>


Und:
frederic.praca (07.01.2019, 00:34)
Le jeudi 3 janvier 2019 09:33:38 UTC+1, Matthias Frey a écrit :
> Dirk Craeynest schrieb:
> ...
> Hallo,
> geht mit Ada noch was?
> Ich kenne nur eine Person, die früher was mit Ada machte. Die haben
> allerdings aufgehört und auf C++ umgestellt, weil die Unterstützung
> der Community zu gering wr.


Was haben sie von der "Community" erwartet dass nicht geantwortet war?
Es ist sehr überraschend, man kann viele Spezialisten in den comp.lang..ada newsgroup finden.
Matthias Frey (09.01.2019, 15:43)
frederic.praca schrieb:
....
> Was haben sie von der "Community" erwartet dass nicht geantwortet war?
> Es ist sehr überraschend, man kann viele Spezialisten in den comp.lang.ada newsgroup finden.


Es ging sicher nicht um das Usenet sondern allgemein. Es ging auch nicht
nur um Fragen sondern um Tools, Bibliotheken u.a.

Wenn man z.B. in C# oder C++ nach einer Frage oder Bibliothek mit der
Suchmaschine des geringsten Misstrauens sucht, findet man tonnenweise
Material. Zu (fast) jedem Problem gibt es da eine Lösung.
So sinngemäß habe ich ihn verstanden.

Matthias
gautier_niouzes (09.01.2019, 18:35)
Am Mittwoch, 9. Januar 2019 14:43:43 UTC+1 schrieb Matthias Frey:

> Es ging sicher nicht um das Usenet sondern allgemein. Es ging auch nicht
> nur um Fragen sondern um Tools, Bibliotheken u.a.
> Wenn man z.B. in C# oder C++ nach einer Frage oder Bibliothek mit der
> Suchmaschine des geringsten Misstrauens sucht, findet man tonnenweise
> Material. Zu (fast) jedem Problem gibt es da eine Lösung.
> So sinngemäß habe ich ihn verstanden.
> Matthias


Klar, C & Co haben eine bald 50-jährige Marktdominanz, es wird sich nicht mit einem Zauberstab auf morgen ändern.
Wegen Bibliotheken wurde das Problem von Anfang an erkannt und Ada bietet Schnittstellen. Natürlich ist es besser reine Ada-Bibliotheken zu habenoder zumindest fertiggemachte Bindings.
Es gibt mehrere bei GitHub oder sourceForge; dort gibt es eine Liste davon:

Also Material hat es, zwar nicht tonnenweise, aber zumindest kiloweise ;-)
Ähnliche Themen