<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:x="urn:schemas-microsoft-com:office:excel" xmlns:p="urn:schemas-microsoft-com:office:powerpoint" xmlns:a="urn:schemas-microsoft-com:office:access" xmlns:dt="uuid:C2F41010-65B3-11d1-A29F-00AA00C14882" xmlns:s="uuid:BDC6E3F0-6DA3-11d1-A2A3-00AA00C14882" xmlns:rs="urn:schemas-microsoft-com:rowset" xmlns:z="#RowsetSchema" xmlns:b="urn:schemas-microsoft-com:office:publisher" xmlns:ss="urn:schemas-microsoft-com:office:spreadsheet" xmlns:c="urn:schemas-microsoft-com:office:component:spreadsheet" xmlns:odc="urn:schemas-microsoft-com:office:odc" xmlns:oa="urn:schemas-microsoft-com:office:activation" xmlns:html="http://www.w3.org/TR/REC-html40" xmlns:q="http://schemas.xmlsoap.org/soap/envelope/" xmlns:D="DAV:" xmlns:x2="http://schemas.microsoft.com/office/excel/2003/xml" xmlns:ois="http://schemas.microsoft.com/sharepoint/soap/ois/" xmlns:dir="http://schemas.microsoft.com/sharepoint/soap/directory/" xmlns:ds="http://www.w3.org/2000/09/xmldsig#" xmlns:dsp="http://schemas.microsoft.com/sharepoint/dsp" xmlns:udc="http://schemas.microsoft.com/data/udc" xmlns:xsd="http://www.w3.org/2001/XMLSchema" xmlns:sub="http://schemas.microsoft.com/sharepoint/soap/2002/1/alerts/" xmlns:ec="http://www.w3.org/2001/04/xmlenc#" xmlns:sp="http://schemas.microsoft.com/sharepoint/" xmlns:sps="http://schemas.microsoft.com/sharepoint/soap/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:udcxf="http://schemas.microsoft.com/data/udc/xmlfile" xmlns:wf="http://schemas.microsoft.com/sharepoint/soap/workflow/" xmlns:mver="http://schemas.openxmlformats.org/markup-compatibility/2006" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns:mrels="http://schemas.openxmlformats.org/package/2006/relationships" xmlns:ex12t="http://schemas.microsoft.com/exchange/services/2006/types" xmlns:ex12m="http://schemas.microsoft.com/exchange/services/2006/messages" xmlns:Z="urn:schemas-microsoft-com:" xmlns:st="" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv=Content-Type content="text/html; charset=iso-8859-1">
<meta name=Generator content="Microsoft Word 12 (filtered medium)">
<style>
<!--
/* Font Definitions */
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0in;
margin-bottom:.0001pt;
font-size:12.0pt;
font-family:"Times New Roman","serif";}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:blue;
text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
{mso-style-priority:99;
color:purple;
text-decoration:underline;}
span.EmailStyle17
{mso-style-type:personal-reply;
font-family:"Calibri","sans-serif";
color:#1F497D;}
.MsoChpDefault
{mso-style-type:export-only;
font-size:10.0pt;}
@page Section1
{size:8.5in 11.0in;
margin:1.0in 1.0in 1.0in 1.0in;}
div.Section1
{page:Section1;}
-->
</style>
<!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]-->
</head>
<body bgcolor=white lang=EN-US link=blue vlink=purple>
<div class=Section1>
<p class=MsoNormal><span style='font-size:11.0pt;font-family:"Calibri","sans-serif";
color:#1F497D'>The SAE AADL Committee meeting will take place in conjunction
with Ada Europe. <o:p></o:p></span></p>
<p class=MsoNormal><span style='font-size:11.0pt;font-family:"Calibri","sans-serif";
color:#1F497D'>We plan to have an AADL track at Ada Europe. Please consider
submitting a paper on your work.<o:p></o:p></span></p>
<p class=MsoNormal><span style='font-size:11.0pt;font-family:"Calibri","sans-serif";
color:#1F497D'><o:p> </o:p></span></p>
<p class=MsoNormal><span style='font-size:11.0pt;font-family:"Calibri","sans-serif";
color:#1F497D'>Peter<o:p></o:p></span></p>
<div style='border:none;border-left:solid blue 1.5pt;padding:0in 0in 0in 4.0pt'>
<div>
<p class=MsoNormal><span style='font-size:10.0pt;font-family:"Arial","sans-serif"'>-----
Original Message ----- <o:p></o:p></span></p>
<div>
<p class=MsoNormal style='background:#E4E4E4'><b><span style='font-size:10.0pt;
font-family:"Arial","sans-serif"'>From:</span></b><span style='font-size:10.0pt;
font-family:"Arial","sans-serif"'> <a
href="mailto:Dirk.Craeynest@CS.KULEUVEN.BE"
title="Dirk.Craeynest@CS.KULEUVEN.BE">Dirk Craeynest</a> <o:p></o:p></span></p>
</div>
<div>
<p class=MsoNormal><b><span style='font-size:10.0pt;font-family:"Arial","sans-serif"'>To:</span></b><span
style='font-size:10.0pt;font-family:"Arial","sans-serif"'> <a
href="mailto:SIGADA-ANNOUNCE@LISTSERV.ACM.ORG"
title="SIGADA-ANNOUNCE@LISTSERV.ACM.ORG">SIGADA-ANNOUNCE@LISTSERV.ACM.ORG</a> <o:p></o:p></span></p>
</div>
<div>
<p class=MsoNormal><b><span style='font-size:10.0pt;font-family:"Arial","sans-serif"'>Sent:</span></b><span
style='font-size:10.0pt;font-family:"Arial","sans-serif"'> Thursday, November
06, 2008 11:53 PM<o:p></o:p></span></p>
</div>
<div>
<p class=MsoNormal><b><span style='font-size:10.0pt;font-family:"Arial","sans-serif"'>Subject:</span></b><span
style='font-size:10.0pt;font-family:"Arial","sans-serif"'> CfP 14th Conf.
Reliable Software Technologies, Ada-Europe 2009<o:p></o:p></span></p>
</div>
</div>
<div>
<p class=MsoNormal><o:p> </o:p></p>
</div>
<p class=MsoNormal style='margin-bottom:12.0pt'>-----------------------------------------------------------------------<br>
<br>
CALL FOR PAPERS<br>
<br>
14th International Conference on<br>
Reliable
Software Technologies - Ada-Europe 2009<br>
<br>
8 - 12 June 2009, Brest, France<br>
<br>
Organized by Ada-Europe,<br>
in cooperation with ACM SIGAda<br>
<br>
-----------------------------------------------------------------------<br>
<br>
Ada-Europe organizes annual international conferences since the early<br>
80's. This is the 14th event in the Reliable Software Technologies<br>
series, previous ones being held at Montreux, Switzerland ('96),<br>
London, UK ('97), Uppsala, Sweden ('98), Santander, Spain ('99),<br>
Potsdam, Germany ('00), Leuven, Belgium ('01), Vienna, Austria ('02),<br>
Toulouse, France ('03), Palma de Mallorca, Spain ('04), York, UK ('05),<br>
Porto, Portugal ('06), Geneva, Switzerland ('07), Venice, Italy ('08).<br>
<br>
General Information<br>
-------------------<br>
The 14th International Conference on Reliable Software Technologies<br>
(Ada-Europe 2009) will take place in Brest, France. Following its<br>
traditional style, the conference will span a full week, including<br>
a three-day technical program and vendor exhibitions from Tuesday to<br>
Thursday, along with parallel tutorials and workshops on Monday and<br>
Friday.<br>
<br>
Schedule<br>
--------<br>
01 December 2008: Submission of regular papers, tutorial and workshop<br>
proposals<br>
12 January 2009: Submission of industrial presentation proposals<br>
09 February 2009: Notification to all authors<br>
09 March 2009: Camera-ready version of regular papers
required<br>
11 May 2009: Industrial presentations, tutorial
and workshop<br>
material required<br>
08-12 June 2009: Conference<br>
<br>
Topics<br>
------<br>
The conference has successfully established itself as an international<br>
forum for providers, practitioners and researchers into reliable<br>
software technologies. The conference presentations will illustrate<br>
current work in the theory and practice of the design, development<br>
and maintenance of long-lived, high-quality software systems for a<br>
variety of application domains. The program will allow ample time<br>
for keynotes, Q&A sessions, panel discussions and social events.<br>
Participants will include practitioners and researchers in<br>
representation from industry, academia and government organizations<br>
active in the promotion and development of reliable software<br>
technologies. To mark the completion of the Ada language standard<br>
revision process, contributions that present and discuss the potential<br>
of the revised language are particularly sought after.<br>
<br>
Prospective contributions should address the topics of interest to the<br>
conference, which include but are not limited to those listed below:<br>
<br>
- Methods and Techniques for Software Development and Maintenance:<br>
Requirements Engineering, Object-Oriented Technologies, Model-driven<br>
Architecture and Engineering, Formal Methods, Re-engineering and<br>
Reverse Engineering, Reuse, Software Management Issues, Model<br>
Engineering.<br>
<br>
- Software Architectures: Design Patterns, Frameworks, Architecture-<br>
Centered Development, Component and Class Libraries, Component-based<br>
Design.<br>
<br>
- Enabling Technologies: Software Development Environments and Project<br>
Browsers, Compilers, Debuggers, Run-time Systems, Middleware<br>
Components.<br>
<br>
- Software Quality: Quality Management and Assurance, Risk Analysis,<br>
Program Analysis, Verification, Validation, Testing of Software<br>
Systems.<br>
<br>
- Theory and Practice of High-integrity Systems: Real-Time,<br>
Distribution, Fault Tolerance, Security, Reliability, Trust and<br>
Safety.<br>
<br>
- Embedded Systems: Architecture Modeling, Co-Design, Reliability and<br>
Performance Analysis.<br>
<br>
- Mainstream and Emerging Applications: Multimedia and Communications,<br>
Manufacturing, Robotics, Avionics, Space, Health Care,<br>
Transportation.<br>
<br>
- Ada Language and Technology: Programming Techniques, Object-<br>
Orientation, Concurrent and Distributed Programming, Evaluation &<br>
Comparative Assessments, Critical Review of Language Features and<br>
Enhancements, Novel Support Technology, HW/SW Platforms.<br>
<br>
- Experience Reports: Case Studies and Comparative Assessments,<br>
Management Approaches, Qualitative and Quantitative Metrics.<br>
<br>
- Ada and Education: Where does Ada stand in the software engineering<br>
curriculum; how learning Ada serves the curriculum; what it takes to<br>
form a fluent Ada user; lessons learned on Education and Training<br>
Activities with bearing on any of the conference topics.<br>
<br>
Call for Regular Papers<br>
-----------------------<br>
Authors of regular papers which are to undergo peer review for<br>
acceptance are invited to submit original contributions. Paper<br>
submissions shall be in English, complete and not exceeding 14<br>
LNCS-style pages in length. Authors should submit their work via<br>
the Web submission system accessible from the Conference Home page.<br>
The format for submission is solely PDF. Should you have problems<br>
to comply with format and submission requirements, please contact<br>
the Program Chair.<br>
<br>
Proceedings<br>
-----------<br>
The authors of accepted regular papers shall prepare camera-ready<br>
submissions in full conformance with the LNCS style, not exceeding 14<br>
pages and strictly by 9 March 2009. For format and style guidelines<br>
authors should refer to: <a href="http://www.springer.de/comp/lncs/authors.html">http://www.springer.de/comp/lncs/authors.html</a>.<br>
Failure to comply and to register for the conference will prevent the<br>
paper from appearing in the proceedings. The conference proceedings<br>
will be published in the Lecture Notes in Computer Science (LNCS)<br>
series by Springer Verlag, and will be available at the start of the<br>
conference.<br>
<br>
Awards<br>
------<br>
Ada-Europe will offer honorary awards for the best regular paper and<br>
the best presentation.<br>
<br>
Call for Industrial Presentations<br>
---------------------------------<br>
The conference also seeks industrial presentations which may deliver<br>
value and insight, but do not fit the selection process for regular<br>
papers. Authors of industrial presentations are invited to submit a<br>
short overview (at least 1 page in size) of the proposed presentation<br>
to the Conference Chair by 12 January 2009. The Industrial Program<br>
Committee will review the proposals and make the selection. The<br>
authors of selected presentations shall prepare a final short abstract<br>
and submit it to the Conference Chair by 11 May 2009, aiming at a<br>
20-minute talk. The authors of accepted presentations will be invited<br>
to derive articles from them for publication in the Ada User Journal,<br>
which will host the proceedings of the Industrial Program of the<br>
Conference.<br>
<br>
Call for Tutorials<br>
------------------<br>
Tutorials should address subjects that fall within the scope of the<br>
conference and may be proposed as either half- or full-day events.<br>
Proposals should include a title, an abstract, a description of the<br>
topic, a detailed outline of the presentation, a description of the<br>
presenter's lecturing expertise in general and with the proposed<br>
topic in particular, the proposed duration (half day or full day),<br>
the intended level of the tutorial (introductory, intermediate, or<br>
advanced), the recommended audience experience and background, and a<br>
statement of the reasons for attending. Proposals should be submitted<br>
by e-mail to the Tutorial Chair. The providers of full-day tutorials<br>
will receive a complimentary conference registration as well as a fee<br>
for every paying participant in excess of 5; for half-day tutorials,<br>
these benefits will be accordingly halved. The Ada User Journal will<br>
offer space for the publication of summaries of the accepted tutorials.<br>
<br>
Call for Workshops<br>
------------------<br>
Workshops on themes that fall within the conference scope may be<br>
proposed. Proposals may be submitted for half- or full-day events, to<br>
be scheduled on either ends of the conference week. Workshop proposals<br>
should be submitted to the Conference Chair. The workshop organizer<br>
shall also commit to preparing proceedings for timely publication in<br>
the Ada User Journal.<br>
<br>
Call for Exhibitions<br>
--------------------<br>
Commercial exhibitions will span the three days of the main conference.<br>
Vendors and providers of software products and services should contact<br>
the Exhibition Chair for information and for allowing suitable planning<br>
of the exhibition space and time.<br>
<br>
Grants for Students<br>
-------------------<br>
A limited number of sponsored grants is expected to be available for<br>
students who would like to attend the conference or tutorials. Contact<br>
the Conference Chair for details.<br>
<br>
Organizing Committee<br>
--------------------<br>
<br>
Conference Chair<br>
Frank Singhoff, UBO/LISyC, France<br>
<a href="mailto:Frank.Singhoff@univ-brest.fr">Frank.Singhoff@univ-brest.fr</a><br>
<br>
Program Co-Chairs<br>
Yvon Kermarrec, Télécom Bretagne, France<br>
<a href="mailto:Yvon.Kermarrec@telecom-bretagne.eu">Yvon.Kermarrec@telecom-bretagne.eu</a><br>
Fabrice Kordon, University Pierre & Marie Curie, France<br>
<a href="mailto:Fabrice.Kordon@lip6.fr">Fabrice.Kordon@lip6.fr</a><br>
<br>
Tutorial Chair<br>
Jérôme Hugues, Télécom Paris-Tech, France<br>
<a href="mailto:Jerome.Hugues@telecom-paristech.fr">Jerome.Hugues@telecom-paristech.fr</a><br>
<br>
Exhibition Chair<br>
Pierre Dissaux, Ellidiss Technologies<br>
<a href="mailto:Pierre.Dissaux@ellidiss.com">Pierre.Dissaux@ellidiss.com</a><br>
<br>
Publicity Chair<br>
Dirk Craeynest, Aubay Belgium & K.U.Leuven, Belgium<br>
<a href="mailto:Dirk.Craeynest@cs.kuleuven.be">Dirk.Craeynest@cs.kuleuven.be</a><br>
<br>
Local Chairs<br>
Alain Plantec and Mickael Kerboeuf, UBO/LISyC, France<br>
<a href="mailto:Alain.Plantec@univ-brest.fr">Alain.Plantec@univ-brest.fr</a>
and <a href="mailto:Mickael.Kerboeuf@univ-brest.fr">Mickael.Kerboeuf@univ-brest.fr</a><br>
<br>
Program Committee<br>
-----------------<br>
Alejandro Alonso, Universidad Politécnica de Madrid, Spain<br>
Leemon Baird, US Air Force Academy, USA<br>
Johann Blieberger, Technische Universität Wien, Austria<br>
Maarten Boasson, University of Amsterdam, The Netherlands<br>
Bernd Burgstaller, Yonsei University, Korea<br>
Dirk Craeynest, Aubay Belgium & K.U.Leuven, Belgium<br>
Alfons Crespo, Universidad Politécnica de Valencia, Spain<br>
Juan A. De la Puente, Universidad Politécnica de Madrid, Spain<br>
Raymond Devillers, Université Libre de Bruxelles, Belgium<br>
Michael González Harbour, Universidad de Cantabria, Spain<br>
Javier Gutiérrez José, Universidad de Cantabria, Spain<br>
Philippe Dhaussy, ENSIETA/LISyC, France<br>
Andrew Hately, Eurocontrol CRDS, Hungary<br>
Jérôme Hugues, Telecom Paris, France<br>
Günter Hommel, Technischen Univesität Berlin, Germany<br>
Hubert Keller, Institut für Angewandte Informatik, Germany<br>
Yvon Kermarrec, Télécom Bretagne, France<br>
Fabrice Kordon, Université Pierre & Marie Curie, France<br>
Albert Llemosí, Universitat de les Illes Balears, Spain<br>
Franco Mazzanti, ISTI-CNR Pisa, Italy<br>
John McCormick, University of Northern Iowa, USA<br>
Stephen Michell, Maurya Software, Canada<br>
Javier Miranda, Universidad Las Palmas de Gran Canaria, Spain<br>
Scott Moody, Boeing, USA<br>
Daniel Moldt, University of Hamburg, Germany<br>
Laurent Pautet, Telecom Paris, France<br>
Laure Petrucci, LIPN, Université Paris 13, France<br>
Luís Miguel Pinho, Polytechnic Institute of Porto, Portugal<br>
Erhard Plödereder, Universität Stuttgart, Germany<br>
Real Jorge, Universidad Politécnica de Valencia, Spain<br>
Alexander Romanovsky, University of Newcastle upon Tyne, UK<br>
Jean-Pierre Rosen, Adalog, France<br>
Lionel Seinturier, Université de Lille, France<br>
Frank Singhoff, UBO/LISyC, France<br>
Oleg Sokolsky, University of Pennsylvania, USA<br>
Ricky Sward, MITRE, USA<br>
Tullio Vardanega, Università di Padova, Italy<br>
Francois Vernadat, LAAS-CNRS, Université de Toulouse, Insa<br>
Andy Wellings, University of York, UK<br>
Jürgen Winkler, Friedrich-Schiller-Universität, Germany<br>
Luigi Zaffalon, University of Applied Sciences, W. Switzerland<br>
<br>
Industrial Committee<br>
--------------------<br>
Guillem Bernat, Rapita Systems, UK<br>
Agusti Canals, CS, France<br>
Roderick Chapman, Praxis HIS, UK<br>
Colin Coates, Telelogic, UK<br>
Dirk Craeynest, Aubay Belgium & K.U.Leuven, Belgium<br>
Dirk Dickmanns, EADS, Germany<br>
Tony Elliston, Ellidiss Software, UK<br>
Franco Gasperoni, AdaCore, France<br>
Hubert Keller, Forschungszentrum Karlsruhe GmbH, Germany<br>
Bruce Lewis, US Army, USA<br>
Ahlan Marriott, White-Elephant GmbH, Switzerland<br>
Rei Stråhle, Saab Systems, Sweden<br>
<br>
CfP in PDF format<br>
-----------------<br>
<a
href="http://www.cs.kuleuven.be/~dirk/ada-belgium/events/09/090608-aec-cfp.pdf">http://www.cs.kuleuven.be/~dirk/ada-belgium/events/09/090608-aec-cfp.pdf</a><br>
<br>
-----------------------------------------------------------------------<br>
<br>
Our apologies if you receive multiple copies of this announcement.<br>
Please circulate widely.<br>
<br>
<a href="mailto:Dirk.Craeynest@cs.kuleuven.be">Dirk.Craeynest@cs.kuleuven.be</a>,
Ada-Europe'2009 Publicity Chair<o:p></o:p></p>
</div>
</div>
</body>
</html>