TEAM-ADA Archives

Team Ada: Ada Programming Language Advocacy

TEAM-ADA@LISTSERV.ACM.ORG

Options: Use Forum View

Use Monospaced 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, 7 May 2006 19:55:30 +0200
Content-Transfer-Encoding:
8bit
MIME-Version:
1.0
Reply-To:
Dirk Craeynest <[log in to unmask]>
Parts/Attachments:
text/plain (141 lines)
-----------------------------------------------------------------------

                       2nd 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

                  Organised, on behalf of Ada-Europe,
              by Instituto Superior de Engenharia do Porto
                     in cooperation with ACM SIGAda

            *** Early registration discount until May 12 ***
    *** Advance Program in PDF available on conference web site ***

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

Ada-Europe organises annual international conferences since the early
80's.  This is the 11th event in the Reliable Software Technologies
series, previous ones being held at Montreux, Switzerland ('96),
London, UK ('97), Uppsala, Sweden ('98), Santander, Spain ('99),
Potsdam, Germany ('00), Leuven, Belgium ('01), Vienna, Austria ('02),
Toulouse, France ('03), Palma de Mallorca, Spain ('04), York, UK ('05).

The 16-page Advance Program brochure with full information is available
on the conference web site; the AP contains the list of accepted
papers, as well as a detailed description of the tutorials and keynote
presentations.  Use the "Advance Program brochure available" link on
the conference home page to either view or download the PDF version, or
use the "Preliminary Program" button on the left to check out details
of the program.

Direct URLs
- Advance Program (large file, 477 Kb, incl. registration form):
  <http://www.hurray.isep.ipp.pt/ae2006/advprogram.pdf>
- online conference registration:
  <http://www.hurray.isep.ipp.pt/ae2006/regist.shtml>
- conference registration form (small file):
  <http://www.hurray.isep.ipp.pt/ae2006/Reg_Form.pdf>
  <http://www.hurray.isep.ipp.pt/ae2006/Reg_Form.doc>
- accommodation and travel information:
  <http://www.hurray.isep.ipp.pt/ae2006/local.shtml>
- info on proceedings:
  <http://www.springeronline.com/3-540-34663-5>

Quick overview
- Mon 5 & Fri 9: tutorials
- Tue 6 - Thu 8: paper, industrial & vendor presentations, exhibition

Proceedings
- published by Springer-Verlag
- in Lecture Notes in Computer Science series (LNCS), volume 4006

Program co-chairs
- Luís Miguel Pinho, Polytechnic Institute of Porto, Portugal
  [log in to unmask]
- Michael González Harbour, Universidad de Cantabria, Spain
  [log in to unmask]

Invited speakers
- Rod Chapman, Praxis HIS, UK,
  "Correctness by Construction: Putting Engineering into Software"
- Henrique Madeira, University of Coimbra, Portugal,
  "Empirical Software Risk Assessment Using Fault Injection"
- Miguel Angel de Miguel, Technical University of Madrid, Spain,
  "Model Driven Technologies in Safe-aware Software Applications"
- John L. Hill, Sun Microsystems, USA,
  "I Have a Dream: ICT Problems We All Face"

Tutorials (full day)
- "Developing Web-aware Applications in Ada with AWS",
  Jean-Pierre Rosen (Adalog)
- "SAE Architecture Analysis and Design Language".
  Joyce L. Tokar (Pyrrhus Software)
- "Requirements management for dependable systems",
  William Bail (The Mitre Corporation)
- "Real-Time Java for Ada Programmers",
  Benjamin M. Brosgol (AdaCore)

Tutorials (half day)
- "Verification and validation for reliable software systems",
  William Bail (The Mitre Corporation)
- "The Ada 2005 Standard Container Library",
  Matthew Heaney (On2 Technologies)
- "Model Driven Development with the Unified Modeling Language
  "(UML) 2.0 and Ada", Colin Coates (I-Logix UK)
- "Distribution in Ada 95 with PolyORB, A Schizophrenic Middleware",
  Jérôme Hugues (ENST)

Papers and Presentations
- 19 refereed technical papers on real-time systems, static analysis,
  verification, applications, reliability, compilers and distributed
  systems
- 9 industrial presentations, on current practice and challenges
- authors from 13 countries: Australia, Austria, Canada, China,
  France, Germany, Iran, Italy, Japan, Portugal, Spain, the UK,
  and the USA

Exhibition
- 5 exhibitors already committed: AdaCore, Ellidiss Software
  (TNI-Europe), Green Hills Software, I-Logix, and PrismTech
  (Top Graph'X), others expressed interest
- vendor presentation tracks for exhibitors

Social evening events
- Tuesday: visit of, and reception at, a Port wine cellar
- Wednesday: banquet at the Porto former Customs House

Registration
- early registration discount up to Mon May 12, 2006: **don't delay!**
- additional discount for academia, Ada-Europe and ACM members
- registration includes copy of printed proceedings at event
- includes coffee breaks, lunches, social events
- three day conference registration includes conference banquet

Please note that we strongly advice all participants to book early, as
June is a very busy period for hotels in Porto. Particularly in 2006,
since Porto will host the final of the Under-21 UEFA European Football
Championship in the 4th of June.

For more info and latest updates see the conference web site at
http://www.ada-europe.org/conference2006.html or contact
[log in to unmask]

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

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