Article View: uk.comp.misc
Article #323Re: 11th Int.Conf.on Reliable Software Technologies, Ada-Europe 2006
From: Bikini Whacks
Date: Sun, 02 Apr 2006 17:45
Date: Sun, 02 Apr 2006 17:45
120 lines
6129 bytes
6129 bytes
In article <e0ovmb$nrt$1@apollo.cs.kuleuven.ac.be>,
dirk@apollo.cs.kuleuven.ac.be says...
> -----------------------------------------------------------------------
>
> Call for Participation
>
> *** 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
>
> *** Preliminary Program Available on Website ***
> *** Guaranteed Hotel Reservations expires April, 4th ***
>
> -----------------------------------------------------------------------
>
> 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).
>
> Quick overview
> - Mon 5 & Fri 9: tutorials
> - Tue 6 - Thu 8: paper, industrial & vendor presentations, exhibition
>
> Program co-chairs
> - Luís Miguel Pinho, Polytechnic Institute of Porto, Portugal
> lpinho@dei.isep.ipp.pt
> - Michael González Harbour, Universidad de Cantabria, Spain
> mgh@unican.es
>
> 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
> - several exhibitors already committed
> - 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, published by
> Springer-Verlag in Lecture Notes in Computer Science series (LNCS)
> and distributed 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
> salmeida@dei.isep.ipp.pt.
>
> -----------------------------------------------------------------------
>
> 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 ***
> (V9.3)
>
Will there be complimentary sex?
And what are your gun laws?
Technical Details
Message-ID:
<MPG.1e9a1e2a5a36db5e989ade@news.individual.net>Path:
arc1-ca.pugleaf.net!g2news1.google.com!news3.google.com!news1.google.com!fu-berlin.de!uni-berlin.de!individual.net!not-for-mailReferences:
<e0ovmb$nrt$1@apollo.cs.kuleuven.ac.be>Show Full Headers
Complete Article Headers
X-Google-Thread: f5142,dcaf7bebf6861beb X-Google-Thread: f79ab,dcaf7bebf6861beb X-Google-Thread: fb3a5,dcaf7bebf6861beb X-Google-Thread: 109b27,dcaf7bebf6861beb X-Google-Thread: fa6f6,dcaf7bebf6861beb X-Google-Attributes: gidf5142,gidf79ab,gidfb3a5,gid109b27,gidfa6f6,public X-Google-Language: ENGLISH,ASCII Path: arc1-ca.pugleaf.net!g2news1.google.com!news3.google.com!news1.google.com!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail From: Bikini Whacks <throwold.vegetables@me.please> Newsgroups: uk.comp.misc,ie.comp,se.dator.programmering.diverse,no.it.programmering.diverse,dk.edb.programmering Subject: Re: 11th Int.Conf.on Reliable Software Technologies, Ada-Europe 2006 Date: Sun, 2 Apr 2006 18:45:58 +0100 Lines: 120 Message-ID: <MPG.1e9a1e2a5a36db5e989ade@news.individual.net> References: <e0ovmb$nrt$1@apollo.cs.kuleuven.ac.be> Mime-Version: 1.0 Content-Type: text/plain; charset="iso-8859-15" Content-Transfer-Encoding: quoted-printable X-Trace: individual.net 5r6782psCakZPi5nawe9rgivHSP8P7nMBpt5lJ6A/T9ymwdiZ+ User-Agent: MicroPlanet-Gravity/2.60.2060