TEAM-ADA Archives

Team Ada: Ada Programming Language Advocacy

TEAM-ADA@LISTSERV.ACM.ORG

Options: Use Forum View

Use Proportional Font
Show Text Part by Default
Condense Mail Headers

Message: [<< First] [< Prev] [Next >] [Last >>]
Topic: [<< First] [< Prev] [Next >] [Last >>]
Author: [<< First] [< Prev] [Next >] [Last >>]

Print Reply
Content-Type:
text/plain; charset=ISO-8859-1
Sender:
"Team Ada: Ada Programming Language Advocacy (83 & 95)" <[log in to unmask]>
Subject:
From:
Dirk Craeynest <[log in to unmask]>
Date:
Sun, 28 May 2006 22:06:02 +0200
Content-Transfer-Encoding:
8bit
MIME-Version:
1.0
Reply-To:
Dirk Craeynest <[log in to unmask]>
Parts/Attachments:
text/plain (109 lines)
-----------------------------------------------------------------------

                      Final Call for Participation

                    *** UPDATED Program Summary ***

                    11th International Conference on
            Reliable Software Technologies - Ada-Europe 2006

                    5 - 9 June 2006, Porto, Portugal

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

        *** Final Program available on conference web site. ***
                *** Check out the tutorial program! ***
                 *** Printed proceedings available. ***
                         *** Register now! ***

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

Press release:

Conference on Reliable Software Technologies

International experts meet in Porto

Porto (28 May 2006 22:00) - ISEP, sponsored by Ada-Europe and in
cooperation with ACM's Special Interest Group in Ada, organizes
this year the "11th International Conference on Reliable Software
Technologies - Ada-Europe 2006" from 5 to 9 June in Porto, Portugal.

The conference offers eight tutorials, a full technical program of
refereed papers, a collection of industrial presentations reflecting
current practice and challenges, four eminent invited speakers, an
exhibition, and a social program.

The 8 excellent tutorials cover a broad range of topics: verification
and validation for reliable software systems, the Ada 2005 standard
Container library, developing web-aware applications in Ada, the SAE
Architecture Analysis and Design Language, model driven development
with UML 2.0 and Ada, distribution in Ada 95 with the PolyORB
schizophrenic middleware, requirements management for dependable
systems, and Real-Time Java.

The technical program presents 19 fully refereed and carefully selected
papers on the latest research, including new tools, applications and
industrial practice and experience, and a collection of 7 industrial
presentations reflecting current practice and challenges.  Springer
Verlag publishes the proceedings of the conference, as LNCS Vol. 4006.

Invited lectures by internationally renowned experts on the topics
"Correctness by Construction: Putting Engineering into Software", 
"Empirical Software Risk Assessment Using Fault Injection",
"Model Driven Technologies in Safe-aware Software Applications" and
"I Have a Dream: ICT Problems We All Face" complete the program.

The exhibition opens in the mid-morning break on Tuesday and runs
continuously until the end of the afternoon break on Thursday.
The exhibitors include the following vendors: AdaCore, Aonix, Ellidiss
Software, Green Hills Software, I-Logix, and PrismTech.

The social program includes a visit of, and reception at, the
historical and famous Caves Calém Port Wine Cellars on Tuesday evening,
and the conference banquet on Wednesday evening at Porto's former
Customs House, beautifully located near the Douro river mouth.

The conference takes place at the Le Meridien hotel in the center
of Porto; registration is still open.  The full "Advance Program"
is available on the conference web site and directly at
<http://www.hurray.isep.ipp.pt/ae2006/advprogram.pdf>

Contact: [log in to unmask] (Luís Miguel Pinho, conference chair)

-------

Latest updates:

- The "Final Program" is available on the conference web site
  <http://www.ada-europe.org/conference2006.html> and directly at
  <http://www.hurray.isep.ipp.pt/ae2006/finalprogram.pdf>.

- Check out the 8 tutorials in the advance program and at
  <http://www.hurray.isep.ipp.pt/ae2006/tutorials.shtml>

- The proceedings, published by Springer Verlag as Lecture Notes in
  Computer Science Vol. 4006, are ready and will be distributed at
  the conference.  More info is available at
  <http://www.springeronline.com/3-540-34663-5>.
  Abstracts can be checked out via the conference web site.

- Registration fees are very reasonable and the registration
  process is easy: fill out the 1-page form at
  <http://www.hurray.isep.ipp.pt/ae2006/Reg_Form.pdf>
  and fax it to the conference secretariat.  Don't delay!

- For the latest information consult the conference web site.

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

Our apologies if you receive multiple copies of this announcement.
Please circulate widely.

[log in to unmask], Ada-Europe'2006 Publicity Chair

*** 11th Intl.Conf.on Reliable Software Technologies - Ada-Europe'2006
*** June 5-9, 2006 ** Porto, Portugal ** http://www.ada-europe.org ***

Disclaimer: http://www.kuleuven.be/cwis/email_disclaimer.htm

ATOM RSS1 RSS2