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.9 required=5.0 tests=BAYES_00,FILL_THIS_FORM, FILL_THIS_FORM_LONG,PP_MIME_FAKE_ASCII_TEXT autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII X-Google-Thread: 107e1d,ade9166bf684c20e,start X-Google-Attributes: gid107e1d,public X-Google-Thread: 103376,ade9166bf684c20e,start X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2002-10-17 15:39:04 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!logbridge.uoregon.edu!kibo.news.demon.net!demon!aotearoa.belnet.be!naxos.belnet.be!news.belnet.be!not-for-mail From: dirk@piefje.cs.kuleuven.ac.be (Dirk Craeynest) Newsgroups: comp.lang.ada,fr.comp.lang.ada Subject: Ada-Europe'2003 submission deadline approaching Date: 18 Oct 2002 00:38:57 +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 1034894341 28387 134.58.127.12 (17 Oct 2002 22:39:01 GMT) X-Complaints-To: abuse@belnet.be NNTP-Posting-Date: Thu, 17 Oct 2002 22:39:01 +0000 (UTC) Summary: Two weeks till submission deadline! Keywords: Conference,tutorials,reliable software,Ada,LNCS,Toulouse Cache-Post-Path: seven.kulnet.kuleuven.ac.be!unknown@piefje.cs.kuleuven.ac.be X-Cache: nntpcache 2.4.0b5 (see http://www.nntpcache.org/) Xref: archiver1.google.com comp.lang.ada:29884 fr.comp.lang.ada:1979 Date: 2002-10-18T00:38:57+02:00 List-Id: ------------------------------------------------------------------------ 2nd CALL FOR PAPERS 8th International Conference on Reliable Software Technologies - Ada-Europe 2003 16 - 20 June 2003, Toulouse, France *** CfP in PostScript/PDF on web site *** http://www.ada-europe.org/conference2003.html Web submission form available *** DEADLINE END OF OCTOBER *** ------------------------------------------------------------------------ General Information ------------------- The 8th International Conference on Reliable Software Technologies (Ada-Europe 2003) will take place in 2003 in Toulouse, France. 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. Schedule -------- - 31 October 2002 : Submission of papers, extended abstracts and proposals for tutorials and workshops - 13 January 2003 : Notification to authors - 10 February 2003: Full papers required for accepted extended abstracts - 10 March 2003 : Final papers (camera-ready) required - 16-20 June 2003 : 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 avionics and space, including the use of Ada in this realm. For papers, tutorials, and workshop proposals, the topics of interest include, but are not limited to: + Avionics and Space (special session). + 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. 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 site: http://www.ada-europe.org/conference2003.html and select "Submission form". 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 Jean-Pierre Rosen, mailto:rosen@adalog.fr. 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 or extended abstract, 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 February 10, 2003. 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 a 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 Co-Chairs Pierre Bazex, mailto:Pierre.Bazex@irit.fr, and Thierry Millan, mailto:Thierry.Milan@irit.fr. 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. Exhibition ---------- The conference will be accompanied by a three-day commercial exhibition on June 17, 18 and 19. Vendors of software products and services should contact the Exhibition Chair Fr�d�ric Dumas, mailto:frederic.dumas@c-s.fr, at their earliest convenience for further information and to ensure their inclusion. Organization ------------ For full contact information and the Program Committee: see the online CfP at the conference Web site. Conference Chair: Agusti Canals Agusti.Canals@c-s.fr, CS, Toulouse, France Program Co-Chairs: Jean-Pierre Rosen & Alfred Strohmeier Rosen@adalog.fr, Adalog, Arcueil, France Alfred.Strohmeier@epfl.ch, Swiss Federal Institute of Technology Lausanne (EPFL), Software Engineering Laboratory, Lausanne, Switzerland Tutorial Co-Chairs: Pierre Bazex & Thierry Millan Pierre.Bazex@irit.fr & Thierry.Millan@irit.fr, Universit� Paul Sabatier (UPS), Institut de Recherche en Informatique de Toulouse (IRIT), France Exhibition Chair: Fr�d�ric Dumas Frederic.Dumas@c-s.fr, CS, Toulouse, France Publicity Co-Chairs: Michel Lemoine & Dirk Craeynest Michel.Lemoine@cert.fr, ONERA, Toulouse, France Dirk.Craeynest@cs.kuleuven.ac.be, Offis (Aubay Group), Brussels, & K.U.Leuven, Belgium Local Organization Co-Chairs: Jean-Marie Rigaud & Carole Bernon Jean-Marie.Rigaud@irit.fr & Carole.Bernon@irit.fr, Universit� Paul Sabatier (UPS), Institut de Recherche en Informatique de Toulouse (IRIT), France ------------------------------------------------------------------------ Our apologies if you receive multiple copies of this announcement. Please circulate widely. Dirk.Craeynest@cs.kuleuven.ac.be, Ada-Europe'2003 Publicity Co-Chair -- Dirk Craeynest | Email Dirk.Craeynest@offis.be | Ada-Belgium Offis nv/sa - Aubay Group | Phone +32(2)725.40.25 | Ada-Europe Gatti de Gamondstraat 145 | +32(2)729.97.36 (work) | ACM SIGAda B-1180 Brussel, Belgium | Fax +32(2)725.40.12 | Team Ada *** Intl. Conference on Reliable Software Technologies - Ada-Europe'2003 *** June 16-20, 2003, Toulouse, France ** http://www.ada-europe.org/ ***