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-Language: ENGLISH,ASCII X-Google-Thread: 107e1d,44cf15796aee673f,start X-Google-Attributes: gid107e1d,public X-Google-Thread: 103376,44cf15796aee673f,start X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2004-03-21 12:43:11 PST Path: archiver1.google.com!news1.google.com!news.glorb.com!syros.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: 9th Int.Conf.on Reliable Software Technologies, Ada-Europe 2004 Date: 21 Mar 2004 21:43:09 +0100 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 1079901790 29258 134.58.127.12 (21 Mar 2004 20:43:10 GMT) X-Complaints-To: abuse@belnet.be NNTP-Posting-Date: Sun, 21 Mar 2004 20:43:10 +0000 (UTC) Summary: Full Program is online. Registration has started. Keywords: Conference,tutorials,reliable software,Ada,LNCS,Palma,Mallorca 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: archiver1.google.com comp.lang.ada:6467 fr.comp.lang.ada:3521 Date: 2004-03-21T21:43:09+01:00 List-Id: ------------------------------------------------------------------------ Call for Participation *** PROGRAM SUMMARY *** 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 *** Advance Program is online. Registration has started. *** ------------------------------------------------------------------------ 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). The 12-page Advance Program brochure with full information is available on the conference web site; the AP contains the list of accepted papers, as well as a detailed description of the tutorials. Use the "Program" link at the top to either view or download the PDF version or contact the conference chair to request a printed copy of the brochure. Direct URLs - Advance Program (large file, 1.8 MB, incl. conference & hotel forms): http://dmi.uib.es/~AE2004/documents/program.pdf - conference registration form (small file): http://dmi.uib.es/~AE2004/documents/g_registration.pdf - hotel reservation form (small file): http://dmi.uib.es/~AE2004/documents/accomodation_form.pdf Quick overview - Mon 14 & Fri 18: tutorials - Tue 15 - Thu 17: paper and vendor presentation sessions, exhibition Program co-chairs - Albert Llamos�, University of the Balearic Islands (UIB), Dept. of Mathematics and Computer Science, Spain, llamosi@uib.es - Alfred Strohmeier, Swiss Fed. Inst. of Technology in Lausanne (EPFL), Software Engineering Lab, Switzerland, Alfred.Strohmeier@epfl.ch Invited speakers - S. Tucker Taft, SofCheck Inc., USA "Fixing Software Before It Breaks: Using Static Analysis to Help Solve the Software Quality Quagmire" - Martin Gogolla, University of Bremen, Germany "Benefits and Problems of Formal Methods" - Antoni Oliv�, Universitat Polit�cnica de Catalunya, Spain "On the Role of Conceptual Schemas in Information System Development" - Steve Vinoski, IONA Technologies, USA "Can Middleware Be Reliable?" Special session - Pascal Leroy, IBM France & ISO Ada Rapporteur Group "Ada0Y: An Overview" Tutorials (full day) - "Developing a Web Server in Ada with AWS", Jean-Pierre Rosen - "Practical Experiences of Safety and Security-Critical Technologies", Peter Amey & Rod Chapman - "Developing Fault-Tolerant, Time-Critical Systems with AADL, UML, and Ada", Bruce Lewis & Ed Colbert - "Real-Time Java for Ada Programmers", Ben Brosgol Tutorials (half day) - "Programming with the Charles Container Library", Matthew Heaney - "Probabilistic Worst Case Execution Time Analysis", Guillem Bernat - "No Pointers, Great Programs. How to Stay on the Value Semantics Side of the Ada Way", Mario Amado Alves - "Requirements Analysis with Use Cases", Alfred Strohmeier Papers - 4 invited papers and 23 technical papers on Application Programming Interfaces, Critical Systems Modeling, Distributed Systems, Real-Time Systems, Reflection and XML, Scheduling, Static Analysis, and Testing - authors from 10 countries: Austria, China, Czech Republic, France, Germany, India, Portugal, Spain, United Kingdom, and USA Exhibition - 8 exhibitors already committed: ACT Europe, Aonix, Green Hills, I-Logix, LDRA Software Technology, Praxis Critical Systems, RainCode, and TNI-Europe, others expressed interest - vendor presentation tracks for exhibitors Social evening events - Mon: to be announced, visit conference web site for updates - Tue: welcome cocktail at Bellver Castle offered by city council - Wed: sightseeing bus tour of north coast tour followed by conference banquet at Bah�a Mediterraneo restaurant - Thu: to be announced Registration - includes copy of proceedings, published by Springer-Verlag in Lecture Notes in Computer Science series (LNCS) and distributed at event - includes coffee breaks, lunches, social events - three day conference registration includes conference banquet - early registration discount up to May 16, 2004 - additional discount for academia, Ada-Europe and ACM members For more info, latest updates, or to get printed brochures, see the conference web site at http://www.ada-europe.org/conference2004.html or contact llamosi@uib.es. ------------------------------------------------------------------------ Our apologies if you receive multiple copies of this announcement. 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 ***