FAQFAQ   SearchSearch   MemberlistMemberlist   UsergroupsUsergroups   RegisterRegister 
 ProfileProfile   PreferencesPreferences   Log in to check your private messagesLog in to check your private messages   Log inLog in 
Forum index » Science and Technology » Math » num-analysis
Press Release - Reliable Software Technologies, Ada-Europe 2006
Post new topic   Reply to topic Page 1 of 1 [1 Post] View previous topic :: View next topic
Author Message
Dirk Craeynest
science forum beginner


Joined: 12 May 2005
Posts: 16

PostPosted: Sun May 28, 2006 8:05 pm    Post subject: Press Release - Reliable Software Technologies, Ada-Europe 2006 Reply with quote

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

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: lpinho@dei.isep.ipp.pt (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.

Dirk.Craeynest@cs.kuleuven.be, 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 ***
(VB.7)
Back to top
Google

Back to top
Display posts from previous:   
Post new topic   Reply to topic Page 1 of 1 [1 Post] View previous topic :: View next topic
The time now is Fri Jan 09, 2009 12:58 am | All times are GMT
Forum index » Science and Technology » Math » num-analysis
Jump to:  

Similar Topics
Topic Author Forum Replies Last Post
No new posts Traveling around Europe gabrielj Recreational 0 Tue Nov 28, 2006 8:03 pm
No new posts ALA 2006 Dusseldorf (ILAS) msustik@gmail.com num-analysis 0 Thu Jul 20, 2006 2:49 am
No new posts johnreed take 1A - Modified June 6,2006 randamajor@yahoo.com Physics 2 Mon Jul 17, 2006 9:47 pm
No new posts RF Welders from Europe (High Frequenc... website@hf-welders.com Mechanics 0 Mon Jul 17, 2006 11:56 am
No new posts New physical sciences/mathematics pos... PhDs.org Webmaster Physics 0 Mon Jul 17, 2006 9:38 am

MPAA | Debt Consolidation | Loans | Bankruptcy | Thailand Property
Copyright © 2004-2005 DeniX Solutions SRL
Other DeniX Solutions sites: Electronics forum |  Medicine forum |  Unix/Linux blog |  Unix/Linux documentation |  Unix/Linux forums


Powered by phpBB © 2001, 2005 phpBB Group
[ Time: 0.2595s ][ Queries: 16 (0.1837s) ][ GZIP on - Debug on ]