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.7 required=5.0 tests=BAYES_00,FILL_THIS_FORM, FILL_THIS_FORM_LONG,REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII X-Google-Thread: 107e1d,c85c666762729af5,start X-Google-Attributes: gid107e1d,public X-Google-Thread: 103376,c85c666762729af5,start X-Google-Attributes: gid103376,public X-Google-Thread: 111c4c,c85c666762729af5,start X-Google-Attributes: gid111c4c,public X-Google-ArrivalTime: 2000-09-01 06:30:51 PST Path: supernews.google.com!sn-xit-02!supernews.com!nntp-relay.ihug.net!ihug.co.nz!skynet.be!newsfeeds.belnet.be!news.belnet.be!nmaster.kpnqwest.net!npeer.kpnqwest.net!nreader1.kpnqwest.net.POSTED!not-for-mail Message-ID: <39AFAF72.1A36219C@cfmu.eurocontrol.be> From: Andrew Hately Reply-To: Andrew Hately Organization: Eurocontrol X-Mailer: Mozilla 4.61 [en] (X11; I; HP-UX B.11.00 9000/782) X-Accept-Language: en,en-GB,en-US,fr,fr-BE,fr-FR,fr-CH,fr-CA MIME-Version: 1.0 Newsgroups: comp.lang.ada,fr.comp.lang.ada,be.comp Subject: International Conference on Reliable Software Technologies, Ada-Europe'2001 - Call for Papers Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit Cache-Post-Path: ecw.eurocontrol.be!unknown@harrier.ifps.cfmu.eurocontrol.be X-Cache: nntpcache 2.3.3 (see http://www.nntpcache.org/) Date: Fri, 01 Sep 2000 13:30:41 GMT NNTP-Posting-Host: 193.221.170.178 X-Complaints-To: abuse@Belgium.EU.net X-Trace: nreader1.kpnqwest.net 967815041 193.221.170.178 (Fri, 01 Sep 2000 15:30:41 MET DST) NNTP-Posting-Date: Fri, 01 Sep 2000 15:30:41 MET DST Xref: supernews.google.com comp.lang.ada:462 fr.comp.lang.ada:21 be.comp:2012 Date: 2000-09-01T13:30:41+00:00 List-Id: Sorry if you see multiple copies of this. The web based submission system is now operational; please note that the deadline for submissions is earlier this year. regards, Andrew Hately Publicity Chair of the 6th International Conference on Reliable Software Technologies, Ada-Europe'2001 ------------------------------------------------------------------------ CALL FOR PAPERS 6th International Conference on Reliable Software Technologies - Ada-Europe'2001 14 - 18 May 2001, Leuven, Belgium http://www.ada-europe.org/conference2001.html ------------------------------------------------------------------------ Sponsored by Ada-Europe, organized by Ada-Belgium and K.U.Leuven, in cooperation with ACM SIGAda (approval pending). General Information ------------------- The 6th International Conference on Reliable Software Technologies (Ada-Europe'2001) will take place in the year 2001 in the historic university town of Leuven, near Brussels, Belgium. 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/conference2001.html Schedule -------- - 16 October 2000: Submission of papers, extended abstracts and tutorial/workshop/poster proposals - 11 December 2000: Notification to authors - 11 January 2001: Full papers required for accepted extended abstracts - 12 February 2001: Final papers (camera-ready) required - 14-18 May 2001: 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. There will be a special session on e-business and Internet-based applications, including the use of Ada in this realm. For papers, tutorials, poster and workshop proposals, the topics of interest include, but are not limited to: + E-business and Internet-based applications (special session). + Management of Software Development and Maintenance: Methods, Techniques and Tools. + Software Quality: Quality Management and Assurance, Risk Analysis, Program Analysis, Verification, Validation and 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 or 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 and 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. An extended abstract (4-6 pages) or, preferably, the full paper (up to 12 pages) should be sent using the Web submission form. For more information please see the conference Web page: http://www.ada-europe.org/conference2001.html Submissions should be in PDF, Postscript or ASCII format, 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 extended abstract or paper by e-mail to the Program Co-Chair Dirk Craeynest, mailto:Dirk.Craeynest@cs.kuleuven.ac.be . 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 as a paper, extended abstract or poster, 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 of extended abstracts must be prepared to submit a full version of their paper before January 11, 2001. Proceedings ----------- The proceedings will be published in the Lecture Notes in Computer Science (LNCS) series by Springer, and will be available at the start of the conference. See the LNCS Authors Instructions page ( 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 Luc Bernard, mailto:lbn@offis.be . 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 Alfred Strohmeier, mailto:Alfred.Strohmeier@epfl.ch . Call for Posters ---------------- Poster presentations are invited exclusively from academia on on-going research projects, new concepts, and system implementations. An exhibition area will be provided and presentations will be accommodated. Submissions should be sent in PDF, Postscript or ASCII format, by e-mail to the Program Co-Chair Dirk Craeynest, mailto:Dirk.Craeynest@cs.kuleuven.ac.be . Exhibition ---------- The conference will be accompanied by a three-day commercial exhibition on May 15, 16 and 17. Vendors of software products and services should contact at their earliest convenience the Exhibition Chair Yvan Barbaix, mailto:Yvan.Barbaix@cs.kuleuven.ac.be , for further information and to ensure their inclusion. ------------------------------------------------------------------------ Organization ============ Conference Chair ---------------- Karel De Vlaminck K.U.Leuven Department of Computer Science Celestijnenlaan 200 A B-3001 Leuven (Heverlee), Belgium Karel.DeVlaminck@cs.kuleuven.ac.be Program Co-Chairs ----------------- Dirk Craeynest OFFIS nv/sa & K.U.Leuven Weiveldlaan 41/32 B-1930 Zaventem, Belgium Dirk.Craeynest@cs.kuleuven.ac.be Alfred Strohmeier Swiss Federal Institute of Technology in Lausanne (EPFL) Department of Computer Science, Software Engineering Lab CH-1015 Lausanne EPFL, Switzerland Alfred.Strohmeier@epfl.ch Tutorial Chair -------------- Luc Bernard OFFIS nv/sa Weiveldlaan 41/32 B-1930 Zaventem, Belgium lbn@offis.be Exhibition Chair ---------------- Yvan Barbaix K.U.Leuven Department of Computer Science Celestijnenlaan 200 A B-3001 Leuven (Heverlee), Belgium Phone +32-16-32.75.75, Fax +32-16-32.79.96 Yvan.Barbaix@cs.kuleuven.ac.be Publicity Chair --------------- Andrew Hately Eurocontrol - CFMU Raketstraat 96 B-1130 Brussel (Haren), Belgium Andrew.Hately@eurocontrol.be Finance Co-Chairs ----------------- Karel De Vlaminck, K.U.Leuven Karel.DeVlaminck@cs.kuleuven.ac.be Marc Gobin Royal Military Academy Renaissancelaan 30 B-1000 Brussel, Belgium Marc.Gobin@info.rma.ac.be Local Organization Chair ------------------------ Yolande Berbers K.U.Leuven Department of Computer Science Celestijnenlaan 200 A B-3001 Leuven (Heverlee), Belgium Yolande.Berbers@cs.kuleuven.ac.be Organizing Committee -------------------- Karel De Vlaminck, Dirk Craeynest, Yolande Berbers Program Committee ----------------- �Angel �Alvarez, Technical University of Madrid, Spain Lars Asplund, Uppsala University, Sweden Ted Baker, Florida State University, USA Yvan Barbaix, K.U.Leuven, Belgium St�ephane Barbey, Paranor AG, Switzerland John Barnes, UK Yolande Berbers, K.U.Leuven, Belgium Luc Bernard, OFFIS nv/sa, Belgium Guillem Bernat, University of York, UK Johann Blieberger, Technical University Vienna, Austria Jim Briggs, University of Portsmouth, UK Bernd Burgstaller, Technical University Vienna, Austria Alan Burns, University of York, UK Agusti Canals, CS-SI, France Ulf Cederling, Vaxjo University, Sweden Dirk Craeynest, OFFIS nv/sa & K.U.Leuven, Belgium Alfons Crespo, Universidad Polit�cnica de Valencia, Spain Juan A. de la Puente, Universidad Polit�cnica de Madrid, Spain Peter Dencker, Aonix GmbH, Germany Raymond Devillers, Universite� Libre de Bruxelles, Belgium Michael Feldman, George Washington University, USA Jesu�s M. Gonza�lez-Barahona, Universidad Rey Juan Carlos, Spain Michael Gonz�alez Harbour, Universidad de Cantabria, Spain Gerhard Goos, University of Karlsruhe, Germany Thomas Gruber, Austrian Research Centers, Austria Helge Hagenauer, University of Salzburg, Austria G�nter Hommel, Technische Universit�t Berlin, Germany Yvon Kermarrec, ENST Bretagne, France J�org Kienzle, Swiss Fed. Inst.of Technology Lausanne, Switzerland Fabrice Kordon, Universit� P.& M. Curie, France Bj�rn K�llberg, SaabTech, Sweden Albert Llamos�, Universitat de les Illes Balears, Spain Kristina Lundqvist, Uppsala University, Sweden Franco Mazzanti, Ist. di Elaborazione della Informazione, Italy John W. McCormick, University of Northern Iowa, USA Hugo Moen, Navia Aviation AS, Norway Pierre Morere, Aonix, France Paolo Panaroni, Intecs Sistemi, Italy Laurent Pautet, ENST Paris University, France Erhard Pl�odereder, University of Stuttgart, Germany Ceri Reid, Coda Technologies, UK Jean-Marie Rigaud, Universit� Paul Sabatier, France Sergey Rybin, Moscow State University, Russia & ACT Europe, France Edmond Schonberg, New York University & ACT, USA Alfred Strohmeier, Swiss Fed. Inst. of Technology Lausanne, Switzerland Matthias Suilmann, CCI, Germany Jan van Katwijk, Delft University of Technology, the Netherlands Stef Van Vlierberghe, OFFIS nv/sa, Belgium Tullio Vardanega, European Space Agency, the Netherlands Ian Wild, Eurocontrol, Belgium Ju�rgen Winkler, Friedrich-Schiller-Universit�t, Germany Thomas Wolf, Paranor AG, Switzerland Advisory Board -------------- Brad Balfour, Objective Interface, USA Ben Brosgol, Ada Core Technologies, USA Roderick Chapman, Praxis Critical Systems, UK Robert Dewar, Ada Core Technologies, USA Franco Gasperoni, ACT Europe, France Ian Gilchrist, IPL Information Processing, UK Mike Kamrad, Top Layer Networks, USA Hubert B. Keller, Forschungszentrum Karlsruhe, Germany Rudolf Landwehr, CCI, Germany John Robinson, John Robinson & Associates, UK Jean-Pierre Rosen, Adalog, France Bill Taylor, Rational Software, UK Theodor Tempelmeier, Rosenheim University of Applied Sciences, Germany Joyce Tokar, DDC-I, USA Andy Wellings, University of York, UK ------------------------------------------------------------------------ 30 August 2000, DC/AS/JK, based on 10/A4 + modif.