From: dirk@piefje.cs.kuleuven.ac.be (Dirk Craeynest)
Subject: 6th Int.Conf.on Reliable Software Technologies, Ada-Europe'2001
Date: 26 Mar 2001 22:50:12 +0200
Date: 2001-03-26T22:50:12+02:00 [thread overview]
Message-ID: <99oa24$6m2$1@piefje.cs.kuleuven.ac.be> (raw)
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 5005 bytes --]
------------------------------------------------------------------------
Preliminary Call for Participation
*** PROGRAM SUMMARY ***
6th International Conference on
Reliable Software Technologies - Ada-Europe'2001
May 14-18, 2001, Leuven, Belgium
http://www.ada-europe.org/conference2001.html
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,
Dirk.Craeynest@cs.kuleuven.ac.be
- Alfred Strohmeier, Swiss Federal Institute of Technology
in Lausanne (EPFL), Switzerland, Alfred.Strohmeier@epfl.ch
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 H�raud, 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.cs.kuleuven.ac.be/conference/AE2001/registration/registration.pdf
- hotel reservation form (small web page):
http://www.omnia.be/Holidays/Travelagents/agri/kongressen/kongressen_e.cfm
- preliminary program (large PDF file, contains all information and forms):
http://www.cs.kuleuven.ac.be/conference/AE2001/program/program.pdf
For more info, latest updates, or to get printed brochures, see the
conference web site at http://www.ada-europe.org/conference2001.html
or contact Dirk Craeynest mailto: Dirk.Craeynest@cs.kuleuven.ac.be
------------------------------------------------------------------------
Our apologies if you receive multiple copies of this announcement.
Dirk Craeynest, Ada-Europe'2001 Program Co-Chair
--
Dirk Craeynest | Email Dirk.Craeynest@cs.kuleuven.ac.be (AE'2001)
Offis - Aubay Group | Dirk.Craeynest@offis.be (work) | Ada-Belgium
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.ada-europe.org/ ***
reply other threads:[~2001-03-26 20:50 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox