![[Ada-Europe'2005 logo]](/~dirk/.image/ada-europe2005.jpg)
Newsgroups: comp.lang.ada Subject: ANN: Ada 2005 standard container library tutorial available From: Matthew Heaney <matthewjheaney@earthlink.net> Date: Tue, 28 Jun 2005 13:28:07 GMT The Ada 2005 standard container library tutorial that I presented at Ada-Europe 2005 is now available: <http://charles.tigris.org/ai302_tutorial.ppt> <http://charles.tigris.org/ai302_tutorial.pdf> The links appear under the "Related resources" section in the Description part of the Charles library CVS repository home page: <http://charles.tigris.org/> The standard container library is specified by AI-302, the drafts of which are maintained here: <http://www.ada-auth.org/cgi-bin/cvsweb.cgi/AIs/AI-20302.TXT> Regards, Matt
From: dirk@heli.cs.kuleuven.ac.be (Dirk Craeynest)
Newsgroups: comp.lang.ada,fr.comp.lang.ada
Subject: Press Release - Reliable Software Technologies, Ada-Europe 2005
Date: 12 Jun 2005 12:11:23 +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,York,UK
cc: dirk
-----------------------------------------------------------------------
Final Call for Participation
*** UPDATED Program Summary ***
10th International Conference on
Reliable Software Technologies - Ada-Europe 2005
20 - 24 June 2005, York, UK
http://www.ada-europe.org/conference2005.html
*** Full Program available on conference web site ***
*** Check out the tutorial program! ***
*** Printed proceedings available ***
*** Register now! ***
-----------------------------------------------------------------------
Press release:
Conference on Reliable Software Technologies in York
York, UK (12 June 2005 12:00) - The University of York, sponsored by
Ada-Europe and in cooperation with ACM's Special Interest Group in Ada,
organizes this year the "10th International Conference on Reliable
Software Technologies - Ada-Europe 2005" from 20 to 24 June in York.
The conference offers nine tutorials, including a look at Ada 2005, a
full technical program of refereed papers, a collection of industrial
presentations reflecting current practice and challenges, three eminent
invited speakers, an exhibition, and a social program.
The 9 excellent tutorials cover a broad range of topics, including:
developing web-aware applications in Ada, correctness by construction,
real-time Java, architecture analysis and design, Ravenscar and SPARK,
containers in Ada 2005, software fault tolerance, requirements
engineering for dependable Systems, and a half day tutorial (at a
reduced rate) on the new features of Ada 2005, presented by four of
its designers: John Barnes, Alan Burns, Pascal Leroy and Tucker Taft.
Technical Program. 21 fully refereed and carefully selected papers
on the latest research on Ada-related issues, including new tools,
applications and industrial practice and experience. A collection of
10 industrial presentations reflecting current practice and challenges.
Springer Verlag publishes the proceedings of the conference, as LNCS
Vol. 3555.
Keynote Speakers. John McDermid discusses model-based development of
safety-critical software. Martyn Thomas presents "Extreme Hubris" in
which the principles of Extreme Programming are examined and shown to
be misguided and dangerous, and in which an alternative Manifesto for
Reliable Software is proposed. Bev Littlewood talks about assessing
the dependability of software-based systems.
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, ARTiSAN
Software, Esterel Technologies, Green Hills Software, I-Logix, LDRA
Software Technology, PolySpace Technologies, Praxis High Integrity
Systems, Silver Software, TNI Europe.
York is a beautiful and historical (small) city in the north of the UK.
It has a first class university with one of the best Computer Science
departments in the world. The Department has been involved with the
development of programming languages for a number of years (indeed it
ran the first series of technical meetings on Ada in the 1970s). It is
pleased to host this meeting on reliable software technology.
York can be reached easily by train from London (approximately 2.3
hours), Manchester airport (2 hours), Leeds/Bradford Airport (1 hour).
The conference is held at the Royal York Hotel which is adjacent to
the York train station a few minutes from the centre of York and the
Minster (Cathedral).
The conference's social program includes a wine and buffet reception on
Tuesday evening at Bedern Hall, a 14th century hall which was used as
a refectory of the vicars of York Minster, and the conference banquet
on Wednesday evening at the National Railway Museum. This York-based
Museum is the largest railway museum in the world, responsible for the
conservation and interpretation of the British national collection of
historically significant railway vehicles and other artifacts. The
Museum contains an unrivaled collection of locomotives, rolling stock,
railway equipment, documents and records.
-------
Latest updates:
- The full "Advance Program" is available on the conference web site
<http://www.ada-europe.org/conference2005.html> and directly at
<http://www.cs.york.ac.uk/rts/adaeurope/advprogram.pdf> (pdf, 1.7M).
- Check out the 9 tutorials in the advance program and at
<http://www.cs.york.ac.uk/rts/adaeurope/tutorials.html>.
- The proceedings, published by Springer Verlag as Lecture Notes in
Computer Science Vol. 3555, are ready and will be distributed at
the conference. More info is available at
<http://www.springeronline.com/3-540-26286-5>.
Abstracts can be checked out at
<http://springerlink.metapress.com/link.asp?id=xpm9f7atnwaw>.
- Registration fees are very reasonable and the registration process
is easy: either register on-line at
<https://pisa.cs.york.ac.uk/rts/cgi-bin/adaeurope/register>,
or fill out the form at
<http://www.cs.york.ac.uk/rts/adaeurope/registration-form.pdf>
and fax it to the conference secretariat. Don't delay!
- For the latest information consult the conference web site.
<http://www.ada-europe.org/conference2005.html>
-----------------------------------------------------------------------
Our apologies if you receive multiple copies of this announcement.
Please circulate widely.
Dirk.Craeynest@cs.kuleuven.ac.be, Ada-Europe'2005 Publicity Co-chair
*** 10th Intl.Conf.on Reliable Software Technologies - Ada-Europe'2005
*** June 20-24, 2005 *** York, UK *** http://www.ada-europe.org ***
(VA.1)
Date: Thu, 2 Jun 2005 14:17:15 -0400
From: Clyde Roby <roby@IDA.ORG>
Subject: SIGAda and Conferences reminder
To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG
Message for June 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 2005
York, England, UK
20-24 June 2005
http://www.ada-europe.org/conference2005.html or
http://www.cs.york.ac.uk/rts/adaeurope/
[...]
and:
[...]
o ITiCSE (Innovation and Technology in Computer Science Education) 2005
Monte da Caparica, Portugal
27-29 June 2005
http://www.iticse05.unl.pt/
o Symposium on Principles of Distributed Computing (PODC 2005)
Las Vegas, Nevada, USA
17-20 July 2005
http://www.podc.org/podc2005/
o OOPSLA 2005
(Object-Oriented Programming, Systems, Languages, and Applications)
San Diego, California, USA
16-20 October 2005
http://www.oopsla.org/2005/
----------------------------------------------------------------------
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
From: dirk@heli.cs.kuleuven.ac.be (Dirk Craeynest)
Newsgroups: comp.lang.ada,fr.comp.lang.ada
Subject: Ada-Europe 2005 early registration deadline approaching
Date: 19 May 2005 21:39:43 +0200
Organization: Ada-Europe, c/o Dept. of Computer Science, K.U.Leuven
Summary: Early registration discount until May 23.
Keywords: Conference,tutorials,reliable software,Ada,industry,LNCS,York,UK
-----------------------------------------------------------------------
2nd Call for Participation
*** UPDATED Program Summary ***
10th International Conference on
Reliable Software Technologies - Ada-Europe 2005
20 - 24 June 2005, York, UK
http://www.ada-europe.org/conference2005.html
Organized, on behalf of Ada-Europe,
by the University of York,
in cooperation with ACM SIGAda
*** Early registration discount until May 23. ***
*** Printed Advance Program available on conference web site. ***
-----------------------------------------------------------------------
Ada-Europe organizes annual international conferences since the early
80's. This is the 10th 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).
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 Programme" link at the top of the
conference home page to either view or download the PDF version, or
contact the local organization chair to request a printed copy of the
brochure.
Direct URLs
- Advance Program (large file, 1.7 MB, incl. registration form):
http://www.cs.york.ac.uk/rts/adaeurope/advprogram.pdf
- online conference registration:
https://pisa.cs.york.ac.uk/rts/cgi-bin/adaeurope/register
- conference registration form (small file):
http://www.cs.york.ac.uk/rts/adaeurope/registration-form.pdf
- accommodation and travel information
http://www.cs.york.ac.uk/rts/adaeurope/york.html#accommodation
Quick overview
- Mon 20 & Fri 24: tutorials
- Tue 21 - Thu 23: paper, industrial & vendor presentations, exhibition
Program co-chairs
- Tullio Vardanega, University of Padua, Italy,
tullio.vardanega@math.unipd.it
- Andy Wellings, University of York, UK, andy@cs.york.ac.uk
Invited speakers
- John McDermid, University of York, UK, "Model-based Development
of Safety-Critical Software: Opportunities and Challenges"
- Martyn Thomas, Thomas Associates, UK, "Extreme Hubris"
(on Extreme Programming and Reliable Software)
- Bev Littlewood, City University, London, UK, "Assessing the
Dependability of Software-Based Systems: a Question of Confidence"
Special tutorial (half day)
- "Ada 2005", John Barnes, Alan Burns, Pascal Leroy, S. Tucker Taft
Tutorials (full day)
- "Real-Time Java for Ada Programmers", Ben Brosgol
- "Software Safety Cases", John McDermid, Rob Weaver
Tutorials (half day)
- "Developing Web-aware Applications in Ada with AWS",
Jean-Pierre Rosen
- "Correctness by Construction. A Manifesto for High Integrity
Engineering", Peter Amey & Neil White
- "SAE Architecture Analysis and Design Language",
Joyce L. Tokar & Bruce Lewis
- "High-Integrity Ravenscar Using SPARK", Brian Dobbing
- "Requirements Engineering for Dependable Systems", William Bail
- "Programming with the Ada 2005 Standard Container Library",
Matthew Heaney
- "Software Fault Tolerance", Patrick Rogers
Papers and Presentations
- 21 refereed technical papers on Applications, Design and Scheduling,
Formal Methods, Ada and Education, Certification and Verification,
Distributed Systems, Language Aspects, and Ravenscar Technology
- 10 industrial presentations, on current practice and challenges
- authors from 10 countries: Austria, France, Germany, Italy, Portugal,
Spain, Sweden, Switzerland, United Kingdom, and USA
Exhibition
- 11 exhibitors already committed: AdaCore, Aonix, ARTiSAN Software,
Esterel Technologies, Green Hills Software, I-Logix, LDRA Software
Technology, PolySpace Technologies, Praxis High Integrity Systems,
Silver Software, and TNI-Europe
- vendor presentation tracks for exhibitors
Social evening events
- Wednesday: visit of, and banquet at the National Railway Museum
- others: to be announced
Registration
- early registration discount up to Mon May 23, 2005: **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
For more info, latest updates, or to get printed brochures, see the
conference web site at http://www.ada-europe.org/conference2005.html
or contact sue@cs.york.ac.uk.
-----------------------------------------------------------------------
Our apologies if you receive multiple copies of this announcement.
Please circulate widely.
Dirk.Craeynest@cs.kuleuven.ac.be, Ada-Europe'2005 Publicity Co-chair
*** 10th Intl.Conf.on Reliable Software Technologies - Ada-Europe'2005
*** June 20-24, 2005 *** York, UK *** http://www.ada-europe.org ***
(V9.1)
From: dirk@heli.cs.kuleuven.ac.be (Dirk Craeynest)
Newsgroups: comp.lang.ada,fr.comp.lang.ada
Subject: 10th Int.Conf.on Reliable Software Technologies, Ada-Europe 2005
Date: 12 May 2005 23:53:54 +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,York,UK
-----------------------------------------------------------------------
Call for Participation
*** PROGRAM SUMMARY ***
10th International Conference on
Reliable Software Technologies - Ada-Europe 2005
20 - 24 June 2005, York, UK
http://www.ada-europe.org/conference2005.html
Organized, on behalf of Ada-Europe,
by the University of York,
in cooperation with ACM SIGAda
*** Advance Program is online. Registration has started. ***
-----------------------------------------------------------------------
[ 101 lines deleted; see updated version above -- dc ]
Date: Mon, 2 May 2005 07:14:35 -0400
From: Clyde Roby <roby@IDA.ORG>
Subject: SIGAda and Conferences reminder
To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG
Message for May 2005:
Don't forget about our upcoming Ada-related conferences:
o [ duplicates removed; see above -- dc ]
[...]
and:
o 27th International Conference on Software Engineering (ICSE 2005)
St. Louis, Missouri, USA
15-21 May 2005
http://www.cs.wustl.edu/icse05/Home/index.shtml
o DASIA (DAta Systems in Aerospace) 2005
Edinburgh, Scotland
30 May - 2 June 2005
http://www.eurospace.org/
http://perso.wanadoo.fr/eurospace/dasia.html
o [ duplicates removed; see above -- dc ]
[...]
Clyde Roby, SIGAda Secretary
Date: Mon, 4 Apr 2005 06:22:36 -0400
From: Clyde Roby <roby@IDA.ORG>
Subject: SIGAda and Conferences reminder
To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG
Message for April 2005:
Don't forget about our upcoming Ada-related conferences:
o [ duplicates removed; see above -- dc ]
o Systems and Software Technology Conference 2005 (SSTC 2005)
Salt Lake City, Utah, USA
18-21 April 2005
http://www.stc-online.org/
and:
o [ duplicates removed; see above -- dc ]
[...]
Clyde Roby, SIGAda Secretary
Date: Wed, 2 Mar 2005 06:35:14 -0500
From: Clyde Roby <roby@IDA.ORG>
Subject: SIGAda and Conferences reminder
To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG
Message for March 2005:
Don't forget about our upcoming Ada-related conferences:
o [ duplicates removed; see above -- dc ]
and:
o SIGAPP Conference 2005
Santa Fe, New Mexico, USA
13-16 March 2005
http://www.acm.org/conferences/sac/sac2005/
o [ duplicates removed; see above -- dc ]
[...]
Clyde Roby, SIGAda Secretary
Date: Wed, 2 Feb 2005 07:04:12 -0500
From: Clyde Roby <roby@IDA.ORG>
Subject: SIGAda and Conferences reminder
To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG
Message for February 2005:
Don't forget about our upcoming Ada-related conferences:
o [ duplicates removed; see above -- dc ]
and:
o SIGCSE 2005 Symposium
St. Louis, Missouri, USA
23-27 February 2005
http://www.ithaca.edu/sigcse2005/
o Free and Open Source Software Developers' European Meeting (FOSDEM) 2005
Brussels, Belgium
26-27 February 2005
http://www.fosdem.org/
o [ duplicates removed; see above -- dc ]
[...]
Clyde Roby, SIGAda Secretary
Date: Mon, 3 Jan 2005 08:41:29 -0500 From: Clyde Roby <roby@IDA.ORG> Subject: SIGAda and Conferences reminder To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG [ 67 lines deleted; see updated version above -- dc ]
The Call for Industrial Presentations is also available in formats suitable for printing and further distribution:
What follows is the Final CfIP in text format, as posted to newsgroups and mailing lists.
From: dirk@heli.cs.kuleuven.ac.be (Dirk Craeynest)
Newsgroups: comp.lang.ada,fr.comp.lang.ada
Subject: FINAL CfIP, Conference Reliable Software Technologies, Ada-Europe 2005
Date: 4 Jan 2005 23:54:00 +0100
Organization: Ada-Europe, c/o Dept. of Computer Science, K.U.Leuven
Summary: Submit your 1 page overview by next Monday!
Keywords: Conference,tutorials,reliable software,Ada,industry,LNCS,York,UK
-----------------------------------------------------------------------
FINAL CALL FOR INDUSTRIAL PRESENTATIONS
10th International Conference on
Reliable Software Technologies - Ada-Europe 2005
20 - 24 June 2005, York, UK
http://www.ada-europe.org/conference2005.html
*** DEADLINE Monday 10 JANUARY ***
For more information please see the conference Web site
and select "Call for Industrial Presentations".
-----------------------------------------------------------------------
The 10th International Conference on Reliable Software Technologies
(Ada-Europe 2005) will take place in York, UK. 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.
In addition to the usual call for papers, this year we are also 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, 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 Rod Chapman (rod.chapman@praxis-his.com) by January
10th 2005. The Industrial Committee will review the proposals.
The authors of selected presentations shall prepare their final
presentation by 20th May 2005; they should aim to talk for 20 minutes.
The authors of accepted presentations will also be asked to derive
articles from them, for publication in the Ada User Journal.
Schedule
--------
10 January 2005: Submission of one-page overview
17 January 2005: Notification to authors
20 May 2005: Presentation required
20-24 June 2005: Conference
-----------------------------------------------------------------------
Our apologies if you receive multiple copies of this announcement.
Please circulate widely.
Dirk.Craeynest@cs.kuleuven.ac.be, Ada-Europe'2005 Publicity Co-Chair
*** 10th Intl.Conf.on Reliable Software Technologies - Ada-Europe'2005
*** June 20-24, 2005 *** York, UK *** http://www.ada-europe.org ***
(V7.1)
The Call for Industrial Presentations is also available in formats suitable for printing and further distribution:
What follows is the 2nd CfIP in text format, as posted to newsgroups and mailing lists.
From: dirk@heli.cs.kuleuven.ac.be (Dirk Craeynest)
Newsgroups: comp.lang.ada,fr.comp.lang.ada
Subject: 2nd CfIP, Conference Reliable Software Technologies, Ada-Europe 2005
Date: 23 Dec 2004 20:44:22 +0100
Organization: Ada-Europe, c/o Dept. of Computer Science, K.U.Leuven
Summary: 18 days until submission deadline!
Keywords: Conference,tutorials,reliable software,Ada,industry,LNCS,York,UK
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 10th, 2.5 weeks from now.
Lots of projects could report a lot of valuable experience: sharing
it with others benefits the whole community and might provide useful
feedback as well.
Looking forward to many interesting presentations.
Dirk Craeynest, Ada-Europe'2005 Publicity Co-Chair
-----------------------------------------------------------------------
2nd CALL FOR INDUSTRIAL PRESENTATIONS
10th International Conference on
Reliable Software Technologies - Ada-Europe 2005
20 - 24 June 2005, York, UK
http://www.ada-europe.org/conference2005.html
Organized, on behalf of Ada-Europe,
by the University of York,
in cooperation with ACM SIGAda (approval pending)
*** CfIP in HTML/PDF on web site ***
*** DEADLINE Monday 10 JANUARY 2005 ***
-----------------------------------------------------------------------
General Information
-------------------
The 10th International Conference on Reliable Software Technologies
(Ada-Europe 2005) will take place in York, UK. 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, this year we are also 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, Experience Reports on Education and Training
Activities with bearing on any of the conference topics.
See the below for further details.
Schedule
--------
10 January 2005: Submission of one-page overview
17 January 2005: Notification to authors
20 May 2005: Presentation required
20-24 June 2005: Conference
Submission of Presentations
---------------------------
Presenters are invited to submit a one-page overview of the proposed
presentation to Rod Chapman (rod.chapman@praxis-his.com) by January
10th 2005. The Industrial Committee will review the proposals.
The authors of selected presentations shall prepare their final
presentation by 20th May 2005; they should aim to talk for 20 minutes.
The authors of accepted presentations will also be asked 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 Rod Chapman 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, a special session will be devoted to the
presentation and discussion of the prospects of the revised language
in the landscape of mainstream language technologies.
The topics of interest for the conference 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 Runtime Libraries
- 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, Bindings and Libraries,
Evaluation & Comparative Assessments, Critical Review of Language
Enhancements, Novel Support Technology
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), and the recommended audience experience and background.
Proposals should be submitted by e-mail to the Tutorial Chair Iain
Bate. 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, the fee 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 that fall within the scope of the conference may be
arranged to discuss matters of immediate technical interest as well as
to foster action on longer-term technical objectives. Proposals may be
put forward for either 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 Program Co-Chair Tullio Vardanega. The
workshop organizer shall also commit to preparing proceedings for
timely publication in the Ada User Journal.
Organizing Committee
--------------------
Conference Chair
Alan Burns, University of York, UK
burns@cs.york.ac.uk
Program Co-Chairs
Tullio Vardanega, University of Padua, Italy
tullio.vardanega@math.unipd.it
Andy Wellings, University of York, UK
andy@cs.york.ac.uk
Tutorial Chair
Iain Bate, University of York, UK
ijb@cs.york.ac.uk
Exhibition Chair
Rod Chapman, Praxis High Integrity Systems
rod.chapman@praxis-his.com
Publicity Chair
Ian Broster, University of York, UK
ianb@cs.york.ac.uk
Dirk Craeynest
Aubay Belgium & K.U.Leuven, Belgium
Dirk.Craeynest@cs.kuleuven.ac.be
Local Administrator
Sue Helliwell, University of York, UK
sue@cs.york.ac.uk
Ada-Europe Conference Liaison
Laurent Pautet, ENST Paris, France
pautet@enst.fr
Industrial Committee
--------------------
Rod Chapman (Chair), Praxis High Integrity Systems,
rod.chapman@praxis-his.com
Chris Smith, GreenHills
Franco Gasperoni, AdaCore
Adrian Larkham, Aonix UK
Ian Gilchrist, IPL
Martin Stacey, ILogix
Alan Burns (Conference Chair), University of York, UK
Tullio Vardanega (Program Chair), University of Padua, Italy
Dirk Craeynest, Ada-Europe (Vice-President)
Erhard Plödereder, Ada-Europe (President)
-----------------------------------------------------------------------
Our apologies if you receive multiple copies of this announcement.
Please circulate widely.
Dirk.Craeynest@cs.kuleuven.ac.be, Ada-Europe'2005 Publicity Co-Chair
*** 10th Intl.Conf.on Reliable Software Technologies - Ada-Europe'2005
*** June 20-24, 2005 *** York, UK *** http://www.ada-europe.org ***
(V6.1)
The Call for Industrial Presentations is also available in formats suitable for printing and further distribution:
What follows is the CfIP in text format, as posted to newsgroups and mailing lists.
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 2005
Date: 5 Dec 2004 21:18:58 +0100
Organization: Ada-Europe, c/o Dept. of Computer Science, K.U.Leuven
Summary: Five weeks until submission deadline!
Keywords: Conference,tutorials,reliable software,Ada,LNCS,York,UK
-----------------------------------------------------------------------
CALL FOR INDUSTRIAL PRESENTATIONS
10th International Conference on
Reliable Software Technologies - Ada-Europe 2005
20 - 24 June 2005, York, UK
http://www.ada-europe.org/conference2005.html
Organized, on behalf of Ada-Europe,
by the University of York,
in cooperation with ACM SIGAda (approval pending)
*** DEADLINE Monday 10 JANUARY 2005 ***
-----------------------------------------------------------------------
[ 186 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: Reliable Software Technologies, Ada-Europe 2005: EXTENDED DEADLINE
Date: 4 Nov 2004 23:29:13 +0100
Organization: Ada-Europe, c/o Dept. of Computer Science, K.U.Leuven
Summary: Submission deadline extended by one week until November 14.
Keywords: Conference,tutorials,reliable software,Ada,LNCS,York,UK
The conference chair and the program co-chairs have agreed that, at the
request of several potential contributors, the submission deadline will
be extended by one week, until November 14, 2004.
-----------------------------------------------------------------------
EXTENDED DEADLINE
10th International Conference on
Reliable Software Technologies - Ada-Europe 2005
20 - 24 June 2005, York, UK
http://www.ada-europe.org/conference2005.html
*** Extended DEADLINE Sunday 14 NOVEMBER ***
The 10th International Conference on Reliable Software Technologies
(Ada-Europe 2005) will take place in York, UK. 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.
14 November 2004 - DEADLINE for submission of papers,
industrial presentations 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.ac.be, Ada-Europe'2005 Publicity Co-Chair
*** 10th Intl.Conf.on Reliable Software Technologies - Ada-Europe'2005
*** June 20-24, 2005 *** York, UK *** http://www.ada-europe.org ***
(V4.1)
Date: Tue, 2 Nov 2004 07:23:39 -0500
From: Clyde Roby <roby@IDA.ORG>
Subject: SIGAda and Conferences reminder
To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG
Message for November 2004:
Don't forget about our upcoming Ada-related conferences:
o SIGAda 2004
Atlanta, Georgia USA
14-18 November 2004
http://www.acm.org/sigada/conf/sigada2004/
o [ duplicates removed; see above -- dc ]
and:
o [ duplicates removed; see above -- dc ]
[...]
Clyde Roby, SIGAda Secretary
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 2005
Date: 31 Oct 2004 23:16:43 +0100
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,York,UK
-----------------------------------------------------------------------
FINAL CALL FOR PAPERS
10th International Conference on
Reliable Software Technologies - Ada-Europe 2005
20 - 24 June 2005, York, UK
http://www.ada-europe.org/conference2005.html
*** DEADLINE Sunday 7 NOVEMBER ***
The 10th International Conference on Reliable Software Technologies
(Ada-Europe 2005) will take place in York, UK. 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.
7 November 2004 - DEADLINE for submission of papers,
industrial presentations 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.ac.be, Ada-Europe'2005 Publicity Co-Chair
*** 10th Intl.Conf.on Reliable Software Technologies - Ada-Europe'2005
*** June 20-24, 2005 *** York, UK *** http://www.ada-europe.org ***
(V3.1)
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 2005
Date: 7 Oct 2004 22:06:48 +0200
Organization: Ada-Europe, c/o Dept. of Computer Science, K.U.Leuven
Summary: One month until submission deadline!
Keywords: Conference,tutorials,reliable software,Ada,LNCS,York,UK
-----------------------------------------------------------------------
2nd CALL FOR PAPERS
10th International Conference on
Reliable Software Technologies - Ada-Europe 2005
20 - 24 June 2005, York, UK
http://www.ada-europe.org/conference2005.html
http://www.ada-europe.org/conference2005.html
Organized, on behalf of Ada-Europe,
by the University of York,
in cooperation with ACM SIGAda (approval pending)
*** CfP in HTML/PDF on web site ***
*** SUBMISSION DEADLINE EARLY NOVEMBER ***
-----------------------------------------------------------------------
Ada-Europe organizes annual international conferences since the early
80's. This is the 10th 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).
General Information
-------------------
The 10th International Conference on Reliable Software Technologies
(Ada-Europe 2005) will take place in York, UK. 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
--------
7 November 2004: Submission of proposed contributions
17 January 2005: Notification to authors
7 March 2005: Camera-ready papers required
20-24 June 2005: 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 organisations interested in
furthering the development of reliable software technologies.
To mark the completion of the technical work for the Ada language
standard revision process, a special session will be devoted to the
presentation and discussion of the prospects of the revised language
in the landscape of mainstream language technologies.
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 Runtime Libraries
- 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, Bindings and Libraries,
Evaluation & Comparative Assessments, Critical Review of Language
Enhancements, Novel Support Technology
Call for Industrial Presentations
---------------------------------
A separate call is made for presentations of Experience Reports from
Industrial Projects and/or Experiments, Case Studies and Comparative
Assessments, Management Approaches, Qualitative and Quantitative
Metrics, Education and Training Activities with bearing on any of the
conference topics. Full papers and/or Extended Abstracts on these
topics are also welcome.
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. Extended abstracts and
outlines of presentations that provide a sufficient insight into the
intended contents of the contributions will also be considered.
Authors of accepted extended abstracts and/or presentations shall
submit a consolidated version of their contribution to the Program
Co-Chair Tullio Vardanega for final acceptance, by *February 21, 2005*.
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 Tullio Vardanega, 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 *March 7, 2005*. 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. All other accepted contributions will
appear in the Ada User Journal using the relevant format and style.
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 Iain Bate. 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 Program Co-Chair Tullio Vardanega. The workshop organiser 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 Rod Chapman 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 bursars 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 Alan
Burns for details.
Organizing Committee
--------------------
Conference Chair
Alan Burns, University of York, UK
burns@cs.york.ac.uk
Program Co-Chairs
Tullio Vardanega, University of Padua, Italy
tullio.vardanega@math.unipd.it
Andy Wellings, University of York, UK
andy@cs.york.ac.uk
Tutorial Chair
Iain Bate, University of York, UK
ijb@cs.york.ac.uk
Exhibition Chair
Rod Chapman, Praxis Critical Systems
rod.chapman@praxis-cs.co.uk
Publicity Co-Chairs
Ian Broster, University of York, UK
ianb@cs.york.ac.uk
Dirk Craeynest, Aubay Belgium & K.U.Leuven, Belgium
Dirk.Craeynest@cs.kuleuven.ac.be
Local Administrator
Sue Helliwell, University of York, UK
sue@cs.york.ac.uk
Ada-Europe Conference Liaison
Laurent Pautet, ENST Paris, France
pautet@enst.fr
Program Committee
-----------------
Asplund Lars, Mälardalens Högskola, Sweden
Alonso Alejandro, Universidad Politecnica de Madrid, Spain
Barnes Janet, Praxis Critical Systems, UK
Bernat Guillem, University of York, UK
Blieberger Johann, Technische Universität Wien, Austria
Burgstaller Bernd, Technische Universität Wien, Austria
Burns Alan, University of York, UK
Cederling Ulf, Vaxjo University, Sweden
Craeynest Dirk, Aubay Belgium & K.U.Leuven, Belgium
Crespo Alfons, Universidad Politecnica de Valencia, Spain
Dencker Peter, Aonix GmbH, Germany
Devillers Raymond, Université Libre de Bruxelles, Belgium
González-Harbour Michael, Universidad de Cantabria, Spain
Hately Andrew, Eurocontrol - CEATS Research Development Simulation
Centre, Hungary
Hommel Günter, Technischen Univesität Berlin, Germany
Kauer Stefan, EADS Dornier, Germany
Keller Hubert, Institut für Angewandte Informatik
Kermarrec Yvon, ENST Bretagne, France
Kienzle Jörg, McGill University, Canada
Kordon Fabrice, Université Pierre & Marie Curie, France
Leroy Pascal, IBM, France
LLamosi Albert, Universitat de les Illes Balears, Spain
Lundqvist Kristina, MIT, USA
Mazzanti Franco, Istituto di Scienza e Tecnologie dell'Informazione,
Italy
McCormick John, University of Northern Iowa, USA
Miranda Javier, Universidad Las Palmas de Gran Canaria, Spain
Morere Pierre, Aonix, France
de la Puente Juan A., Universidad Politecnica de Madrid, Spain
Pautet Laurent, ENST Paris, France
Plödereder Erhard, Universität Stuttgart, Germany
Romanovsky Alexander, University of Newcastle upon Tyne, UK
Rosen Jean-Pierre, Adalog, France
Schonberg Edmond, New York University & ACT, 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.ac.be, Ada-Europe'2005 Publicity Co-Chair
*** 10th Intl.Conf.on Reliable Software Technologies - Ada-Europe'2005
*** June 20-24, 2005 *** York, UK *** http://www.ada-europe.org ***
(V2.1)
Date: Mon, 4 Oct 2004 13:31:51 -0400
From: Clyde Roby <roby@IDA.ORG>
Subject: SIGAda and Conferences reminder
To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG
Message for October 2004:
Don't forget about our upcoming Ada-related conferences:
o [ duplicates removed; see above -- dc ]
and:
o 19th Annual Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA)
Vancouver, British Columbia, Canada
24-28 October 2004
http://www.oopsla.org/2004/
o [ duplicates removed; see above -- dc ]
[...]
Clyde Roby, SIGAda Secretary
Date: Thu, 2 Sep 2004 09:49:26 -0400 From: Clyde Roby <roby@IDA.ORG> Subject: SIGAda and Conferences reminder To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG [ 45 lines deleted; see updated version above -- dc ]
The Call for Papers is also available in formats suitable for printing and further distribution:
What follows is the CfP in text format, as posted to newsgroups and mailing lists.
From: dirk@heli.cs.kuleuven.ac.be (Dirk Craeynest)
Newsgroups: comp.lang.ada,fr.comp.lang.ada
Subject: CFP 10th Conf. Reliable Software Technologies, Ada-Europe 2005
Date: 17 Aug 2004 22:11:23 +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,York,UK
-----------------------------------------------------------------------
CALL FOR PAPERS
10th International Conference on
Reliable Software Technologies - Ada-Europe 2005
20 - 24 June 2005, York, UK
http://www.ada-europe.org/conference2005.html
Organized, on behalf of Ada-Europe,
by the University of York,
in cooperation with ACM SIGAda (approval pending)
*** CfP in HTML/PDF on web site ***
-----------------------------------------------------------------------
[ 247 lines deleted; see updated version above -- dc ]
The conference website will be online shortly at URL http://www.ada-europe.org/conference2005.html including the Call for Papers.
Ada-Europe Board
Palma de Mallorca, Spain, June 17, 2004
The Ada-Europe'2005 Conference will be held in York, UK.
The date of the event is the week of June 20 - 24, 2005.
Ada-Europe Board
Palma de Mallorca, Spain, June 15, 2004
![[Ada-Belgium]](/~dirk/.image/ada-belgium-icon.gif){kind=icon}
To the Ada-Belgium home page.
Last update: 2005/07/31.
Dirk Craeynest