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=0.1 required=5.0 tests=BAYES_00,FILL_THIS_FORM, FILL_THIS_FORM_LONG autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 107e1d,ceade9cdcb97681a,start X-Google-Attributes: gid107e1d,public X-Google-Thread: 103376,ceade9cdcb97681a,start X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2003-06-24 13:02:26 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!bloom-beacon.mit.edu!news.rediris.es!aotearoa.belnet.be!naxos.belnet.be!news.belnet.be!not-for-mail From: dirk@ada.cs.kuleuven.ac.be (Dirk Craeynest) Newsgroups: comp.lang.ada,fr.comp.lang.ada Subject: CfPapers, Reliable Software Technologies, Ada-Europe 2004 Date: 24 Jun 2003 22:02:19 +0200 Organization: Ada-Europe, c/o Dept. of Computer Science, K.U.Leuven Message-ID: NNTP-Posting-Host: seven.kulnet.kuleuven.ac.be X-Trace: naxos.belnet.be 1056484943 15749 134.58.127.12 (24 Jun 2003 20:02:23 GMT) X-Complaints-To: abuse@belnet.be NNTP-Posting-Date: Tue, 24 Jun 2003 20:02:23 +0000 (UTC) Summary: Start now to prepare your submissions! Keywords: Conference,tutorials,reliable software,Ada,LNCS,Palma,Mallorca Cache-Post-Path: seven.kulnet.kuleuven.ac.be!unknown@ada.cs.kuleuven.ac.be X-Cache: nntpcache 2.4.0b5 (see http://www.nntpcache.org/) Xref: archiver1.google.com comp.lang.ada:39689 fr.comp.lang.ada:3013 Date: 2003-06-24T22:02:19+02:00 List-Id: ------------------------------------------------------------------------ CALL FOR PAPERS 9th International Conference on Reliable Software Technologies - Ada-Europe 2004 14 - 18 June 2004, Palma de Mallorca, Spain http://www.ada-europe.org/conference2004.html Organized, on behalf of Ada-Europe, by the University of the Balearic Islands, in cooperation with ACM SIGAda (approval pending) and Ada-Spain *** CfP in PostScript/PDF on web site *** ------------------------------------------------------------------------ Ada-Europe organizes annual international conferences since the early 80's. This is the 9th 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). General Information ------------------- The 9th International Conference on Reliable Software Technologies (Ada-Europe 2004) will take place in 2004 in Palma de Mallorca, Spain. The full conference will comprise a three-day technical program and exhibition from Tuesday to Thursday, and parallel workshops and tutorials on Monday and Friday. For more information, visit the conference Web site at http://www.ada-europe.org/conference2004.html Schedule -------- 31 October 2003: Submission of papers, tutorials and workshops 12 January 2004: Notification to authors 1 March 2004: Final papers (camera-ready) required 14-18 June 2004: Conference Topics ------ The conference will provide an international forum for researchers, developers and users of reliable software technologies. Presentations and discussions will cover applied and theoretical work currently conducted to support the development and maintenance of software systems. Participants will include practitioners and researchers from industry, academia and government. For papers, tutorials, and workshop proposals, the topics of interest include, but are not limited to: - Formal Methods. - Management of Software Development and Maintenance: Methods, Techniques and Tools. - Software Quality: Quality Management and Assurance, Risk Analysis, Program Analysis, Verification, Validation, Testing of Software Systems. - Software Development Methods and Techniques: Requirements Engineering, Object-Oriented Technologies, Formal Methods, Software Management Issues, Re-engineering and Reverse Engineering, Reuse. - Software Architectures: Patterns for Software Design and Composition, Frameworks, Architecture-Centered Development, Component and Class Libraries, Component Design. - Tools: CASE Tools, Software Development Environments, Compilers, Browsers, Debuggers. - Kinds of Systems: Real-Time Systems, Distributed Systems, Fault- Tolerant Systems, Information Systems, Safety-Critical and Secure Systems. - Applications in Multimedia and Communications, Manufacturing, Robotics, Avionics, Space, Health Care, Transportation, Industry. - Ada Language and Tools: Programming Techniques, Object-Oriented Programming, New Approaches in Tool Support, Bindings and Libraries, Evaluation & Comparison of Languages, Language Extension Proposals. - Ada Experience Reports: Experience Reports from Projects using Ada, Management Approaches, Metrics, Comparisons with past or parallel Experiences in non-Ada Projects. - Education and Training. - Case Studies and Experiments. Submissions ----------- Authors are invited to submit original contributions. Submissions should be in English. The full paper (up to 12 pages) should be sent using the Web submission form at http://www.ada-europe.org/conference2004.html Submissions should be in PDF (preferred) or Postscript, and follow the LNCS instructions (see 'Proceedings' below). Submissions by other electronic formats, such as a word processor source file, or by fax are not accepted. The Web submission form is the preferred procedure. However, if you don't have access to the Internet, or you don't have an appropriate Web browser, you may send your submission by e-mail to the Program Co-Chair Albert Llamosi (llamosi@uib.es). If electronic submission is not available, please send five paper copies. For e-mail or paper submissions, the body of the electronic message or the first page should identify the submission, and should include in plain text: the title; name, current affiliation, postal address, e-mail address, telephone and fax of each author; the name of the designated contact person; a short abstract; and a list of keywords ordered by relevance, including, whenever possible, topics and subtopics taken from the list of topics of the conference. If the paper is submitted in Postscript, please be sure to select the option "optimize for portability" in your printer driver. To enable publication of the accepted papers before the conference, strict adherence to the dates of the schedule is essential. Authors must be prepared to submit a camera ready version of their paper before March 1, 2004. For experience reports from industry, the submission of an extended abstract (4-6 pages) is acceptable. The full paper is then due on February 10, 2004. Proceedings ----------- The proceedings will be published in the Lecture Notes in Computer Science (LNCS) series by Springer Verlag, and will be available at the start of the conference. See the LNCS Authors Instructions page for guidelines (http://www.springer.de/comp/lncs/authors.html). Awards ------ There will be honorary awards for the best paper and the best presentation. See the Ada-Europe Prizes page for previous winners: http://www.ada-europe.org/prizes.html. Call for Tutorials ------------------ A tutorial should address any of the topics of the theme of the conference. A tutorial will last a half or full day. The proposals should include a title, an abstract, a description of the topic, a detailed outline of the presentation, a description of the presenter's teaching experience in general and with the proposed topic, duration (half day or full day), level of the tutorial (introductory, intermediate, or advanced), expected audience experience and background. Proposals should be submitted by e-mail to the Tutorial Chair, Javier Miranda (jmiranda@iuma.ulpgc.es). Full-day tutorial presenters get a free conference registration and receive a fee for every paying participant in excess of 5; for half-day tutorials, the benefits are also "half". Call for Workshops ------------------ Half- and full-day workshops can be held to address timely issues or to initiate a longer term effort on a topic of interest. Proposals should be submitted by e-mail to the Program Co-Chair Albert Llamosi (llamosi@uib.es). Exhibition ---------- The conference will be accompanied by a three-day commercial exhibition on June 15, 16 and 17. Vendors of software products and services should contact the Exhibition Chair, Peter Dencker (dencker@aonix.de) at their earliest convenience for further information and to ensure their inclusion. Organizing Committee ------------------- Conference Chair Albert Llamosi Dept. of Mathematics and Computer Science University of the Balearic Islands (UIB) E-07122 Palma, Spain llamosi@uib.es Program Co-Chairs Albert Llamosi Dept. of Mathematics and Computer Science University of the Balearic Islands (UIB) E-07122 Palma, Spain llamosi@uib.es Alfred Strohmeier Software Engineering Lab Swiss Federal Institute of Technology in Lausanne (EPFL) CH-1015 Lausanne EPFL, Switzerland Alfred.Strohmeier@epfl.ch Tutorial Chair Javier Miranda Applied Microelectronics Research Institute University of Las Palmas de Gran Canaria E-35003 Las Palmas, Spain jmiranda@iuma.ulpgc.es Exhibition Chair Peter Dencker Aonix GmbH D-76137 Karlsruhe, Deutschland dencker@aonix.de Publicity Chair Dirk Craeynest Aubay Belgium & K.U. Leuven B-1180 Brussels, Belgium Dirk.Craeynest@cs.kuleuven.ac.be Local Organization Chair Gabriel Fontanet Dept. of Mathematics and Computer Science University of the Balearic Islands (UIB) E-07122 Palma, Spain gfontanet@uib.es Miquel Mascaro Dept. of Mathematics and Computer Science University of the Balearic Islands (UIB) E-07122 Palma, Spain mascport@uib.es Ada-Europe Conference Liaison Laurent Pautet ENST Paris F-75013 Paris, France pautet@enst.fr Program Committee ----------------- Alejandro Alonso, ETSI Telecomunicacion, Spain Angel Alvarez, Technical University of Madrid, Spain Lars Asplund, Malardalens hogskola, Sweden Neil Audsley, University of York, UK Janet Barnes, Praxis Critical Systems Limited, UK Pierre Bazex, IRIT, France Guillem Bernat, University of York, UK Johann Blieberger, Technical University Vienna, Austria Maarten Boasson, University of Amsterdam, The Netherlands Ben Brosgol, ACT, USA Bernd Burgstaller, TU Vienna, Austria Ulf Cederling, Vaxjo University, Sweden Roderick Chapman, Praxis Critical Systems Limited, UK Dirk Craeynest, Aubay Belgium & K.U.Leuven, Belgium Alfons Crespo, Universidad Politecnica de Valencia, Spain Juan A. de la Puente, Universidad Politecnica de Madrid, Spain Peter Dencker, Aonix GmbH, Germany Raymond Devillers, Universite Libre de Bruxelles, Belgium Gabriel Fontanet, Universitat de les Illes Balears, Spain Ana Garcia, Universidad Politecnica de Valencia, Spain Wolfgang Gellerich, IBM, Germany Michael Gonzalez-Harbour, Universidad de Cantabria, Spain Jesus M. Gonzalez-Barahona, Universidad Rey Juan Carlos, Spain Thomas Gruber, Austrian Research Centers Seibersdorf, Austria Helge Hagenauer, University Salzburg, Austria Andrew Hately, Eurocontrol, Belgium Gunter Hommel, TU Berlin, Germany Wolfgang Kastner, TU Vienna, Austria Stefan Kauer, EADS, Friedrichshafen, Germany Hubert B. Keller, Institut fur Angewandte Informatik, Germany Yvon Kermarrec, ENST Bretagne, France Jorg Kienzle, School of Comp.Sc., McGill University, Montreal, Canada Fabrice Kordon, UPMC, France Michel Lemoine, ONERA, France Pascal Leroy, Rational Software, France Kristina Lundqvist, Massachusetts Institute of Technology, USA Franco Mazzanti, Istituto di Elaborazione della Informazione, Italy Silvia Mazzini, Intecs HRT, Italy John W. McCormick, University of Northern Iowa, USA Thierry Millan, IRIT, France Pierre Morere, Aonix, France Pascal Obry, EdF, France Laurent Pautet, ENST Paris, France Erhard Plodereder, University Stuttgart, Germany Werner Pohlmann, University Salzburg, Austria Gerhard Rabe, TUV Nord e.V., Germany Ceri Reid, CODA Technologies, UK Jean-Marie Rigaud, Universite Paul Sabatier, France Alexander Romanovsky, University of Newcastle, UK Jean-Pierre Rosen, Adalog, France M.-Ribera Sancho, Universitat Politecnica de Catalunya, Spain Bo I. Sanden, Colorado Technical University, USA Bernhard Scholz, TU Vienna, Austria Edmond Schonberg, New York University & ACT, USA Gerald Sonneck, ARC Seibersdorf research, Austria Tullio Vardanega, University of Padova, Italy Andy Wellings, University of York, UK Jurgen Winkler, Friedrich-Schiller-Universitat, Germany Thomas Wolf, Paranor AG, Switzerland ------------------------------------------------------------------------ Our apologies if you receive multiple copies of this announcement. Please circulate widely. Dirk.Craeynest@cs.kuleuven.ac.be, Ada-Europe'2004 Publicity Chair *** Intl. Conference on Reliable Software Technologies - Ada-Europe'2004 *** June 14-18, 2004, Palma de Mallorca, Spain ** www.ada-europe.org ***