![[Ada-Europe'2006 logo]](/~dirk/.image/ada-europe2006.gif)
From: dirk@apollo.cs.kuleuven.ac.be (Dirk Craeynest)
Newsgroups: comp.lang.ada,fr.comp.lang.ada
Subject: Press Release - Reliable Software Technologies, Ada-Europe 2006
Date: 28 May 2006 22:04:32 +0200
Organization: Ada-Europe, c/o Dept. of Computer Science, K.U.Leuven
Summary: Interested in reliable software? Register now for this event!
Keywords: Conference,tutorials,reliable software,Ada,industry,LNCS,Portugal
-----------------------------------------------------------------------
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.1)
Date: Tue, 2 May 2006 10:16:22 -0400
From: Clyde Roby <roby@IDA.ORG>
Subject: SIGAda and Conferences reminder
To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG
Message for May 2006:
Don't forget about our upcoming Ada-related conferences:
o Systems and Software Technology Conference 2006 (SSTC 2006)
Salt Lake City, Utah, USA
1-4 May 2006
http://www.stc-online.org/
o Ada-Europe 2006
Porto, Portugal
5-9 June 2006
http://www.ada-europe.org/conference2006.html or
http://www.hurray.isep.ipp.pt/ae2006/
o SIGAda 2006
Albuquerque, New Mexico USA
12-18 November 2006
http://www.acm.org/sigada/conf/sigada2006/
and:
o DASIA (DAta Systems In Aerospace) 2006
Berlin, Germany
22-25 May 2006
http://www.eurospace.org/
o ITiCSE (Innovation and Technology in Computer Science Education) 2006
University of Bologna, Bologna, Italy
26-28 June 2006
http://www.iticse06.cs.unibo.it/
o Principles of Distributed Computing (PODC) 2006
Denver, Colorado, USA
23-26 July 2006
http://www.podc.org/podc2006/
o ITiCSE (Innovation and Technology in Computer Science Education) 2007
West Park Centre (Dundee), Dundee, Scotland
June 2007
o ITiCSE (Innovation and Technology in Computer Science Education) 2008
School of Industrial Engineering, Madrid, Spain
June 2008
[...]
Clyde Roby, SIGAda Secretary
From: dirk@apollo.cs.kuleuven.ac.be (Dirk Craeynest)
Newsgroups: comp.lang.ada,fr.comp.lang.ada
Subject: Ada-Europe 2006 early registration deadline approaching
Date: 7 May 2006 19:53:28 +0200
Organization: Ada-Europe, c/o Dept. of Computer Science, K.U.Leuven
Summary: Early registration discount until May 12.
Keywords: Conference,tutorials,reliable software,Ada,industry,LNCS,Portugal
-----------------------------------------------------------------------
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
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
- 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
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 ***
(V10.1)
From: dirk@apollo.cs.kuleuven.ac.be (Dirk Craeynest)
Newsgroups: comp.lang.ada,fr.comp.lang.ada
Subject: 11th Int.Conf.on Reliable Software Technologies, Ada-Europe 2006
Date: 2 Apr 2006 18:55:27 +0200
Organization: Ada-Europe, c/o Dept. of Computer Science, K.U.Leuven
Summary: Advance Program is online. Registration has started.
Keywords: Conference,tutorials,reliable software,Ada,industry,LNCS,Portugal
-----------------------------------------------------------------------
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.1)
Date: Thu, 2 Mar 2006 06:15:12 -0500
From: Clyde Roby <roby@IDA.ORG>
Subject: SIGAda and Conferences reminder
To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG
Message for March 2006:
Don't forget about our upcoming Ada-related conferences:
o [ duplicates removed; see above -- dc ]
o Ada UK Conference 2006
Manchester, UK
28 March 2006
http://www.ada-uk-conference.co.uk/
o FOSDEM 2006
Brussels, Belgium
25-26 February 2006 (full-day track on Ada on the 26th)
http://www.cs.kuleuven.ac.be/~dirk/ada-belgium/events/06/060226-fosdem.html
and:
o SIGCSE (Special Interest Group in Computer Science Education) 2006
Houston, TX
1-5 March 2006
http://www.cs.rit.edu/~sigcse06/
o International Symposium on Secure Software Engineering
Washington, DC area, USA
13-15 March 2006
http://www.jmu.edu/iiia/issse/
o [ duplicates removed; see above -- dc ]
[...]
Clyde Roby, SIGAda Secretary
Date: Thu, 2 Feb 2006 07:51:42 -0500 From: Clyde Roby <roby@IDA.ORG> Subject: SIGAda and Conferences reminder To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG Message for February 2006: [ deleted; see updated version above -- dc ]
From: dirk@apollo.cs.kuleuven.ac.be (Dirk Craeynest)
Newsgroups: comp.lang.ada,fr.comp.lang.ada
Subject: FINAL CfIP, Conference Reliable Software Technologies, Ada-Europe 2006
Date: 9 Jan 2006 22:16:22 +0100
Organization: Ada-Europe, c/o Dept. of Computer Science, K.U.Leuven
-----------------------------------------------------------------------
Final Call for Industrial Presentations
11th International Conference on
Reliable Software Technologies - Ada-Europe 2006
5 - 9 June 2006, Porto, Portugal
http://www.ada-europe.org/conference2006.html
*** DEADLINE Thursday 12 JANUARY ***
For more information please see the conference Web site
and select "Call for Industrial Presentations".
-----------------------------------------------------------------------
The 11th International Conference on Reliable Software Technologies
(Ada-Europe 2006) will take place in Porto, Portugal. Following the
usual style, the conference will span a full week, including a
technical program and vendor exhibitions from Tuesday to Thursday,
along with parallel workshops and tutorials on Monday and Friday.
In addition to the usual call for papers, and considering the success
achieved in the previous conference, we are having a call for
presentations primarily aimed at industrialists who have valuable
experience to report but who do not wish to write a complete paper.
This separate call for presentations is made for Experience Reports
>from Industrial Projects and/or Experiments, Case Studies and
Comparative Assessments, Management Approaches, Qualitative and
Quantitative Metrics and Experience Reports on Education and Training
Activities, with bearing on any of the conference topics. See the
conference web site for further details.
Presenters are invited to submit a one-page overview of the proposed
presentation to Peter Dencker (peter.dencker@aonix.de) by January
12th 2006. The Industrial Committee will review the proposals.
The authors of selected presentations shall prepare their final
presentation, together with a short abstract (max 10 lines), by 28th
April 2006; they should aim at a 20 minutes talk. The authors of
accepted presentations will also be invited to derive articles from
them, for publication in the Ada User Journal.
Schedule
--------
12 January 2006: Submission of one-page presentation overview
End January 2006: Notification to authors
28 April 2006: Presentation material required
5-9 June 2006: Conference
-----------------------------------------------------------------------
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 ***
(V8.1)
Date: Fri, 6 Jan 2006 08:45:36 -0500 From: Clyde Roby <roby@IDA.ORG> Subject: SIGAda and Conferences reminder To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG Message for January 2006: [ deleted; see updated version above -- dc ]
From: dirk@apollo.cs.kuleuven.ac.be (Dirk Craeynest)
Newsgroups: comp.lang.ada,fr.comp.lang.ada
Subject: 2nd CfIP, Conference Reliable Software Technologies, Ada-Europe 2006
Date: 31 Dec 2005 17:49:03 +0100
Organization: Ada-Europe, c/o Dept. of Computer Science, K.U.Leuven
Summary: 12 days until submission deadline!
Keywords: Conference,tutorials,reliable software,Ada,industry,LNCS,Portugal
This call for industrial presentations is specifically targeted to
those of you who either work in industrial (Ada-related) projects
where reliable software technologies are important, or know people
working in such projects.
Please think for a moment what others might learn from the experience
gained in those projects, and consider (or convince them) to submit
a one-page presentation overview by January 12th, 1.5 weeks from now.
Many projects could report a lot of valuable experience: sharing it
with others benefits the whole community and might provide useful
feedback as well.
We're looking forward to receive many interesting presentations.
Best wishes for the new year,
Dirk Craeynest, Ada-Europe'2006 Publicity Chair
-----------------------------------------------------------------------
2nd Call for Industrial Presentations
11th International Conference on
Reliable Software Technologies - Ada-Europe 2006
5 - 9 June 2006, Porto, Portugal
http://www.ada-europe.org/conference2006.html
Organized, on behalf of Ada-Europe,
by Instituto Superior de Engenharia do Porto
in cooperation with ACM SIGAda
*** CfIP in HTML/PDF on web site ***
*** DEADLINE Thursday 12 JANUARY 2006 ***
-----------------------------------------------------------------------
General Information
-------------------
The 11th International Conference on Reliable Software Technologies
(Ada-Europe 2006) will take place in Porto, Portugal. Following the
usual style, the conference will span a full week, including a
three-day technical program and vendor exhibitions from Tuesday to
Thursday, along with parallel workshops and tutorials on Monday and
Friday.
Call for Presentations
----------------------
In addition to the usual call for papers, and considering the success
achieved in the previous conference, we are having a call for
presentations primarily aimed at industrialists who have valuable
experience to report but who do not wish to write a complete paper.
This separate call for presentations is made for Experience Reports
from Industrial Projects and/or Experiments, Case Studies and
Comparative Assessments, Management Approaches, Qualitative and
Quantitative Metrics and Experience Reports on Education and Training
Activities, with bearing on any of the conference topics.
See below for further details.
Schedule
--------
12 January 2006: Submission of presentation proposals
20 January 2006: Notification to authors
28 April 2006: Presentation material required
5-9 June 2006: Conference
Submission of Presentations
---------------------------
Presenters are invited to submit a one-page overview of the proposed
presentation to Peter Dencker (peter.dencker@aonix.de) by January
12th 2006. The Industrial Committee will review the proposals.
The authors of selected presentations shall prepare their final
presentation, together with a short abstract (max 10 lines), by 28th
April 2006; they should aim at a 20 minutes talk. The authors of
accepted presentations will also be invited to derive articles from
them, for publication in the Ada User Journal.
Exhibitions
-----------
Commercial exhibitions will span the three days of the main conference.
Vendors and providers of software products and services should contact
the Exhibition Chair José Ruiz as soon as possible for further
information and for allowing suitable planning of the exhibition space
and time.
Conference Topics
-----------------
In the last decade the conference has established itself as an
international forum for providers and practitioners of, and researchers
into, reliable software technologies. The conference presentations
will illustrate current work in the theory and practice of the design,
development and maintenance of long-lived, high-quality software
systems for a variety of application domains. The program will allow
ample time for keynotes, Q&A sessions, panel discussions and social
events. Participants will include practitioners and researchers from
industry, academia and government organizations interested in
furthering the development of reliable software technologies.
To mark the completion of the technical work for the Ada language
standard revision process, contributions that present and discuss
the potential of the revised language are particularly sought after.
For papers, tutorials, and workshop proposals, the topics of interest
include, but are not limited to:
- Methods and Techniques for Software Development and Maintenance:
Requirements Engineering, Object-Oriented Technologies, Formal
Methods, Re-engineering and Reverse Engineering, Reuse, Software
Management Issues
- Software Architectures: Patterns for Software Design and Composition,
Frameworks, Architecture-Centered Development, Component and Class
Libraries, Component-Based Design
- Enabling Technology: CASE Tools, Software Development Environments
and Project Browsers, Compilers, Debuggers and Run-time Systems
- Software Quality: Quality Management and Assurance, Risk Analysis,
Program Analysis, Verification, Validation, Testing of Software
Systems
- Critical Systems: Real-Time, Distribution, Fault Tolerance,
Information Technology, Safety, Security
- Mainstream and Emerging Applications: Multimedia and Communications,
Manufacturing, Robotics, Avionics, Space, Health Care, Transportation
- Ada Language and Technology: Programming Techniques, Object-Oriented
Programming, Concurrent Programming, Distributed Programming, Bindings
and Libraries, Evaluation & Comparative Assessments, Critical Review
of Language Enhancements, Novel Support Technology, HW/SW platforms
- Experience Reports: Experience Reports, Case Studies and Comparative
Assessments, Management Approaches, Qualitative and Quantitative
Metrics, Experience Reports on Education and Training Activities with
bearing on any of the conference topics
Tutorials
---------
Tutorials should address subjects that fall within the thrust of the
conference and may be proposed as either half- or full-day events.
Proposals should include a title, an abstract, a description of the
topic, a detailed outline of the presentation, a description of the
presenter's lecturing expertise in general and with the proposed topic
in particular, the proposed duration (half day or full day), the
intended level of the tutorial (introductory, intermediate, or
advanced), the recommended audience experience and background, and a
statement of the reasons for attending. Proposals should be submitted
by e-mail to the Tutorial Chair Jorge Real. The providers of full-day
tutorials will receive a complimentary conference registration as well
as a fee for every paying participant in excess of 5; for half-day
tutorials, these benefits will accordingly be halved. The Ada User
Journal will offer space for the publication of summaries of the
accepted tutorial in issues preceding and/or following the conference.
Workshops
---------
Workshops on themes within the conference scope may be arranged to
discuss matters of immediate technical interest as well as to foster
action on longer-term technical objectives. Proposals may be submitted
for half- or full-day workshops, to be scheduled on either ends of the
main conference. Workshop proposals should be submitted by e-mail to
the Conference Chair Luís Miguel Pinho. The workshop organizer shall
also commit to preparing proceedings for timely publication in the Ada
User Journal.
Organizing Committee
--------------------
Conference Chair
Luís Miguel Pinho, Polytechnic Institute of Porto, Portugal
lpinho@dei.isep.ipp.pt
Industrial Committee Co-Chairs
Peter Dencker, Aonix GmbH, Germany
(peter.dencker@aonix.de)
Michael González Harbour, Universidad de Cantabria, Spain
mgh@unican.es
Industrial Committee
--------------------
Rod Chapman, Praxis High Integrity Systems
Christopher Smith, Green Hills
Franco Gasperoni, AdaCore
Jacques Brygier, Aonix
Ian Gilchrist, IPL
Pascal Leroy, IBM Rational
Rei Stråhle, Saab Systems
Francis Thom, Artisan Software
Tony Elliston, TNI Europe
Amar Bouali, Esterel Technologies
Luís Miguel Pinho, Conference Chair
Dirk Craeynest, Ada-Europe (Vice President)
Erhard Plödereder, Ada-Europe (President)
Conference Organization
-----------------------
Conference Chair
Luís Miguel Pinho, Polytechnic Institute of Porto, Portugal
lpinho@dei.isep.ipp.pt
lpinho@dei.isep.ipp.pt
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
Tutorial Chair
Jorge Real, U. P. Valencia, Spain
jorge@disca.upv.es
Exhibition Chair
José Ruiz, AdaCore, France
ruiz@adacore.com
Publicity Chair
Dirk Craeynest, Aubay Belgium & K.U.Leuven, Belgium
Dirk.Craeynest@cs.kuleuven.be
Local Chair
Sandra Almeida, Polytechnic Institute of Porto, Portugal
salmeida@dei.isep.ipp.pt
Ada-Europe Conference Liaison
Laurent Pautet, Telecom Paris, France
pautet@enst.fr
-----------------------------------------------------------------------
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 ***
(V7.1)
Date: Fri, 2 Dec 2005 06:58:40 -0500 From: Clyde Roby <roby@IDA.ORG> Subject: SIGAda and Conferences reminder To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG Message for December 2005: [ deleted; see updated version above -- dc ] ---------------------------------------------------------------------- The textbook "Ada for Software Engineers", written by Professor Mordechai (Moti) Ben-Ari of the Department of Science Teaching at the Weizmann Institute of Science (http://stwww.weizmann.ac.il/g-cs/benari), and originally published by John Wiley & Sons in 1998, can now be downloaded for free for academic research and teaching from http://stwww.weizmann.ac.il/g-cs/benari/books/index.html [this part of the message will be removed in 2006] ---------------------------------------------------------------------- [...] Clyde Roby, SIGAda Secretary
The Call for Industrial Presentations is also available in formats suitable for printing and further distribution:
From: dirk@heli.cs.kuleuven.ac.be (Dirk Craeynest)
Newsgroups: comp.lang.ada,fr.comp.lang.ada
Subject: C.f.Industrial Pres., Reliable Software Technologies, Ada-Europe 2006
Date: 16 Nov 2005 00:18:14 +0100
Organization: Ada-Europe, c/o Dept. of Computer Science, K.U.Leuven
Summary: Eight weeks until submission deadline!
Keywords: Conference,tutorials,reliable software,Ada,LNCS,Portugal
-----------------------------------------------------------------------
Call for Industrial Presentations
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 (approval pending)
*** CfIP in HTML/PDF on web site ***
-----------------------------------------------------------------------
[ 203 lines deleted; see updated version above -- dc ]
Date: Thu, 3 Nov 2005 08:00:02 -0500
From: Clyde Roby <roby@ida.org>
Subject: SIGAda and Conferences reminder
To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG
Message for November 2005:
Don't forget about our upcoming Ada-related conferences:
o SIGAda 2005
Atlanta, Georgia USA
13-17 November 2005
http://www.acm.org/sigada/conf/sigada2005/
o Ada-Europe 2006
Porto, Portugal
5-9 June 2006
http://www.ada-europe.org/conference2006.html or
http://www.hurray.isep.ipp.pt/ae2006/
o [ duplicates removed; see above -- dc ]
and:
o [ duplicates removed; see above -- dc ]
[...]
Clyde Roby, SIGAda Secretary
Newsgroups: comp.lang.ada,fr.comp.lang.ada
Subject: Reliable Software Technologies, Ada-Europe 2006: EXTENDED DEADLINE
Date: 28 Oct 2005 19:16:02 +0200
Organization: Ada-Europe, c/o Dept. of Computer Science, K.U.Leuven
Summary: Submission deadline extended by one week until November 6.
Keywords: Conference,tutorials,reliable software,Ada,LNCS,Portugal
Considering the requests of several potential contributors, and to give
all authors the same opportunity of further refining their submission,
we announce that the submission deadline will be extended by one week,
until November 6, 2005.
-----------------------------------------------------------------------
EXTENDED DEADLINE
11th International Conference on
Reliable Software Technologies - Ada-Europe 2006
5 - 9 June 2006, Porto, Portugal
http://www.ada-europe.org/conference2006.html
*** Extended DEADLINE Sunday 6 NOVEMBER ***
The 11th International Conference on Reliable Software Technologies
(Ada-Europe 2006) will take place in Porto, Portugal. Following the
usual style, the conference will span a full week, including a
technical program and vendor exhibitions from Tuesday to Thursday,
along with parallel workshops and tutorials on Monday and Friday.
6 November 2005 - DEADLINE for submission of papers,
and proposals for tutorials and workshops.
For more information please see the conference Web site
and select "Call for Papers".
-----------------------------------------------------------------------
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 ***
(V5.1)
From: dirk@heli.cs.kuleuven.ac.be (Dirk Craeynest)
Newsgroups: comp.lang.ada,fr.comp.lang.ada
Subject: FINAL CFP, Reliable Software Technologies, Ada-Europe 2006
Date: 23 Oct 2005 18:53:33 +0200
Organization: Ada-Europe, c/o Dept. of Computer Science, K.U.Leuven
Summary: Submit your contributions before the end of the week!
Keywords: Conference,tutorials,reliable software,Ada,LNCS,Portugal
-----------------------------------------------------------------------
FINAL Call for Papers
11th International Conference on
Reliable Software Technologies - Ada-Europe 2006
5 - 9 June 2006, Porto, Portugal
http://www.ada-europe.org/conference2006.html
*** DEADLINE Sunday 30 OCTOBER ***
The 11th International Conference on Reliable Software
Technologies (Ada-Europe 2006) will take place in Porto,
Portugal. Following the usual style, the conference will
span a full week, including a three-day technical program
and vendor exhibitions from Tuesday to Thursday, along with
parallel workshops and tutorials on Monday and Friday.
30 October 2005 - DEADLINE for submission of papers,
and proposals for tutorials and workshops.
For more information please see the conference Web site
and select "Call for Papers".
-----------------------------------------------------------------------
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 ***
(V4.1)
A mini-poster to help announce the Ada-Europe'2006 conference is available in formats suitable for printing:
From: dirk@heli.cs.kuleuven.ac.be (Dirk Craeynest)
Newsgroups: comp.lang.ada,fr.comp.lang.ada
Subject: Ada-Europe 2006 submission deadline approaching
Date: 4 Oct 2005 21:41:23 +0200
Organization: Ada-Europe, c/o Dept. of Computer Science, K.U.Leuven
Summary: 26 days until submission deadline!
Keywords: Conference,tutorials,reliable software,Ada,LNCS,Portugal
-----------------------------------------------------------------------
3rd Call for Papers
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 (approval pending)
*** DEADLINE END OCTOBER ***
*** Web Submission Form Available ***
-----------------------------------------------------------------------
Ada-Europe organizes 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).
General Information
-------------------
The 11th International Conference on Reliable Software Technologies
(Ada-Europe 2006) will take place in Porto, Portugal. Following the
usual style, the conference will span a full week, including a
three-day technical program and vendor exhibitions from Tuesday to
Thursday, along with parallel workshops and tutorials on Monday and
Friday.
Schedule
--------
30 October 2005: Submission of papers, workshop/tutorial proposals
20 January 2006: Notification to authors
20 February 2006: Camera-ready papers required
5-9 June 2006: Conference
Topics
------
In the last decade the conference has established itself as an
international forum for providers and practitioners of, and researchers
into, reliable software technologies. The conference presentations
will illustrate current work in the theory and practice of the design,
development and maintenance of long-lived, high-quality software
systems for a variety of application domains. The program will allow
ample time for keynotes, Q&A sessions, panel discussions and social
events. Participants will include practitioners and researchers from
industry, academia and government organizations interested in
furthering the development of reliable software technologies.
To mark the completion of the technical work for the Ada language
standard revision process, contributions that present and discuss
the potential of the revised language are particularly sought after.
For papers, tutorials, and workshop proposals, the topics of interest
include, but are not limited to:
- Methods and Techniques for Software Development and Maintenance:
Requirements Engineering, Object-Oriented Technologies, Formal
Methods, Re-engineering and Reverse Engineering, Reuse, Software
Management Issues
- Software Architectures: Patterns for Software Design and Composition,
Frameworks, Architecture-Centered Development, Component and Class
Libraries, Component-Based Design
- Enabling Technology: CASE Tools, Software Development Environments
and Project Browsers, Compilers, Debuggers and Run-time Systems
- Software Quality: Quality Management and Assurance, Risk Analysis,
Program Analysis, Verification, Validation, Testing of Software
Systems
- Critical Systems: Real-Time, Distribution, Fault Tolerance,
Information Technology, Safety, Security
- Mainstream and Emerging Applications: Multimedia and Communications,
Manufacturing, Robotics, Avionics, Space, Health Care, Transportation
- Ada Language and Technology: Programming Techniques, Object-Oriented
Programming, Concurrent Programming, Distributed Programming, Bindings
and Libraries, Evaluation & Comparative Assessments, Critical Review
of Language Enhancements, Novel Support Technology, HW/SW platforms
- Experience Reports: Experience Reports, Case Studies and Comparative
Assessments, Management Approaches, Qualitative and Quantitative
Metrics, Experience Reports on Education and Training Activities with
bearing on any of the conference topics
Submissions
-----------
Authors are invited to submit original contributions. Paper
submissions shall be in English, should be complete and should not
exceed 20 double-spaced pages in length. Authors should submit their
work via the Web submission system accessible from the conference Home
page. The preferred format for submission is PDF. Postscript can
also be accepted, as long as it was generated selecting the "optimize
for portability" option in the used printer driver. Submissions by
other means and formats will *not* be accepted. If you do not have
easy access to the Internet, or you do not have an appropriate Web
browser, please contact the Program Co-Chair Luís Miguel Pinho, whose
address details are on this call as well as on the conference Home page.
Proceedings
-----------
The authors of accepted papers shall prepare their camera-ready
submissions in full conformance with the LNCS style, not exceeding 12
pages and strictly by *February 20, 2006*. Authors should refer to:
http://www.springer.de/comp/lncs/authors.html for format and style
guidelines. Failure to comply will prevent the paper from appearing in
the conference proceedings. The conference proceedings including all
accepted papers will be published in the Lecture Notes in Computer
Science (LNCS) series by Springer Verlag, which will be available at
the start of the conference.
Awards
------
Ada-Europe will offer honorary awards for the best paper and the best
presentation, which will be presented during the banquet and at the
close of the conference respectively.
Call for Tutorials
------------------
Tutorials should address subjects that fall within the thrust of the
conference and may be proposed as either half- or a full-day events.
Proposals should include a title, an abstract, a description of the
topic, a detailed outline of the presentation, a description of the
presenter's lecturing expertise in general and with the proposed topic
in particular, the proposed duration (half day or full day), the
intended level of the tutorial (introductory, intermediate, or
advanced), the recommended audience experience and background, and a
statement of the reasons for attending. Proposals should be submitted
by e-mail to the Tutorial Chair Jorge Real. The providers of full-day
tutorials will receive a complimentary conference registration as well
as a fee for every paying participant in excess of 5; for half-day
tutorials, these benefits will accordingly be halved. The Ada User
Journal will offer space for the publication of summaries of the
accepted tutorial in issues preceding and/or following the conference.
Call for Workshops
------------------
Workshops on themes within the conference scope may be arranged to
discuss matters of immediate technical interest as well as to foster
action on longer-term technical objectives. Proposals may be submitted
for half- or full-day workshops, to be scheduled on either ends of the
main conference. Workshop proposals should be submitted by e-mail to
the Conference Chair Luís Miguel Pinho. The workshop organizer shall
also commit to preparing proceedings for timely publication in the Ada
User Journal.
Exhibition
----------
Commercial exhibitions will span the three days of the main conference.
Vendors and providers of software products and services should contact
the Exhibition Chair José Ruiz as soon as possible for further
information and for allowing suitable planning of the exhibition space
and time.
Reduced Fees for Students
-------------------------
A small number of grants are available for students who will
(co-)author and present papers at the conference. A reduction of 25%
will be made to the conference fee. Contact the Conference Chair Luís
Miguel Pinho for details.
Organizing Committee
--------------------
Conference Chair
Luís Miguel Pinho, Polytechnic Institute of Porto, Portugal
lpinho@dei.isep.ipp.pt
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
Tutorial Chair
Jorge Real, U. P. Valencia, Spain
jorge@disca.upv.es
Exhibition Chair
José Ruiz, AdaCore, France
ruiz@adacore.com
Publicity Chair
Dirk Craeynest, Aubay Belgium & K.U.Leuven, Belgium
Dirk.Craeynest@cs.kuleuven.be
Local Chair
Sandra Almeida, Polytechnic Institute of Porto, Portugal
salmeida@dei.isep.ipp.pt
Ada-Europe Conference Liaison
Laurent Pautet, Telecom Paris, France
pautet@enst.fr
Program Committee
-----------------
Alonso Alejandro, Universidad Politécnica de Madrid, Spain
Asplund Lars, Mälardalens Högskola, Sweden
Barnes Janet, Praxis High Integrity Systems, UK
Bernat Guillem, University of York, UK
Blieberger Johann, Technische Universität Wien, Austria
Brosgol Ben, AdaCore, USA
Burgstaller Bernd, University of Sydney, Australia
Burns Alan, University of York, UK
Craeynest Dirk, Aubay Belgium & K.U.Leuven, Belgium
Crespo Alfons, Universidad Politécnica de Valencia, Spain
Devillers Raymond, Université Libre de Bruxelles, Belgium
González Harbour Michael, Universidad de Cantabria, Spain
Gutiérrez José Javier, Universidad de Cantabria, Spain
Hately Andrew, Eurocontrol CRDS, Hungary
Hommel Günter, Technischen Univesität Berlin, Germany
Keller Hubert, Institut für Angewandte Informatik, Germany
Kermarrec Yvon, ENST Bretagne, France
Kienzle Jörg, McGill University, Canada
Kordon Fabrice, Université Pierre & Marie Curie, France
LLamosi Albert, Universitat de les Illes Balears, Spain
Mazzanti Franco, ISTI-CNR Pisa, Italy
McCormick John, University of Northern Iowa, USA
Michell Stephen, Maurya Software, Canada
Miranda Javier, Universidad Las Palmas de Gran Canaria, Spain
Pautet Laurent, Telecom Paris, France
Pinho Luís Miguel, Polytechnic Institute of Porto, Portugal
Plödereder Erhard, Universität Stuttgart, Germany
de la Puente Juan A., Universidad Politécnica de Madrid, Spain
Real Jorge, Universidad Politécnica de Valencia, Spain
Romanovsky Alexander, University of Newcastle upon Tyne, UK
Rosen Jean-Pierre, Adalog, France
Ruiz José, AdaCore, France
Schonberg Edmond, New York University & AdaCore, USA
Tokar Joyce, Pyrrhus Software, USA
Vardanega Tullio, Università di Padova, Italy
Wellings Andy, University of York, UK
Winkler Jürgen, Friedrich-Schiller-Universität, Germany
-----------------------------------------------------------------------
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 ***
(V3.1)
Date: Mon, 3 Oct 2005 06:57:36 -0400
From: Clyde Roby <roby@IDA.ORG>
Subject: SIGAda and Conferences reminder
To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG
Message for October 2005:
Don't forget about our upcoming Ada-related conferences:
o [ duplicates removed; see above -- dc ]
o Ada-Europe 2006
Porto, Portugal
5-9 June 2006
http://www.hurray.isep.ipp.pt/ae2006/
o [ duplicates removed; see above -- dc ]
and:
o OOPSLA 2005
(Object-Oriented Programming, Systems, Languages, and Applications)
San Diego, California, USA
16-20 October 2005
http://www.oopsla.org/2005/
o [ duplicates removed; see above -- dc ]
[...]
Clyde Roby, SIGAda Secretary
Date: Fri, 2 Sep 2005 06:56:34 -0400 From: Clyde Roby <roby@IDA.ORG> Subject: SIGAda and Conferences reminder To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG Message for September 2005: [ deleted; see updated version above -- dc ]
From: dirk@heli.cs.kuleuven.ac.be (Dirk Craeynest)
Newsgroups: comp.lang.ada,fr.comp.lang.ada
Subject: 2nd CFP Conf. Reliable Software Technologies, Ada-Europe 2006
Date: 11 Aug 2005 23:20:47 +0200
Organization: Ada-Europe, c/o Dept. of Computer Science, K.U.Leuven
Summary: Now is the time to prepare your submissions!
Keywords: Conference,tutorials,reliable software,Ada,LNCS,Portugal
-----------------------------------------------------------------------
2nd CALL FOR PAPERS
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 (approval pending)
*** CfP in HTML/PDF on web site ***
-----------------------------------------------------------------------
[ 236 lines deleted; see updated version above -- dc ]
From: dirk@heli.cs.kuleuven.ac.be (Dirk Craeynest)
Newsgroups: comp.lang.ada,fr.comp.lang.ada
Subject: CFP 11th Conf. Reliable Software Technologies, Ada-Europe 2006
Date: 1 Jul 2005 16:52:18 +0200
Organization: Ada-Europe, c/o Dept. of Computer Science, K.U.Leuven
Summary: Start now to prepare your submissions!
Keywords: Conference,tutorials,reliable software,Ada,LNCS,Portugal
-----------------------------------------------------------------------
CALL FOR PAPERS
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 (approval pending)
*** CfP in HTML/PDF on web site ***
-----------------------------------------------------------------------
[ 240 lines deleted; see updated version above -- dc ]
Date: Fri, 1 Jul 2005 06:19:53 -0400
From: Clyde Roby <roby@IDA.ORG>
Subject: SIGAda and Conferences reminder
To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG
Message for July 2005:
Don't forget about our upcoming Ada-related conferences:
o [ duplicates removed; see above -- dc ]
o Ada-Europe 2006
Porto, Portugal
5-9 June 2006
http://www.hurray.isep.ipp.pt/ae2006/
o [ duplicates removed; see above -- dc ]
and:
[...]
o Symposium on Principles of Distributed Computing (PODC 2005)
Las Vegas, Nevada, USA
17-20 July 2005
http://www.podc.org/podc2005/
o [ duplicates removed; see above -- dc ]
----------------------------------------------------------------------
The textbook "Ada for Software Engineers", written by Professor
Mordechai (Moti) Ben-Ari of the Department of Science Teaching at the
Weizmann Institute of Science
(http://stwww.weizmann.ac.il/g-cs/benari), and originally published by
John Wiley & Sons in 1998, can now be downloaded for free for academic
research and teaching from
http://stwww.weizmann.ac.il/g-cs/benari/books/
----------------------------------------------------------------------
[...]
Clyde Roby, SIGAda Secretary
The Ada-Europe'2006 Conference will be held in Porto, Portugal, in the week of June 5-9, 2006.
The conference website, including the Call for Papers, will be online shortly at URL http://www.ada-europe.org/conference2006.html.
Ada-Europe Board
York, UK, June 21, 2005
![[Ada-Belgium]](/~dirk/.image/ada-belgium-icon.gif){kind=icon}
To the Ada-Belgium home page.
Last update: 2006/05/28.
Dirk Craeynest