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
Show All Mail Headers

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

Print Reply
Subject:
From:
Dirk Craeynest <[log in to unmask]>
Reply To:
Team Ada: Ada Programming Language Advocacy
Date:
Sun, 8 Jun 2008 21:43:14 +0200
Content-Type:
text/plain
Parts/Attachments:
text/plain (109 lines)
-----------------------------------------------------------------------

                     FINAL Call for Participation

                    *** UPDATED Program Summary ***

                    13th International Conference on
            Reliable Software Technologies - Ada-Europe 2008

                    16 - 20 June 2008, Venice, Italy

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

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

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

Press release:

Ada-Europe Conference on Reliable Software Technologies

International experts meet in Venice

Venice (8 June 2008 21:00) - Ada-Europe, in cooperation with ACM's
Special Interest Group on Ada, organizes the "13th International
Conference on Reliable Software Technologies - Ada-Europe 2008"
from 16 to 20 June in Venice, Italy.

The conference offers two days of tutorials, a full technical program
of refereed papers, a collection of industrial presentations reflecting
current practice and challenges, an educational track, three invited
speakers, an industrial exhibition, and a social program.

The 10 excellent tutorials on Monday and Friday cover a broad range of
topics: AADL - Architecture Analysis and Design Language, A Practical
Introduction to Model-Driven Software Development using Eclipse,
The Best of Ada 2005, Object-Oriented Programming in Ada 2005,
Preserving Model-Asserted Properties at Run Time for High-Integrity
Systems, Technical Basis of Model Driven Engineering, Languages for
Safety-Critical Software - Issues and Assessment, Service-Oriented
Architecture Concepts and Implementations, Verification Techniques
for Dependable Systems, and Real-Time Scheduling Analysis of Ada
Applications.

The technical program presents 20 refereed and carefully selected
papers on the latest research, new tools, applications and industrial
practice and experience, a collection of 11 industrial presentations
reflecting current practice and challenges, and 4 presentations plus a
panel discussion on Ada and Education.  Springer Verlag publishes the
proceedings of the conference, as LNCS Vol. 5026.

Three international experts present invited lectures on the topics:
Embedded Software Design: Art or Science?, Lost in Translation, and
Three Ways to Improve SOA Reliability.

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, Praxis High Integrity Systems, Rapita Systems, and Telelogic.

The social program includes on Tuesday evening a welcome reception at
Palazzo Cavalli-Franchetti on the Grand Canal, accompanied by musical
entertainment by members of the conference community, and on Wednesday
evening a private boat trip along the Grand Canal to the conference
banquet in the renowned "Osteria Ponte del Diavolo" restaurant at
Torcello, the farthest island of the lagoon.

The conference takes place at the Centro Culturale Don Orione
Artigianelli, at Zattere Dorsoduro 909/A, at the south end of Venice,
some 15 minutes of leisurely walk from Piazza San Marco, perhaps the
most renowned spot of the city.  The full program is available on the
conference web site.  Registration is still open.

-------

Latest updates:

- The "Final Program" is available on the conference web site
  <http://www.ada-europe.org/conference2008.html> and directly at
  <http://www.math.unipd.it/ae2008/final_program.pdf>.

- Check out the 10 tutorials in the final program and at
  <http://www.math.unipd.it/ae2008/pro-tus.html>.

- The proceedings, published by Springer Verlag as Lecture Notes in
  Computer Science Vol. 5026, are ready and will be distributed at
  the conference.  More info is available at
  <http://www.springeronline.com/978-3-540-68621-7>.

- Registration fees are very reasonable and the registration can
  be done on-line (preferred) or by faxing a filled-out form to
  the conference secretariat.  For all details, see
  <http://www.math.unipd.it/ae2008/re.html>.  Don't delay!

- For the latest information consult the conference web site.

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

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

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

*** 13th Intl.Conf.on Reliable Software Technologies - Ada-Europe'2008
*** June 16-20, 2008 ** Venice, Italy ** http://www.ada-europe.org ***

ATOM RSS1 RSS2