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

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

[Dirk Craeynest]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 4921 bytes --]

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

                         Call for Participation

                         *** PROGRAM SUMMARY ***

                     8th International Conference on
            Reliable Software Technologies - Ada-Europe 2003

                    16-20 June 2003, Toulouse, France

              http://www.ada-europe.org/conference2003.html

                     Organized by CS, UPS and ONERA
                         Sponsored by Ada-Europe
                     In cooperation with ACM SIGAda,
                 Ada-France, IRIT, Springer and IUP ISI

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

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

Ada-Europe organizes annual international conferences since the early
80's.  This is the 8th 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).

A 12-page program brochure is available on the conference web site.
Use the links at the top to either view or download the PDF version or
contact ae2003-info@irit.fr to request a printed copy of the brochure.

Quick overview
- Mon 16 & Fri 20: tutorials and workshop
- Tue 17 - Thu 19: paper and vendor presentation sessions, exhibition

Program co-chairs
- Jean-Pierre Rosen, Adalog, Arcueil, France, Rosen@adalog.fr
- Alfred Strohmeier, Swiss Fed. Inst. of Technology Lausanne (EPFL),
  Software Engineering Lab, Switzerland, Alfred.Strohmeier@epfl.ch

Invited speakers
- Pascal Leroy, Rational Software Corporation, France
  "An invitation to Ada 2005"
- Mira Mezini, Darmstadt University of Technology, Germany
  "Aspect-Oriented Programming Beyond Hierarchical Modularity"
- J�rg Kienzle, McGill University, Canada
  "Software Fault Tolerance: An Overview"

Tutorials (full day)
- "The Personal Software Process for Ada", Daniel Roy
- "Developing High Integrity Systems with GNAT/ORK",
   Juan Antonio de la Puente & Juan Zamorano

Tutorials (half day)
- "Implementing Design Patterns in Ada95", Matthew Heaney
- "Principles of Physical Software Design with Ada95", Matthew Heaney
- "High-integrity Ravenscar Using SPARK", Peter Amey
- "Architecture Centric Development Using Ada and the Avionics
   Architecture Description Language", Bruce Lewis & Edward Colbert
- "A Semi Formal Approach to Software System Development", William Bail
- "An Overview of Statistical-Based Testing", William Bail

Workshop
- "Quality of Service in Component-Based Software Engineering
  (QoS in CBSE 2003)"; contact workshop chair to participate:
  Jean-Michel Bruel, bruel@univ-pau.fr

Papers
- 29 papers on Ravenscar, Static Analysis, Language Issues, Distributed
  Information Systems, Software Components, Formal Specification,
  Metrics, Real-Time Kernels, Real-Time Systems Design, and Testing
- authors from 14 countries: Australia, Austria, Belgium, Finland,
  France, Germany, Hong-Kong, India, Israel, Italy, Portugal, Spain,
  United Kingdom, and USA

Exhibition
- 10 exhibitors already committed: ACT Europe, Adalog, Aonix, C-S,
  Green Hills, I-Logix, IPL, Praxis Critical Systems, Rational
  Software, and TNI-Europe, others expressed interest
- separate vendor presentation tracks for exhibitors

Social evening events
- Tue: a guided bus tour of the city followed by a coctail reception
       offered by the Mayor of Toulouse in the "Capitol" town hall
- Wed: conference banquet at a typical "ferme Lauragaise" (farm)
       located near a lake
- Thu: to be announced

Registration
- includes copy of full proceedings, published by Springer-Verlag in
  Lecture Notes in Computer Science series (LNCS), coffee breaks,
  lunches, social events
- three day conference registration fee includes conference banquet
- early registration discount up to May 24, 2003
- discount for academia, Ada-Europe and ACM members

URLs
- conference registration form (small file):
  http://www.irit.fr/AdaEurope2003/DOCS/AE2003_RegistrationForm.pdf
- Advance Program (large file, resp. 1.2, 1.9, 2.3 MB):
  http://www.irit.fr/AdaEurope2003/DOCS/AE2003_AdvanceProgram_BW.pdf
  http://www.irit.fr/AdaEurope2003/DOCS/AE2003_AdvanceProgram.zip
  http://www.irit.fr/AdaEurope2003/DOCS/AE2003_AdvanceProgram.pdf

For more info, latest updates, or to get printed brochures, see the
conference web site at http://www.ada-europe.org/conference2003.html
or contact ae2003-info@irit.fr.

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

Our apologies if you receive multiple copies of this announcement.

Dirk.Craeynest@cs.kuleuven.ac.be, Ada-Europe'2003 Publicity Co-Chair

*** Intl. Conference on Reliable Software Technologies - Ada-Europe'2003
*** June 16-20, 2003, Toulouse, France ** http://www.ada-europe.org/ ***

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

[Stefan Scholl]

On 2003-04-13 20:52:47, Dirk Craeynest wrote:
> Our apologies if you receive multiple copies of this announcement.

I've received it by e-mail although I haven't subscribed to 
anything.

Spam complaint is on the way ...

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

[Simon Wright]

Stefan Scholl <stesch@no-spoon.de> writes:

> On 2003-04-13 20:52:47, Dirk Craeynest wrote:
> > Our apologies if you receive multiple copies of this announcement.
> 
> I've received it by e-mail although I haven't subscribed to 
> anything.
> 
> Spam complaint is on the way ...

Good grief, that's harsh. Considering you're posting to a newsgroup
from a valid domain name and are a target for real UCE ...

Re: email spam (was: 8th Int.Conf.on Reliable Software Technologies...

[Larry Kilgallen]

In article <x7vznmshpas.fsf@smaug.pushface.org>, Simon Wright <simon@pushface.org> writes:
> Stefan Scholl <stesch@no-spoon.de> writes:
> 
>> On 2003-04-13 20:52:47, Dirk Craeynest wrote:
>> > Our apologies if you receive multiple copies of this announcement.
>> 
>> I've received it by e-mail although I haven't subscribed to 
>> anything.
>> 
>> Spam complaint is on the way ...
> 
> Good grief, that's harsh. Considering you're posting to a newsgroup
> from a valid domain name and are a target for real UCE ...

What makes you think Craeynest's spam was in any way solicited ?

When _I_ filed a complaint Craeynest and/or cohorts responded
that they didn't consider it spam since they had been sending
it previous years and not gotten a spam complaint.  They had
no comment at all in response to my mention of confirmation
requests and confirmation responses, or random challenges.

	http://www.cluelessmailers.org/info/listmanagement.html

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

[Samuel Tardieu]

>>>>> "Simon" == Simon Wright <simon@pushface.org> writes:

Simon> Considering you're posting to a newsgroup from a valid domain
Simon> name and are a target for real UCE ...

Even if I don't consider myself spammed by those multiple announces, I
fully support Stefan if it appears that his email address has been
added to a list without his knowing. The fact that his address was
freely available does not make it available for inclusion in
commercial lists.

  Sam
-- 
Samuel Tardieu -- sam@rfc1149.net -- http://www.rfc1149.net/sam