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.3 required=5.0 tests=BAYES_00, PP_MIME_FAKE_ASCII_TEXT,TO_NO_BRKTS_PCNT autolearn=no autolearn_force=no version=3.4.4 X-Google-Thread: 103376,cceedacbe0717b19,start X-Google-Thread: 107e1d,cceedacbe0717b19,start X-Google-Attributes: gid103376,gid107e1d,public X-Google-Language: ENGLISH,ASCII Path: g2news1.google.com!news4.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!nx02.iad01.newshosting.com!newshosting.com!217.73.144.44.MISMATCH!ecngs!feeder.ecngs.de!193.190.198.58.MISMATCH!aotearoa.belnet.be!ikaria.belnet.be!news.belnet.be!not-for-mail From: dirk@heli.cs.kuleuven.ac.be (Dirk Craeynest) Newsgroups: comp.lang.ada,fr.comp.lang.ada Subject: Ada-Europe 2006 submission deadline approaching Date: 4 Oct 2005 21:41:23 +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: ikaria.belnet.be 1128454884 21553 134.58.127.12 (4 Oct 2005 19:41:24 GMT) X-Complaints-To: abuse@belnet.be NNTP-Posting-Date: Tue, 4 Oct 2005 19:41:24 +0000 (UTC) Summary: 26 days until submission deadline! Keywords: Conference,tutorials,reliable software,Ada,LNCS,Portugal Cc: dirk Cache-Post-Path: seven.kulnet.kuleuven.ac.be!unknown@heli.cs.kuleuven.ac.be X-Cache: nntpcache 2.4.0b5 (see http://www.nntpcache.org/) Xref: g2news1.google.com comp.lang.ada:5385 fr.comp.lang.ada:370 Date: 2005-10-04T21:41:23+02:00 List-Id: ----------------------------------------------------------------------- 3rd Call for Papers 11th International Conference on Reliable Software Technologies - Ada-Europe 2006 5 - 9 June 2006, Porto, Portugal http://www.ada-europe.org/conference2006.html Organised, on behalf of Ada-Europe, by Instituto Superior de Engenharia do Porto, in cooperation with ACM SIGAda (approval pending) *** DEADLINE END OCTOBER *** *** Web Submission Form Available *** ----------------------------------------------------------------------- Ada-Europe organizes annual international conferences since the early 80's. This is the 11th 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), York, UK ('05). General Information ------------------- The 11th International Conference on Reliable Software Technologies (Ada-Europe 2006) will take place in Porto, Portugal. 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 -------- 30 October 2005: Submission of papers, workshop/tutorial proposals 20 January 2006: Notification to authors 20 February 2006: Camera-ready papers required 5-9 June 2006: 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 - 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, 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 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. 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 Lu�s Miguel Pinho, 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 *February 20, 2006*. 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. 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 Jorge Real. 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 Conference Chair Lu�s Miguel Pinho. The workshop organizer 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 Jos� Ruiz 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 grants 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 Lu�s Miguel Pinho for details. Organizing Committee -------------------- Conference Chair Lu�s Miguel Pinho, Polytechnic Institute of Porto, Portugal lpinho@dei.isep.ipp.pt Program Co-Chairs Lu�s Miguel Pinho, Polytechnic Institute of Porto, Portugal lpinho@dei.isep.ipp.pt Michael Gonz�lez Harbour, Universidad de Cantabria, Spain mgh@unican.es Tutorial Chair Jorge Real, U. P. Valencia, Spain jorge@disca.upv.es Exhibition Chair Jos� Ruiz, AdaCore, France ruiz@adacore.com Publicity Chair Dirk Craeynest, Aubay Belgium & K.U.Leuven, Belgium Dirk.Craeynest@cs.kuleuven.be Local Chair Sandra Almeida, Polytechnic Institute of Porto, Portugal salmeida@dei.isep.ipp.pt Ada-Europe Conference Liaison Laurent Pautet, Telecom Paris, France pautet@enst.fr Program Committee ----------------- Alonso Alejandro, Universidad Polit�cnica de Madrid, Spain Asplund Lars, M�lardalens H�gskola, Sweden Barnes Janet, Praxis High Integrity Systems, UK Bernat Guillem, University of York, UK Blieberger Johann, Technische Universit�t Wien, Austria Brosgol Ben, AdaCore, USA Burgstaller Bernd, University of Sydney, Australia Burns Alan, University of York, UK Craeynest Dirk, Aubay Belgium & K.U.Leuven, Belgium Crespo Alfons, Universidad Polit�cnica de Valencia, Spain Devillers Raymond, Universit� Libre de Bruxelles, Belgium Gonz�lez Harbour Michael, Universidad de Cantabria, Spain Guti�rrez Jos� Javier, Universidad de Cantabria, Spain Hately Andrew, Eurocontrol CRDS, Hungary Hommel G�nter, Technischen Univesit�t Berlin, Germany Keller Hubert, Institut f�r Angewandte Informatik, Germany Kermarrec Yvon, ENST Bretagne, France Kienzle J�rg, McGill University, Canada Kordon Fabrice, Universit� Pierre & Marie Curie, France LLamosi Albert, Universitat de les Illes Balears, Spain Mazzanti Franco, ISTI-CNR Pisa, Italy McCormick John, University of Northern Iowa, USA Michell Stephen, Maurya Software, Canada Miranda Javier, Universidad Las Palmas de Gran Canaria, Spain Pautet Laurent, Telecom Paris, France Pinho Lu�s Miguel, Polytechnic Institute of Porto, Portugal Pl�dereder Erhard, Universit�t Stuttgart, Germany de la Puente Juan A., Universidad Polit�cnica de Madrid, Spain Real Jorge, Universidad Polit�cnica de Valencia, Spain Romanovsky Alexander, University of Newcastle upon Tyne, UK Rosen Jean-Pierre, Adalog, France Ruiz Jos�, AdaCore, France Schonberg Edmond, New York University & AdaCore, USA Tokar Joyce, Pyrrhus Software, 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.be, Ada-Europe'2006 Publicity Chair *** 11th Intl.Conf.on Reliable Software Technologies - Ada-Europe'2006 *** June 5-9, 2006 ** Porto, Portugal ** http://www.ada-europe.org *** (V3.1)