Conference announcements

Call for Papers -
Ada-Europe'2001 - Workshop on Exception Handling for a 21st Century Programming Language

Date: Tue, 23 Jan 2001 00:07:15 -0700 (MST)
From: Andrew Hately <hat@cfmu.eurocontrol.be>
To: seworld@cs.colorado.edu
Subject: (SEWORLD) CFP reminder: Workshop on Exception Handling

===========================================================================

http://www.cs.kuleuven.ac.be/conference/AE2001/WSexceptionhandling.html
http://www.cs.ncl.ac.uk/people/alexander.romanovsky/home.formal/eh-ada.html

Workshop on Exception Handling for a 21st Century Programming Language

May 14, 2001, Leuven, Belgium

To be held at the 6th International Conference on Reliable Software
Technologies - Ada-Europe'2001
    http://www.ada-europe.org/conference2001.html

As the complexity of modern software systems grows, so does the need to deal
reliably and efficiently with an increasing number of abnormal situations. The
most general mechanism for this is exception handling, which is becoming a
standard feature in modern languages.

A general exception handling mechanism should be well integrated with the
other features of a language and conform to its programming paradigms.
Increasing evidence from researchers and practitioners indicates that the
exception handling in Ada 95 does not adequately reflect the whole range of
programming paradigms supported by the language. In particular, the exception
handling model remains based on Ada 83 while Ada 95 is object oriented.
Furthermore, exceptions and concurrency are, arguably, not well integrated. A
task with an unhandled exception dies silently, and one has to resort to
asynchronous transfer of control for passing exceptions asynchronously between
tasks. It is not clear that this solution extends well into a distributed
environment. Yet another problem is the existence of anonymous exceptions.

New fault tolerance schemes based on existing exception handling facilities
have been developed in research environments. This is important as it allows
higher level abstractions providing more advanced mechanisms to be introduced
without impacting the language definition.

The aims of the workshop are:
- to share experience on how to build modern systems that have to deal with
abnormal situations;
- to discuss how solutions to those needs can be developed employing standard
Ada features including the current exception handling paradigm; and
- to propose new exception handling mechanisms / paradigms that can be
included in future revisions of the Ada language and also fit high integrity
language profiles for safety critical systems.

Participation to the workshop is limited to 25-35 individuals and is by
invitation upon acceptance of a submission. All types of submissions are
welcome: brief position papers, experience reports, full research papers, etc.
All papers will be made available to workshop participants before the
workshop. The workshop will include talks based on the submitted papers and
intensive shepherded discussion sessions. The submissions and a workshop
summary will be published in Ada Letters.

Submissions should be sent electronically (preferably in ps or pdf formats) to
A. Romanovsky: alexander.romanovsky@ncl.ac.uk

Important dates

Electronic submission: January 31, 2001
Notification: March 15, 2001
Revised versions of papers: April 15, 2001

Workshop organisers:

Workshop Co-chairs:

Alexander Romanovsky (U. of Newcastle) - alexander.romanovsky@ncl.ac.uk
Alfred Strohmeier (EPFL) - alfred.strohmeier@epfl.ch
Andy Wellings (U. of York) - andy@minster.cs.york.ac.uk

Workshop Programme Committee:

Bill Bail (MITRE)
Jörg Kienzle (EPFL)
Pat Rogers (Software Arts and Sciences)
Bo Sanden (Colorado Technical U.)
Anand Tripathi (U. of Minnesota)
Tullio Vardanega (ESA)
Thomas Wolf (Paranor)



===========================================================================

You might be interested to look at the entire conference web site. We've got a
pdf version of the preliminary program available for download.

http://www.cs.kuleuven.ac.be/conference/AE2001/

thanks
Andrew Hately
Ada-Europe'2001 publicity chair

Call for Papers -
Ada-Europe'2001 - Workshop on Exception Handling for a 21st Century Programming Language

From: Andrew Hately <hat@cfmu.eurocontrol.be>
Reply-To: andrew.hately@eurocontrol.be
Organization: Eurocontrol
Newsgroups: comp.lang.ada
Subject: CFP reminder: Workshop on Exception Handling for a 21st Century
	Programming Language
Date: Thu, 18 Jan 2001 15:02:52 GMT

Just a reminder that the closing date for submissions is coming up.

[ 92 lines deleted; see updated version above -- dc ]

Call for Papers -
Ada-Europe'2001 - Workshop on Exception Handling for a 21st Century Programming Language

Date: Fri, 20 Oct 2000 02:04:16 -0600 (MDT)
From: Alexander Romanovsky <Alexander.Romanovsky@newcastle.ac.uk>
To: seworld@cs.colorado.edu
Subject: (SEWORLD) Call for Papers: Workshop on Exception Handling at AdaEurope'2001

[ 78 lines deleted ; see updated version above -- dc ]

To the Ada-Belgium home page.

Last update: 2001/01/28.