[ecoop-info] 24th Int.Conf. Reliable Software Technologies, Ada-Europe 2019
Dirk Craeynest
Dirk.Craeynest at cs.kuleuven.be
Thu May 9 07:49:18 CEST 2019
-----------------------------------------------------------------------
Call for Participation
*** PROGRAM SUMMARY ***
24th International Conference on
Reliable Software Technologies - Ada-Europe 2019
11-14 June 2019, Warsaw, Poland
http://www.ada-europe.org/conference2019
Organized by EDC and Ada-Europe,
in cooperation with ACM SIGAda, SIGBED, SIGPLAN
and the Ada Resource Association (ARA)
*** Online registration open ***
*** Early registration discount until May 20 ***
*** Extensive info available on conference web site ***
*** Highly recommended to book your hotel ASAP ***
-----------------------------------------------------------------------
The 24th International Conference on Reliable Software Technologies -
Ada-Europe 2019 visits Poland, for the first time, and is hosted in
Warsaw from the 11th to the 14th of June. The conference is the latest
in a series of annual international conferences started in the early
80's, under the auspices of Ada-Europe, the international organization
that promotes knowledge and use of Ada and Reliable Software in
general, into academic education and research, and industrial practice.
The Ada-Europe series of conferences has over the years become
a leading international forum for providers, practitioners and
researchers in reliable software technologies. These events
highlight the increased relevance of Ada in general and in safety-
and security-critical systems in particular, and provide a unique
opportunity for interaction and collaboration between academics and
industrial practitioners.
Extensive information is on the conference web site, such as an
overview of the program, the list of accepted papers and industrial
presentations, and descriptions of workshops, tutorials, keynote
presentations, and social events. Also check the conference site
for registration, accommodation and travel information. The 12-page
Advance Program brochure is available there as well.
The 2019 edition of the conference features a number of important
innovations:
- lower registration fee for conference, unified for all participants;
- further reduced fee for all authors;
- lower registration fee for all tutorials;
- journal-based open-access publication model for peer-reviewed papers;
- an educational tutorial offered especially for those new to Ada;
- more compact program with two core days (Wed & Thu);
tutorials on Tuesday, then exhibition opening mid-afternoon,
followed by welcome aperitif for all participants;
- full-day DeCPS workshop on Friday (complementary with conference
registration).
Quick overview
- Tue 11: tutorials, opening exhibition + AE GA, welcome reception
- Wed 12 & Thu 13: core program
- Fri 14: workshop
Proceedings
- peer-reviewed papers in open-access journal
- industrial presentation and tutorial abstracts in Ada User Journal
Conference & Program Chair
- Tullio Vardanega, University of Padua, Italy
tullio.vardanega at unipd.it
Keynote speakers
- Tucker Taft, AdaCore, USA, "A 2020 View of Ada"
- other keynote to be confirmed (see conference web site)
Workshop (full day)
- 6th International Workshop on "Challenges and new Approaches for
Dependable and Cyber-Physical Systems Engineering" (DeCPS 2019)
Tutorials (full day)
- "Controlling I/O Devices with Ada, using the Remote I/O Protocol"
Philip Munts, Sweden
- "An Introduction to Ada"
Jean-Pierre Rosen, Adalog, France
Papers and Presentations
- sessions on Assurance Issues in Critical Systems, Tooling Aid
for Verification, Best Practices for Critical Applications, Uses
of Ada in Challenging Environments, Verification Challenges,
Real-Time Systems
- 9 refereed technical papers
- 8 industrial presentations and experience reports
- a speaker's corner on "Experience from 40 years of teaching Ada"
Vendor exhibition and networking area
- area features exhibitor booths, project posters, reserved vendor
tables, and general networking options
- 4 companies already committed: AdaCore, PTC Developer Tools, Rapita
Systems, Vector; some exhibition slots still available
- vendor presentation sessions in core program
Social events
- each day: coffee breaks in the exhibition space and sit-down lunches
offer ample time for interaction and networking
- Tuesday afternoon: opening of exhibition & Ada-Europe General
Assembly, Welcome Aperitif on terrace overlooking Warsaw Airport
- Wednesday evening: transportation to restaurant in town where Chopin
was born, banquet with Polish cuisine, drinks, and live piano music
- Best Paper and Best Presentation awards will be handed out
Registration
- online registration is open at
<https://registration.ada-europe.org/index.html>
- early registration discount until Monday May 20, 2019
- special low fee for authors
- discount for Ada-Europe, ACM SIGAda, SIGBED and SIGPLAN members
- extra discount for students
- registration includes coffee breaks and lunches
- full conference registration includes all social events
- tutorial fees substantially reduced
- payment possible by credit card or bank transfer
- see registration page for all details
Promotion
- recommended Twitter hashtags: #AdaEurope and/or #AdaEurope2019
- 12-page Advance Program brochure online at
<http://www.ada-europe.org/conference2019/AE-2019%20AP.pdf>
- support Ada-Europe 2019 with promotional poster at
<http://www.ada-europe.org/conference2019/picts/AE2019_poster.pdf>
Please make sure you book accommodation as soon as possible.
For more info and latest updates see the conference web site at
<http://www.ada-europe.org/conference2019>.
We look forward to seeing you in Warsaw in June 2019!
-----------------------------------------------------------------------
Our apologies if you receive multiple copies of this announcement.
Please circulate widely.
Dirk Craeynest, Ada-Europe'2019 Publicity Chair
Dirk.Craeynest at cs.kuleuven.be
*** 24th Intl.Conf.on Reliable Software Technologies - Ada-Europe'2019
June 11-14, 2019 * Warsaw, Poland * www.ada-europe.org/conference2019
More information about the ecoop-info
mailing list