2nd CFP Conf. Reliable Software Technologies, Ada-Europe 2005

From: Dirk Craeynest (dirk_at_heli.cs.kuleuven.ac.be)
Date: 10/07/04

  • Next message: Gregg C Levine: "Problem building Crosstool for MIPSel for LinkSys wireless router"
    Date: 7 Oct 2004 22:07:22 +0200
    
    

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

                              2nd CALL FOR PAPERS

                        10th International Conference on
                Reliable Software Technologies - Ada-Europe 2005

                            20 - 24 June 2005, York, UK

                 http://www.ada-europe.org/conference2005.html

                      Organized, on behalf of Ada-Europe,
                           by the University of York,
               in cooperation with ACM SIGAda (approval pending)

                      *** CfP in HTML/PDF on web site ***
                   *** SUBMISSION DEADLINE EARLY NOVEMBER ***

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

    Ada-Europe organizes annual international conferences since the early
    80's. This is the 10th 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).

    General Information
    -------------------
    The 10th International Conference on Reliable Software Technologies
    (Ada-Europe 2005) will take place in York, UK. Following the usual
    style, the conference will span a full week, including a three-day
    technical program and vendor exhibitions from Tuesday to Thursday,
    along with parallel workshops and tutorials on Monday and Friday.

    Schedule
    --------
    7 November 2004: Submission of proposed contributions
    17 January 2005: Notification to authors
       7 March 2005: Camera-ready papers required
    20-24 June 2005: Conference

    Topics
    ------
    In the last decade the conference has established itself as an
    international forum for providers and practitioners of, and researchers
    into, 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 variety of application domains. The program will allow
    ample time for keynotes, Q&A sessions, panel discussions and social
    events. Participants will include practitioners and researchers from
    industry, academia and government organisations interested in
    furthering the development of reliable software technologies.
    To mark the completion of the technical work for the Ada language
    standard revision process, a special session will be devoted to the
    presentation and discussion of the prospects of the revised language
    in the landscape of mainstream language technologies.

    For papers, tutorials, and workshop proposals, the topics of interest
    include, but are not limited to:

    - Methods and Techniques for Software Development and Maintenance:
      Requirements Engineering, Object-Oriented Technologies, Formal
      Methods, Re-engineering and Reverse Engineering, Reuse, Software
      Management Issues

    - Software Architectures: Patterns for Software Design and Composition,
      Frameworks, Architecture-Centered Development, Component and Class
      Libraries, Component-Based Design

    - Enabling Technology: CASE Tools, Software Development Environments
      and Project Browsers, Compilers, Debuggers and Runtime Libraries

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

    - Critical Systems: Real-Time, Distribution, Fault Tolerance,
      Information Technology, Safety, Security

    - Mainstream and Emerging Applications: Multimedia and Communications,
      Manufacturing, Robotics, Avionics, Space, Health Care, Transportation

    - Ada Language and Technology: Programming Techniques, Object-Oriented
      Programming, Concurrent Programming, Bindings and Libraries,
      Evaluation & Comparative Assessments, Critical Review of Language
      Enhancements, Novel Support Technology

    Call for Industrial Presentations
    ---------------------------------
    A separate call is made for presentations of Experience Reports from
    Industrial Projects and/or Experiments, Case Studies and Comparative
    Assessments, Management Approaches, Qualitative and Quantitative
    Metrics, Education and Training Activities with bearing on any of the
    conference topics. Full papers and/or Extended Abstracts on these
    topics are also welcome.

    Submissions
    -----------
    Authors are invited to submit original contributions. Paper
    submissions shall be in English, should be complete and should not
    exceed 20 double-spaced pages in length. Extended abstracts and
    outlines of presentations that provide a sufficient insight into the
    intended contents of the contributions will also be considered.
    Authors of accepted extended abstracts and/or presentations shall
    submit a consolidated version of their contribution to the Program
    Co-Chair Tullio Vardanega for final acceptance, by *February 21, 2005*.
    Authors should submit their work via the Web submission system
    accessible from the conference Home page. The preferred format for
    submission is PDF. Postscript can also be accepted, as long as it was
    generated selecting the "optimize for portability" option in the used
    printer driver. Submissions by other means and formats will *not* be
    accepted. If you do not have easy access to the Internet, or you do
    not have an appropriate Web browser, please contact the Program
    Co-Chair Tullio Vardanega, whose address details are on this call as
    well as on the conference Home page.

    Proceedings
    -----------
    The authors of accepted papers shall prepare their camera-ready
    submissions in full conformance with the LNCS style, not exceeding 12
    pages and strictly by *March 7, 2005*. Authors should refer to:
    http://www.springer.de/comp/lncs/authors.html for format and style
    guidelines. Failure to comply will prevent the paper from appearing in
    the conference proceedings. The conference proceedings including all
    accepted papers will be published in the Lecture Notes in Computer
    Science (LNCS) series by Springer Verlag, which will be available at
    the start of the conference. All other accepted contributions will
    appear in the Ada User Journal using the relevant format and style.

    Awards
    ------
    Ada-Europe will offer honorary awards for the best paper and the best
    presentation, which will be presented during the banquet and at the
    close of the conference respectively.

    Call for Tutorials
    ------------------
    Tutorials should address subjects that fall within the thrust of the
    conference and may be proposed as either half- or a 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 Iain Bate. The providers of 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 accordingly be halved. The Ada User
    Journal will offer space for the publication of summaries of the
    accepted tutorial in issues preceding and/or following the conference.

    Call for Workshops
    ------------------
    Workshops on themes within the conference scope may be arranged to
    discuss matters of immediate technical interest as well as to foster
    action on longer-term technical objectives. Proposals may be submitted
    for half- or full-day workshops, to be scheduled on either ends of the
    main conference. Workshop proposals should be submitted by e-mail to
    the Program Co-Chair Tullio Vardanega. The workshop organiser shall
    also commit to preparing proceedings for timely publication in the Ada
    User Journal.

    Exhibition
    ----------
    Commercial exhibitions will span the three days of the main conference.
    Vendors and providers of software products and services should contact
    the Exhibition Chair Rod Chapman as soon as possible for further
    information and for allowing suitable planning of the exhibition space
    and time.

    Reduced Fees for Students
    -------------------------
    A small number of bursars are available for students who will
    (co-)author and present papers at the conference. A reduction of 25%
    will be made to the conference fee. Contact the Conference Chair Alan
    Burns for details.

    Organizing Committee
    --------------------
    Conference Chair
      Alan Burns, University of York, UK
      burns@cs.york.ac.uk

    Program Co-Chairs
      Tullio Vardanega, University of Padua, Italy
      tullio.vardanega@math.unipd.it

      Andy Wellings, University of York, UK
      andy@cs.york.ac.uk

    Tutorial Chair
      Iain Bate, University of York, UK
      ijb@cs.york.ac.uk

    Exhibition Chair
      Rod Chapman, Praxis Critical Systems
      rod.chapman@praxis-cs.co.uk

    Publicity Co-Chairs
      Ian Broster, University of York, UK
      ianb@cs.york.ac.uk

      Dirk Craeynest, Aubay Belgium & K.U.Leuven, Belgium
      Dirk.Craeynest@cs.kuleuven.ac.be

    Local Administrator
      Sue Helliwell, University of York, UK
      sue@cs.york.ac.uk

    Ada-Europe Conference Liaison
      Laurent Pautet, ENST Paris, France
      pautet@enst.fr

    Program Committee
    -----------------
    Asplund Lars, Mälardalens Högskola, Sweden
    Alonso Alejandro, Universidad Politecnica de Madrid, Spain
    Barnes Janet, Praxis Critical Systems, UK
    Bernat Guillem, University of York, UK
    Blieberger Johann, Technische Universität Wien, Austria
    Burgstaller Bernd, Technische Universität Wien, Austria
    Burns Alan, University of York, UK
    Cederling Ulf, Vaxjo University, Sweden
    Craeynest Dirk, Aubay Belgium & K.U.Leuven, Belgium
    Crespo Alfons, Universidad Politecnica de Valencia, Spain
    Dencker Peter, Aonix GmbH, Germany
    Devillers Raymond, Université Libre de Bruxelles, Belgium
    González-Harbour Michael, Universidad de Cantabria, Spain
    Hately Andrew, Eurocontrol - CEATS Research Development Simulation
      Centre, Hungary
    Hommel Günter, Technischen Univesität Berlin, Germany
    Kauer Stefan, EADS Dornier, Germany
    Keller Hubert, Institut für Angewandte Informatik
    Kermarrec Yvon, ENST Bretagne, France
    Kienzle Jörg, McGill University, Canada
    Kordon Fabrice, Université Pierre & Marie Curie, France
    Leroy Pascal, IBM, France
    LLamosi Albert, Universitat de les Illes Balears, Spain
    Lundqvist Kristina, MIT, USA
    Mazzanti Franco, Istituto di Scienza e Tecnologie dell'Informazione,
      Italy
    McCormick John, University of Northern Iowa, USA
    Miranda Javier, Universidad Las Palmas de Gran Canaria, Spain
    Morere Pierre, Aonix, France
    de la Puente Juan A., Universidad Politecnica de Madrid, Spain
    Pautet Laurent, ENST Paris, France
    Plödereder Erhard, Universität Stuttgart, Germany
    Romanovsky Alexander, University of Newcastle upon Tyne, UK
    Rosen Jean-Pierre, Adalog, France
    Schonberg Edmond, New York University & ACT, USA
    Vardanega Tullio, Università di Padova, Italy
    Wellings Andy, University of York, UK
    Winkler Jürgen, Friedrich-Schiller-Universität, Germany

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

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

    Dirk.Craeynest@cs.kuleuven.ac.be, Ada-Europe'2005 Publicity Co-Chair

    *** 10th Intl.Conf.on Reliable Software Technologies - Ada-Europe'2005
    *** June 20-24, 2005 *** York, UK *** http://www.ada-europe.org ***
    (V2.7)


  • Next message: Gregg C Levine: "Problem building Crosstool for MIPSel for LinkSys wireless router"

    Relevant Pages