------------------------------------------------------------------------ 2nd Call for Participation *** UPDATED 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 and Ada-Spain *** Early registration discount until May 25. *** *** Printed Advance Program available on conference 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). 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 "An Invitation to Ada 2005" 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 - early registration discount up to Tue May 25, 2004: **don't delay!** - additional discount for academia, Ada-Europe and ACM members - registration includes copy of printed 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 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 ***