eGospodarka.pl

eGospodarka.plGrupypl.comp.programming › CfP 23rd Conf. Reliable Software Technologies, Ada-Europe 2018
Ilość wypowiedzi w tym wątku: 1

  • 1. Data: 2017-11-08 01:29:51
    Temat: CfP 23rd Conf. Reliable Software Technologies, Ada-Europe 2018
    Od: d...@f...cs.kuleuven.be. (Dirk Craeynest)

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

    Call for Papers

    23rd International Conference on
    Reliable Software Technologies - Ada-Europe 2018

    18-22 June 2018, Lisbon, Portugal

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

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

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

    Ada-Europe organizes annual international conferences since the early
    80's. This is the 23rd 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) and Vienna, Austria ('17).

    General Information
    -------------------
    The 23rd International Conference on Reliable Software Technologies -
    Ada-Europe 2018 will take place in Lisbon, Portugal. Following its
    traditional style, the conference will span a full week, including
    a three-day technical program and vendor exhibition from Tuesday
    to Thursday, along with parallel tutorials and workshops on Monday
    and Friday.

    Schedule
    --------
    22 January 2018: Submission of papers, industrial presentation
    outlines, tutorial and workshop proposals
    9 March 2018: Notification of acceptance to all authors
    24 March 2018: Camera-ready version of papers required
    8 May 2018: 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 representing industry, academia and
    government organizations active in the promotion and development of
    reliable software technologies.

    This edition of Ada-Europe features a focused Special Session on
    Security in Safety-Critical Systems. Safety-critical systems,
    on which we daily bet our lives, have become increasingly more
    complex, networked and distributed. In combination with the growing
    professionalism of adversarial teams, this demands not only for
    safe systems but systems that remain safe while under attacks.
    This session seeks (but is not limited to) contributions aiming at
    bridging the safety and security gap in cyber-physical and other
    safety-critical systems. Topics include: Software and System Aspects
    of Secure and Dependable CPS, Vulnerabilities and Protective Measures
    for Safety-Critical System Infrastructures, and Fault and Intrusion
    Tolerance and Long-Term Unattended Operation for Safety-Critical
    Systems. For further information please contact the Special Session
    Chair directly.

    For the general track of the conference, topics of interest include
    but are not limited to:

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

    - 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: 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, Compilers, Libraries, Support Tools.

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

    - 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: 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 and Special Session Papers
    -------------------------------------------
    Authors of papers which are to undergo peer review for acceptance
    are invited to submit original contributions by 22 January 2018.
    Paper submissions shall be 14 LNCS-style pages in length. Authors for
    both the general track and the special session shall submit their work
    via EasyChair at https://easychair.org/conferences/?conf=adaeurope201
    8.
    The format for submission is solely PDF.

    The International Conference on Reliable Software Technologies is
    listed in DBLP, SCOPUS, Web of Science Conference Proceedings Citation
    index, Google Scholar and Microsoft Academic Search, among others.

    Proceedings
    -----------
    The conference proceedings will be published in the Lecture Notes in
    Computer Science (LNCS) series by Springer, and will be available at
    the conference. Camera-ready accepted papers must be in conformance
    with the LNCS style, not exceeding 14 pages and are due strictly
    by 24 March 2018. 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.

    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 at least 1 page in length by 22 January 2018, at
    https://easychair.org/conferences/?conf=adaeurope201
    8. The format
    for submission is solely PDF. 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 8
    May 2018, aiming at a 20-minute talk. Authors will be also invited to
    submit corresponding articles for publication in the Ada User Journal
    (http://www.ada-europe.org/auj/), which will host the proceedings of
    the Industrial Program. For any further information please contact
    the Industrial Co-chairs directly.

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

    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.
    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 Tutorial and Workshop 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 Conference Chair for details.

    Venue
    -----
    The conference will take place at the VIP Executive Art's Hotel,
    in the Parque das Naçőes area of Lisbon, Portugal.

    Organizing Committee
    --------------------
    Conference Chair
    Nuno Neves, LASIGE/U. Lisboa, Portugal
    nuno at di.fc.ul.pt

    Program Chair
    António Casimiro, LASIGE/U. Lisboa, Portugal
    casim at ciencias.ulisboa.pt

    Special Session Chair
    Marcus Völp, University of Luxembourg, Luxembourg
    marcus.voelp at uni.lu

    Tutorial and Workshop Chair
    David Pereira, CISTER/ISEP, Portugal
    dmrpe at isep.ipp.pt

    Industrial Co-Chairs
    Marco Panunzio, Thales Alenia Space, France
    marco.panunzio at thalesaleniaspace.com
    José Rufino, LASIGE/U. Lisboa, Portugal
    ruf at ciencias.ulisboa.pt

    Publication Chair
    Pedro Ferreira, LASIGE/U. Lisboa, Portugal
    pmf at ciencias.ulisboa.pt

    Exhibition Co-Chairs
    José Neves, GMV, Portugal
    jose.neves at gmv.com
    Ahlan Marriott, White Elephant GmbH, Switzerland
    ahlan at Ada-Switzerland.ch

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

    Local Secretariat
    Madalena Almeida, Viagens Abreu S.A., Portugal
    madalena.almeida at abreu.pt

    Program Committee
    -----------------
    Mario Aldea, Univ. de Cantabria, Spain
    Ezio Bartocci, Vienna Univ. of Technology, Austria
    Rakesh Bobba, Oregon State Univ., USA
    Bernd Burgstaller, Yonsei Univ., Korea
    António Casimiro, LASIGE, Univ. Lisboa, Portugal
    Juan A. de la Puente, Univ. Pol. de Madrid, Spain
    Virgil Gligor, Carnegie Mellon University, USA
    Michael González Harbour, Univ. de Cantabria, Spain
    J. Javier Gutiérrez, Univ. de Cantabria, Spain
    Jérôme Hugues, ISAE, France
    Ruediger Kapitza, Tech Univ. Braunschweig, Germany
    Hubert Keller, Karlsruhe Inst. of Technology, Germany
    Raimund Kirner, Univ. of Hertfordshire, UK
    Adam Lackorzynski, TU Dresden & Kernkonzept GmbH, Germany
    Kristina Lundkvist, Mälardalen Univ., Sweden
    Franco Mazzanti, ISTI-CNR, Italy
    Laurent Pautet, Telecom ParisTech, France
    Luís Miguel Pinho, CISTER, ISEP, Portugal
    Erhard Plödereder, Univ. Stuttgart, Germany
    Jorge Real, Univ. Politčcnica de Valčncia, Spain
    José Ruiz, AdaCore, France
    Sergio Sáez, Univ. Politčcnica de Valčncia, Spain
    Elad Schiller, Chalmers Univ. of Technology, Sweden
    Frank Singhoff, Univ. Bretagne Occidentale, France
    Jorge Sousa Pinto, Univ. of Minho, Portugal
    Tucker Taft, AdaCore, USA
    Elena Troubitsyna, Ĺbo Akademi Univ., Finland
    Santiago Urueńa, GMV, Spain
    Tullio Vardanega, Univ. di Padova, Italy
    Marcus Völp, Univ. of Luxembourg, Luxemburg

    Industrial Committee
    --------------------
    Ian Broster, Rapita Systems, UK
    Luís Correia, EMPORDEF-TI, Portugal
    Dirk Craeynest, Ada-Belgium & KU Leuven, Belgium
    Thomas Gruber, Austrian Inst. of Tech, Austria
    Andreas Jung, European Space Agency, the Netherlands
    Ismael Lafoz, Airbus Defence and Space, Spain
    Ahlan Marriott, White Elephant, Switzerland
    Maurizio Martignano, Spazio IT, Italy
    Jean-Pierre Rosen, Adalog, France
    Emilio Salazar, GMV, Spain
    Helder Silva, EDISOFT, Portugal
    Jacob Sparre Andersen, JSA Consulting, Denmark
    Andreas Wortmann, OHB System, Germany
    (to be completed)

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

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

    D...@c...kuleuven.be, Ada-Europe'2018 Publicity Chair

    *** 23rd Intl.Conf.on Reliable Software Technologies - Ada-Europe'2018
    *** June 18-22, 2018 ** Lisbon, Portugal *** http://www.ada-europe.org
    (V1.3)

strony : [ 1 ]



Szukaj w grupach

Szukaj w grupach

REKLAMA

Eksperci egospodarka.pl

1 1 1

Wpisz nazwę miasta, dla którego chcesz znaleźć jednostkę ZUS.

Wzory dokumentów

Bezpłatne wzory dokumentów i formularzy.
Wyszukaj i pobierz za darmo:

Strona korzysta z plików cookies w celu realizacji usług i zgodnie z Polityką Prywatności. Możesz określić warunki przechowywania lub dostępu do plików cookies w Twojej przeglądarce.