From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.1 required=5.0 tests=BAYES_00, PP_MIME_FAKE_ASCII_TEXT autolearn=no autolearn_force=no version=3.4.4 X-Google-Thread: 103376,6c9ae6060de73674,start X-Google-Thread: 107e1d,6c9ae6060de73674,start X-Google-Thread: f891f,6c9ae6060de73674,start X-Google-Attributes: gid103376,gid107e1d,gidf891f,public X-Google-Language: ENGLISH,ASCII Path: g2news2.google.com!news4.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!aotearoa.belnet.be!ikaria.belnet.be!news.belnet.be!unknown!not-for-mail From: dirk@muspel.cs.kuleuven.be (Dirk Craeynest) Newsgroups: comp.lang.ada,fr.comp.lang.ada,comp.lang.misc Subject: 2nd CfIP, Reliable Software Technologies, Ada-Europe 2007 Date: Sun, 24 Dec 2006 15:58:02 +0100 (CET) Organization: Ada-Europe, c/o Dept. of Computer Science, K.U.Leuven Message-ID: NNTP-Posting-Host: muspel.cs.kuleuven.be X-Trace: ikaria.belnet.be 1166972282 29801 134.58.42.26 (24 Dec 2006 14:58:02 GMT) X-Complaints-To: abuse@belnet.be NNTP-Posting-Date: Sun, 24 Dec 2006 14:58:02 +0000 (UTC) Summary: 17 days until submission deadline! Keywords: Conference,tutorials,reliable software,Ada,industry,LNCS,Geneva,ISO Cc: dirk Xref: g2news2.google.com comp.lang.ada:8006 fr.comp.lang.ada:494 comp.lang.misc:2013 Date: 2006-12-24T15:58:02+01:00 List-Id: This call for industrial presentations is specifically targeted to those of you who either work in industrial projects (possibly Ada-related) where reliable software technologies are important, or know people working in such projects. Please think for a moment what others might learn from the experience gained in those projects, and get a one-page presentation overview submitted by January 10th, i.e. 2.5 weeks from now. Many projects could report a lot of valuable experience: sharing it with others benefits the whole community and might provide useful feedback as well. We're looking forward to receive many interesting presentations. Best wishes for the new year, Dirk Craeynest, Ada-Europe'2007 Publicity Co-chair ----------------------------------------------------------------------- 2nd Call for Industrial Presentations 12th International Conference on Reliable Software Technologies - Ada-Europe 2007 25 - 29 June 2007, Geneva, Switzerland http://www.ada-europe.org/conference2007.html Organized, on behalf of Ada-Europe, by Ecole d'Ing�nieurs de Gen�ve in cooperation with ACM SIGAda *** CfIP in HTML/PDF on web site *** *** DEADLINE Wednesday 10 JANUARY 2007 *** ----------------------------------------------------------------------- General Information ------------------- The 12th International Conference on Reliable Software Technologies (Ada-Europe 2007) will take place in Geneva, Switzerland. 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. Call for Presentations ---------------------- In addition to the usual call for papers, and considering the success achieved in the previous conferences, we are having a call for presentations primarily aimed at industrialists who have valuable experience to report but who do not wish to write a complete paper. This separate call for presentations is made for Experience Reports from Industrial Projects and/or Experiments, Case Studies and Comparative Assessments, Management Approaches, Qualitative and Quantitative Metrics and Experience Reports on Education and Training Activities, with bearing on any of the conference topics. See below for further details. Schedule -------- 10 January 2007: Submission of presentation proposals 31 January 2007: Notification to authors 8 May 2007: Presentation material required 25-29 June 2007: Conference Submission of Presentations --------------------------- Presenters are invited to submit a one-page overview of the proposed presentation to Dominik Madon (dominik.madon@hesge.ch) by January 10th 2007. The Industrial Committee will review the proposals. The authors of selected presentations shall prepare their final presentation, together with a short abstract (max 10 lines), by 8th May 2007; they should aim at a 20 minutes talk. The authors of accepted presentations will also be invited to derive articles from them, for 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 Neville Rowden (neville.rowden@siemens.com) as soon as possible for further information and for allowing suitable planning of the exhibition space and time. 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 organizations interested in furthering the development of reliable software technologies. To mark the completion of the technical work for the Ada language standard revision process, contributions that present and discuss the potential of the revised language are particularly sought after. 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 Run-time Systems - 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 - Distributed Systems: Reliability, Security, Trust and Safety in Large Scale Distributed Platforms - Mainstream and Emerging Applications: Multimedia and Communications, Manufacturing, Robotics, Avionics, Space, Health Care, Transportation - Ada Language and Technology: Programming Techniques, Object-Oriented, Concurrent, Distributed Programming, Bindings and Libraries, Evaluation & Comparative Assessments, Critical Review of Language Enhancements, Novel Support Technology, HW/SW platforms - Experience Reports: Experience Reports, Case Studies and Comparative Assessments, Management Approaches, Qualitative and Quantitative Metrics, Experience Reports on Education and Training Activities with bearing on any of the conference topics Organizing Committee -------------------- Conference Chair Nabil Abdennadher, University of Applied Sciences, Geneva, Switzerland nabil.abdennadher@hesge.ch Industrial Committee Chair Dominik Madon University of Applied Sciences, Geneva, Switzerland dominik.madon@hesge.ch Industrial Committee Members Bouali Amar, Esterel Technologies Chapman Rod, Praxis HIS Denker Peter, Parasoft GmbH Devuns Olivier, Aonix Gasperoni Franco, AdaCore Leroy Pascal, IBM Rational Str�hle Rei, Saab Systems Thom Francis, Artisan Software Abdennadher Nabil, Conference Chair Pl�dereder Erhard, Ada-Europe (President) Craeynest Dirk, Ada-Europe (Vice-President) Conference Organization ----------------------- Conference Chair Nabil Abdennadher, University of Applied Sciences, Geneva, Switzerland nabil.abdennadher@hesge.ch Program Co-chairs Nabil Abdennadher University of Applied Sciences, Geneva, Switzerland nabil.abdennadher@hesge.ch Fabrice Kordon University Pierre & Marie Curie, France Fabrice.kordon@lip6.fr Tutorial Chair Dominik Madon University of Applied Sciences, Geneva, Western Switzerland dominik.madon@hesge.ch Exhibition Chair Neville Rowden, Siemens Switzerland neville.rowden@siemens.com Publicity Co-chairs Ahlan Marriott, White-elephant, Switzerland Ada@White-elephant.ch Dirk Craeynest, Aubay Belgium & K.U.Leuven, Belgium Dirk.Craeynest@cs.kuleuven.be Local Chair R�gis Boesch, University of Applied Sciences, Geneva, Switzerland regis.boesch@hesge.ch ----------------------------------------------------------------------- Our apologies if you receive multiple copies of this announcement. Please circulate widely. Dirk.Craeynest@cs.kuleuven.be, Ada-Europe'2007 Publicity Co-chair *** 12th Intl.Conf.on Reliable Software Technologies - Ada-Europe'2007 *** June 25-29, 2007 * Geneva, Switzerland * http://www.ada-europe.org (V6.1)