[PRL] Invitation to Contribute to the Workshop on Critical Research Areas in Aerospace Software

[Philippe Meunier]

FYI.

Philippe



***************************************************************
*                                                             *
*  Workshop on Critical Research Areas in Aerospace Software  *
*                  Tuesday August 9th, 2005                   *
*                             MIT                             *
*          Department of Aeronautics and Astronautics         *
*                                                             *
***************************************************************

Workshop Topics:
================

* Aerospace Embedded Control Software
* Aerospace Communication Software

Workshop Objective:
===================

The objective of the one-day workshop is to present recent advances and
discuss necessary future research in critical aerospace software.  The
format is that of short scientific presentations and panels respectively
on
"Aerospace Embedded Control Software" and "Aerospace Communication
Software".  The main emphasis will be on design, development and safety
verification methods from both control-theoretic and computer science
points of view.  Contributions and participation are expected from members
of academia, industry and governemental agencies.

Workshop Format:
================

The workshop will be held on Tuesday August 9th, 2005 with
the following format:

Morning: 9h00-12h00
 scientific presentations : 6 x 20mn
 coffee break : 15 mn
 panel on embedded software : 45mn (6x5mn idea presentations + 15mn
discussion)
Optional lunch
Afternoon: 13h30-16h30
 scientific presentations : 6 x 20mn
 tea break : 15 mn
 panel on the aeroweb : 45mn (6x5mn idea presentations + 15mn discussion)

Workshop Organizers:
====================
  Patrick Cousot (ENS, Paris, visiting MIT) cousot at mit.edu
  John Deyst (MIT) deyst at mit.edu
  Eric Feron (MIT) feron at mit.edu

Workshop Contribution:
======================

To contribute to the workshop either for a short presentation or the
panels, please email to Lisa Gaumond <lisaga at mit.edu> with a title, 10
lines abstract and contact information.

Announcement Dissemination:
===========================

Please forward this annoucement to potentially interested
contributors or participants.

Workshop Participation:
=======================

Please inform us of your participation to the workshop before Thursday
August 4th, 20045 by email to Lisa Gaumond <lisaga at mit.edu> (indicating
wether you take the optional meal).

Workshop Website:
=================
More details on the workshop can be found on
   http://web.mit.edu/aeroastro/www/softworkshop/

Best regards,
P. Cousot, J. Deyst, E. Feron

***************************************************************