6th Int.Conf.on Reliable Software Technologies, Ada-Europe'2001 
Author Message
 6th Int.Conf.on Reliable Software Technologies, Ada-Europe'2001

------------------------------------------------------------------------

                   Preliminary Call for Participation

                         *** PROGRAM SUMMARY ***

                     6th International Conference on
            Reliable Software Technologies - Ada-Europe'2001

                    May 14-18, 2001, Leuven, Belgium

              http://www.*-*-*.com/

                 Organized by Ada-Belgium and K.U.Leuven
                         Sponsored by Ada-Europe
                     In cooperation with ACM SIGAda

        *** Full Program is online. Registration has started. ***

------------------------------------------------------------------------

A 16-page color brochure is available on the conference website.  Select
"Program" to either download a PDF version or to request a printed copy.

Quick overview
- Mon 14 & Fri 18: tutorials
- Tue 15 - Thu 17: paper & vendor presentation sessions, exhibition

Program co-chairs
- Dirk Craeynest, Offis nv/sa & K.U.Leuven, Belgium,

- Alfred Strohmeier, Swiss Federal Institute of Technology

Invited speakers
- Building formal requirement models for reliable software
  Axel van Lamsweerde, Universit Catholique de Louvain, Belgium
- Using Ada in interactive digital television systems
  Pascal Hraud, CANAL+ Technologies, France
- Testing from formal specifications, a generic approach
  Marie-Claude Gaudel, Universit de Paris-Sud, France
- Logic versus Magic in critical systems
  Peter Amey, Praxis Critical Systems, UK
- Can Java meet its real-time deadlines?
  Brian Dobbing, Aonix Europe Ltd, UK, co-author Ben Brosgol, ACT, USA

Tutorials
- Art Duncan: "Non-standard techniques in Ada" (full day)
- Peter Amey & Rod Chapman: "Practical experiences of safety-critical
  Ada technologies" (full day)
- Jeff Tian: "Early reliability measurement and improvement" (half day)
- Gregory Neven, Maarten Coene & Roel Addriaensens: "An introduction to
  XML" (half day)
- John Harbaugh: "From full concurrency to safe concurrency" (full day)
- Samuel Tardieu, Laurent Pautet & Thomas Quinot: "Building distributed
  systems with Ada" (full day)
- Matthew Heaney: "Implementing design patterns in Ada: sequential
  programming idioms" (half day)
- Bruce Lewis & Ed Colbert: "Architecture centred development and
  evolution of reliable real-time systems" (half day)

Papers
- 32 papers on Formal Methods, Testing, High-Integrity Systems, Program
  Analysis, Distributed Systems, Real-Time Systems, Language and
  Patterns, Dependable Systems, APIs and Components, Real-Time Kernels,
  Standard Formats: UML & XML, System Evolution, and Software Process
- authors from Australia, Belgium, China, France, Germany, Israel,
  Portugal, Russia, Spain, Sweden, Switzerland, United Kingdom, USA

Exhibition
- 8 exhibitors already committed: Aonix, Ada Core Technologies (ACT),
  DDC-I, Irvine Compiler, Praxis Critical Systems, Rational Software,
  TNI-Europe and Top Graph'X, others expressed interest
- separate vendor presentation tracks for exhibitors

Social evening events
- Mon: welcome reception with Belgian beers
- Tue: guided tour of historic town hall followed by civic reception
- Wed: guided historic walk followed by conference banquet at Faculty
       Club in Groot Begijnhof
- Thu: visit to Stella Artois brewery followed by tasting session

Registration
- includes copy of full proceedings, published by Springer-Verlag in
  Lecture Notes in Computer Science series (LNCS)
- early registration discount up to April 12, 2001
- discount for academia, Ada-Europe and ACM members

URLs
- conference registration form (small PDF file):
  http://www.*-*-*.com/
- hotel reservation form (small web page):
  http://www.*-*-*.com/
- preliminary program (large PDF file, contains all information and forms):
  http://www.*-*-*.com/

For more info, latest updates, or to get printed brochures, see the
conference web site at http://www.*-*-*.com/

------------------------------------------------------------------------

Our apologies if you receive multiple copies of this announcement.

Dirk Craeynest, Ada-Europe'2001 Program Co-Chair

--


Weiveldlaan 41/32   | Phone +32(2)725.40.25                | Ada-Europe
B-1930 Zaventem     |       +32(2)729.97.36 (work)         | ACM SIGAda
Belgium             | Fax   +32(2)725.40.12                | Team Ada

*** Intl. Conference on Reliable Software Technologies - Ada-Europe'2001
*** May 14-18, 2001, Leuven, Belgium **** http://www.*-*-*.com/ ***



Sat, 13 Sep 2003 04:52:46 GMT  
 
 [ 1 post ] 

 Relevant Pages 

1. 6th Int.Conf.on Reliable Software Technologies, Ada-Europe'2001

2. 8th Int.Conf.on Reliable Software Technologies, Ada-Europe'2003

3. 7th Int.Conf.on Reliable Software Technologies, Ada-Europe'2002

4. CFP: Reliable Software Technologies - Ada-Europe'2001 - comp.lang.ada

5. FINAL Call - Reliable Software Technologies, Ada-Europe'2001

6. International Conference on Reliable Software Technologies, Ada-Europe'2001 - Call for Papers

7. CFP: Reliable Software Technologies - Ada-Europe'2001

8. FINAL Call - Reliable Software Technologies, Ada-Europe'2001

9. International Conference on Reliable Software Technologies, Ada-Europe'2001 - Call for Papers

10. FINAL PROGRAM of Int'l Conf on Reliable Software Technologies

11. CfPapers, Reliable Software Technologies, Ada-Europe'2003

12. Press Release - Reliable Software Technologies, Ada-Europe'2002

 

 
Powered by phpBB® Forum Software