![[Ada-Europe'2002 logo]](/~dirk/.image/ada-europe2002.jpg)
Date: Sun, 22 Sep 2002 23:54:24 +0200 From: Dirk Craeynest <Dirk.Craeynest@cs.kuleuven.ac.be> Subject: Reliable Software Technologies - Ada-Europe 2002, Proceedings To: TEAM-ADA@ACM.ORG [ Sent per request of the Program Co-chairs. -- dc ] Reliable Software Technologies - Ada-Europe 2002, Proceedings To the participants in the conference To the authors of contributions To all friends of Ada Thanks to all of you, our annual conference held this year in Vienna was very successful. As usual, the proceedings were published in the famous Lecture Notes of Computer Science of Springer-Verlag. To refer to these proceedings, e.g. when you want to quote an article published there, please use the following reference: Johann Blieberger, Alfred Strohmeier (Eds.); Reliable Software Technologies - Ada-Europe 2002, Proceedings, Lecture Notes in Computer Science, vol. 2361, Springer-Verlag, 2002, 7th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 17-21, 2002. For more about the volume, please see the web site of Springer: http://link.springer.de/link/service/series/0558/tocs/t2361.htm Looking into the future, the call for papers for our next conference is already available. For more, see: 8th International Conference on Reliable Software Technologies Ada-Europe 2003 16 - 20 June 2003, Toulouse, France http://www.ada-europe.org/conference2003.html Best regards, Johann Blieberger and Alfred Strohmeier, program co-chairs
Date: Wed, 12 Jun 2002 22:21:59 +0200 From: Bernd Burgstaller <bburg@auto.tuwien.ac.at> Subject: Ada-Europe 2002 Final Program Information I have just put the Final Program Information for Ada-Europe 2002 online. With best regards, Bernd Burgstaller [ On http://www.ada-europe.org/conference2002.html, select "Program" -> "Download Information" -> "Final Program Information". -- dc ]
Date: Wed, 5 Jun 2002 23:50:27 +0200
From: Dirk Craeynest <Dirk.Craeynest@cs.kuleuven.ac.be>
Newsgroups: comp.lang.ada,fr.comp.lang.ada
Subject: Press Release - Reliable Software Technologies, Ada-Europe'2002
Summary: Interested in reliable software? Register now for this event!
Organization: Ada-Europe, c/o Dept. of Computer Science, K.U.Leuven
Keywords: Conference, tutorials, reliable software, Ada, LNCS, Vienna
------------------------------------------------------------------------
Final Call for Participation
7th International Conference on
Reliable Software Technologies - Ada-Europe'2002
June 17-21, 2002, Vienna, Austria
http://www.ada-europe.org/conference2002.html
*** Register now! ***
*** Proceedings available online. ***
*** Check out the tutorial program! ***
------------------------------------------------------------------------
Press release:
Conference on Reliable Software Technologies
International experts meet in Vienna
Vienna (pts, 5 June 2002 09:00) - The Technical University of Vienna
(TU Wien) in co-operation with ACM, ARC Seibersdorf research and the
University of Salzburg organize this year the "7th International
Conference on Reliable Software Technologies - Ada-Europe'2002" from
17 to 21 June in Vienna, Austria. The conference offers a technical
program, an exhibition, several tutorials and a workshop. Special
focus is put on the area of "Embedded Systems", further main topics
are "Real-Time Systems", "High-Integrity Systems", "Program Analysis"
and "Distributed Systems".
Invited lectures by internationally renowned scientists on the themes
"Embedded Systems Unsuitable for Object Orientation", "Architectural
Stability and Evolution", "Indulgent Algorithms" and "Contextware:
Bridging Physical and Virtual Worlds" complete the program.
The conference takes place in "Austria Trend - Parkhotel Schönbrunn
Wien", registration is still open. The "Advance Program" is available
at http://www.auto.tuwien.ac.at/AE2002/aprogram_color.pdf and on the
conference web site http://www.ada-europe.org/conference2002.html
Contact: ae2002-info@auto.tuwien.ac.at
-------
Latest updates:
- The proceedings published by Springer will be distributed at the
conference, and can already be checked out at
http://link.springer.de/link/service/series/0558/tocs/t2361.htm
- Registration fees are very reasonable and the registration process
is easy: fill out the 1-page online registration form and fax it to
the conference secretariat. Don't delay!
http://www.auto.tuwien.ac.at/AE2002/registration_form.pdf
- Check out the 8 tutorials in the advance program and at
http://www.auto.tuwien.ac.at/AE2002/program.html#Tutorials
- For the latest information consult the conference web site.
See you in Vienna!
------------------------------------------------------------------------
Our apologies if you receive multiple copies of this announcement.
Dirk.Craeynest@cs.kuleuven.ac.be, Ada-Europe'2002 Publicity Chair
--
Dirk Craeynest | Email Dirk.Craeynest@offis.be | Ada-Belgium
Offis nv/sa - Aubay Group | Phone +32(2)725.40.25 | Ada-Europe
Gatti de Gamondstraat 145 | +32(2)729.97.36 (work) | ACM SIGAda
B-1180 Brussel, Belgium | Fax +32(2)725.40.12 | Team Ada
*** Intl. Conference on Reliable Software Technologies - Ada-Europe'2002
*** June 17-21, 2002, Vienna, Austria *** http://www.ada-europe.org/ ***
From: dirk@piefje.cs.kuleuven.ac.be (Dirk Craeynest)
Newsgroups: comp.lang.ada,fr.comp.lang.ada
Subject: Ada-Europe'2002 early registration deadline approaching
Date: 20 May 2002 22:45:14 +0200
Organization: Ada-Europe, c/o Dept. of Computer Science, K.U.Leuven
Summary: Early registration discount until May 25
Keywords: Conference, tutorials, reliable software, Ada, LNCS, Vienna
------------------------------------------------------------------------
2nd Call for Participation
*** UPDATED Program Summary ***
7th International Conference on
Reliable Software Technologies - Ada-Europe'2002
June 17-21, 2002, Vienna, Austria
http://www.ada-europe.org/conference2002.html
Organized by TU Wien, sponsored by Ada-Europe
In cooperation with ACM SIGAda,
ARC Seibersdorf research and Universität Salzburg
*** Book your conference hotel room online. ***
*** Early registration discount until May 25. ***
*** Printed Advance Program now on conference web-site. ***
------------------------------------------------------------------------
Ada-Europe organizes annual international conferences since the early
80's. This is the 7th event in the Reliable Software Technologies
series, previous ones being held at Montreux, Switzerland (1996),
London, UK (1997), Uppsala, Sweden (1998), Santander, Spain (1999),
Potsdam, Germany (2000), Leuven, Belgium (2001).
The 16-page program brochure with full information is available on the
conference web-site. Select "Program" to either view or download the
PDF version or to request a printed copy of the brochure.
Quick overview
- Mon 17 & Fri 21: tutorials and workshop
- Tue 18 - Thu 20: paper and vendor presentation sessions, exhibition
Program co-chairs
- Johann Blieberger, Technical University Vienna, Dept. of Computer-
Aided Automation, Vienna, Austria, Blieberger@auto.tuwien.ac.at
- Alfred Strohmeier, Swiss Fed. Inst. of Technology Lausanne (EPFL),
Software Engineering Lab, Switzerland, Alfred.Strohmeier@epfl.ch
Invited speakers
- Maarten Boasson, Quaerendo Invenietis bv & University of Amsterdam
"Embedded Systems Unsuitable for Object Orientation"
- Mehdi Jazayeri, Technical University of Vienna
"On Architectural Stability and Evolution"
- Rachid Guerraoui, Swiss Fed. Inst. of Technology Lausanne (EPFL)
"Indulgent Algorithms: Virtues and Limitations"
- Alois Ferscha, University of Linz
"Contextware: Bridging Physical and Virtual Worlds"
Tutorials
- Peter Amey & Janet Barnes: "SPARK, an Intensive Overview" (full day)
- Michael Gonzalez Harbour & Mario Aldea Rivas: "MaRTE OS: Bringing
Embedded Systems and Real-Time POSIX Together" (full day)
- Matthew Heaney: "Principles Of Physical Software Design in Ada95"
(half day)
- Matthew Heaney: "Implementing Design Patterns in Ada95" (half day)
- S. Ron Oliver: "CORBA 3 and CORBA for Embedded Systems" (full day)
- Joel Sherrill & Jiri Gaisler: "Using Open Source Hard- and Software to
Build Reliable Systems" (half day)
- William Bail: "Cleanroom Software Engineering: An Overview" (half day)
- Currie Colket: "Exceptions - What You Always Wanted to Know About
Exceptions, But Were Afraid To Ask" (half day)
Workshop
- "A Standard Container Library for Ada"
Contact workshop co-chairs to participate:
Ehud Lamm, ehudla@openu.ac.il & John English, je@brighton.ac.uk
Papers
- 28 papers on Embedded Systems, Case Studies, Real-Time Systems,
High-Integrity Systems, Ada Language Issues, Program Analysis, Tools,
Distributed Systems, Libraries and Bindings, and OO Technology
- authors from 18 countries: Australia, Austria, Belgium, Canada, China,
France, Germany, Greece, Israel, Japan, Malaysia, the Netherlands,
Portugal, Russia, Spain, Switzerland, United Kingdom, USA
Exhibition
- 7 exhibitors already committed: ACT-Europe, Aonix, DDC-I, Green Hills,
RainCode, Rational, and TNI-Europe, others expressed interest
- separate vendor presentation tracks for exhibitors
Social evening events
- Tue: a guided bus tour of the city, followed by a cocktail reception
offered by the Mayor of Vienna at the historic town hall
- Wed: conference banquet at a famous "Heurigen" in Grinzing
- Thu: Schönbrunn Palace "Grand Tour", an exclusive guided tour through
this former summer residence of the Habsburg family
Conference Registration
- includes copy of full proceedings distributed at event, published by
Springer-Verlag in Lecture Notes in Computer Science (LNCS) series
- three day conference registration fee includes conference banquet and
other social evening events
- early registration discount up to May 25, 2002: don't delay!
- additional discount for academia, Ada-Europe and ACM members
Hotel Reservation
- rooms available at conference hotel (Parkhotel Schönbrunn)
- special price reduction from June 15 to 23 for single and double rooms
at EUR 95 and 132 resp., including breakfast buffet
URLs
- conference registration form (small PDF file):
http://www.auto.tuwien.ac.at/AE2002/registration_form.pdf
- hotel reservation web-page:
http://www.austria-trend.at/paw/pawset_eng.htm
(enter "AE02" into field just above "Make Reservation" button
on page where you provide your contact information)
- advance program (large PDF file, contains all information and forms):
http://www.auto.tuwien.ac.at/AE2002/aprogram_color.pdf (2.5MB)
For more info, latest updates, or to get printed brochures, see the
conference web-site at http://www.ada-europe.org/conference2002.html
or contact ae2002-info@auto.tuwien.ac.at.
------------------------------------------------------------------------
Our apologies if you receive multiple copies of this announcement.
Dirk.Craeynest@cs.kuleuven.ac.be, Ada-Europe'2002 Publicity Chair
--
Dirk Craeynest | Email Dirk.Craeynest@offis.be | Ada-Belgium
Offis nv/sa - Aubay Group | Phone +32(2)725.40.25 | Ada-Europe
Gatti de Gamondstraat 145 | +32(2)729.97.36 (work) | ACM SIGAda
B-1180 Brussel, Belgium | Fax +32(2)725.40.12 | Team Ada
*** Intl. Conference on Reliable Software Technologies - Ada-Europe'2002
*** June 17-21, 2002, Vienna, Austria *** http://www.ada-europe.org/ ***
Date: Sun, 14 Apr 2002 22:47:17 +0200
From: Dirk Craeynest <Dirk.Craeynest@cs.kuleuven.ac.be>
Newsgroups: comp.lang.ada,fr.comp.lang.ada
Subject: 7th Int.Conf.on Reliable Software Technologies, Ada-Europe'2002
Summary: Full Program is online. Registration has started.
Organization: Ada-Europe, c/o Dept. of Computer Science, K.U.Leuven
Keywords: Conference, tutorials, reliable software, Ada, LNCS, Vienna
------------------------------------------------------------------------
Preliminary Call for Participation
*** PROGRAM SUMMARY ***
7th International Conference on
Reliable Software Technologies - Ada-Europe'2002
June 17-21, 2002, Vienna, Austria
http://www.ada-europe.org/conference2002.html
Organized by TU Wien
Sponsored by Ada-Europe
In cooperation with ACM SIGAda,
ARC Seibersdorf research and Universität Salzburg
*** Preliminary Program is online. Registration has started. ***
------------------------------------------------------------------------
Ada-Europe organizes annual international conferences since the early
80's. This is the 7th event in the Reliable Software Technologies
series, previous ones being held at
- Montreux, Switzerland (1996)
- London, UK (1997)
- Uppsala, Sweden (1998)
- Santander, Spain (1999)
- Potsdam, Germany (2000)
- Leuven, Belgium (2001)
A 9-page program brochure is available on the conference web site.
Select "Program" to either view or download the PDF version or to
request a printed copy of the final brochure.
Quick overview
- Mon 17 & Fri 21: tutorials and workshop
- Tue 18 - Thu 20: paper and vendor presentation sessions, exhibition
Program co-chairs
- Johann Blieberger, Technical University Vienna, Dept. of Computer-
Aided Automation, Vienna, Austria, Blieberger@auto.tuwien.ac.at
- Alfred Strohmeier, Swiss Fed. Inst. of Technology Lausanne (EPFL),
Software Engineering Lab, Switzerland, Alfred.Strohmeier@epfl.ch
Invited speakers
- Maarten Boasson, Quaerendo Invenietis bv & University of Amsterdam
"Embedded Systems Unsuitable for Object Orientation"
- Mehdi Jazayeri, Technical University of Vienna
"On Architectural Stability and Evolution"
- Rachid Guerraoui, Swiss Fed. Inst. of Technology Lausanne (EPFL)
"Encapsulating Failure Detection: from Crash to Byzantine Failures"
- Alois Ferscha, University of Linz
"Contextware: Bridging Physical and Virtual Worlds"
Tutorials
- Peter Amey & Rod Chapman: "SPARK, an Intensive Overview" (full day)
- Michael Gonzalez Harbour & Mario Aldea: "MaRTE OS: Bringing Embedded
Systems and Real-Time POSIX Together" (full day)
- Matthew Heaney: "Principles Of Physical Software Design in Ada95"
(half day)
- Matthew Heaney: "Implementing Design Patterns in Ada95" (half day)
- S. Ron Oliver: "CORBA 3 and CORBA for Embedded Systems" (full day)
- Joel Sherrill & Jiri Gaisler: "Using Open Source Hard- and Software to
Build Reliable Systems" (half day)
- William Bail: "Cleanroom Software Engineering: An Overview" (half day)
- Currie Colket: "Exceptions - What You Always Wanted to Know About
Exceptions, But Were Afraid To Ask" (half day)
Workshop
- "A Standard Container Library for Ada"
Contact workshop co-chairs to participate:
Ehud Lamm, ehudla@openu.ac.il & John English, je@brighton.ac.uk
Papers
- 28 papers on Embedded Systems, Case Studies, Real-Time Systems,
High-Integrity Systems, Ada Language Issues, Program Analysis, Tools,
Distributed Systems, Libraries and Bindings, and OO Technology
- authors from 18 countries: Australia, Austria, Belgium, Canada, China,
France, Germany, Greece, Israel, Japan, Malaysia, the Netherlands,
Portugal, Russia, Spain, Switzerland, United Kingdom, USA
Exhibition
- 7 exhibitors already committed: ACT-Europe, Aonix, DDC-I, Green Hills,
RainCode, Rational, and TNI-Europe, others expressed interest
- separate vendor presentation tracks for exhibitors
Social evening events
- Tue: a guided bus tour of the city followed by a reception offered
by the City of Vienna in the historic town hall
- Wed: conference banquet at a famous "Heurigen" in Grinzing
- Thu: Schönbrunn Palace "Grand Tour", a guided tour of the imperial
residence of Emperor Franz Josef I and Empress Elisabeth
Registration
- includes copy of full proceedings, published by Springer-Verlag in
Lecture Notes in Computer Science series (LNCS)
- three day conference registration fee includes conference banquet
- early registration discount up to May 25, 2002
- discount for academia, Ada-Europe and ACM members
URLs
- conference registration form (small file):
http://www.auto.tuwien.ac.at/AE2002/registration_form.pdf
- hotel reservation e-mail address:
reservierung.parkhotel.schoenbrunn@austria-trend.at
(mention "Ada-Europe 2002 from June 17th to 21st organized
on behalf of TU Vienna" to get a special price reduction)
- preliminary program (large file, contains all information and forms):
http://www.auto.tuwien.ac.at/AE2002/program_color.pdf (1.5MB)
For more info, latest updates, or to get printed brochures, see the
conference web site at http://www.ada-europe.org/conference2002.html
or contact ae2002-info@auto.tuwien.ac.at.
------------------------------------------------------------------------
Our apologies if you receive multiple copies of this announcement.
Dirk.Craeynest@cs.kuleuven.ac.be, Ada-Europe'2002 Publicity Chair
--
Dirk Craeynest | Email Dirk.Craeynest@offis.be | Ada-Belgium
Offis nv/sa - Aubay Group | Phone +32(2)725.40.25 | Ada-Europe
Gatti de Gamondstraat 145 | +32(2)729.97.36 (work) | ACM SIGAda
B-1180 Brussel, Belgium | Fax +32(2)725.40.12 | Team Ada
*** Intl. Conference on Reliable Software Technologies - Ada-Europe'2002
*** June 17-21, 2002, Vienna, Austria *** http://www.ada-europe.org/ ***
Date: Mon, 4 Feb 2002 08:01:11 -0500 Sender: "ACM SIGADA Ada Semantic Interface Spec. Working Group" <SIGADA-ASIS@ACM.ORG> From: Clyde Roby <roby@ida.org> Subject: ASISWG and Conferences reminder To: SIGADA-ASIS@ACM.ORG Message for February 2002: Don't forget about our upcoming Ada-related conferences: o 11th International Real-Time Applications Workshop (IRTAW 11) 9-12 April 2002, Mont-Tremblant, Quebec, Canada o Ada-Europe'2002 -- 7th International Conference on Reliable Software Technologies: Vienna, Austria, 17-21 June 2002 http://www.ada-europe.org/conference2002.html o SIGAda 2002 -- Houston, Texas, USA 8-12 December 2002 -- http://www.acm.org/sigada/conf/sigada2002 [...]
Date: Sun, 28 Oct 2001 10:24:56 +0100 From: Dirk Craeynest <Dirk.Craeynest@CS.KULEUVEN.AC.BE> Subject: Ada-Europe'2002 submission deadline approaching as well... To: TEAM-ADA@ACM.ORG [...] If you know someone doing interesting Ada-related work, please urge them to submit a paper or an extended abstract for Ada-Europe's annual International Conference on Reliable Software Technologies, to be held next year in Vienna, Austria. The deadline for submission of papers, extended abstracts and proposals for tutorials and workshops is October 31. Also note that exhibition space is allocated on a first-come first-serve basis. Thanks for your help in promoting this event and the use of Ada around the world. Dirk Craeynest, Ada-Europe'2002 Publicity Chair -- Dirk Craeynest | Email Dirk.Craeynest@cs.kuleuven.ac.be (AE'2002) Offis - Aubay Group | Dirk.Craeynest@offis.be (work) | Ada-Belgium Weiveldlaan 41/32 | Phone +32(2)725.40.25 | Ada-Europe B-1930 Zaventem | +32(2)729.97.36 (work) | ACM SIGAda Belgium | Fax +32(2)725.40.12 | Team Ada *** Intl. Conference on Reliable Software Technologies - Ada-Europe'2002 *** June 17-21, 2002, Vienna, Austria *** http://www.ada-europe.org/ *** [ short version of CfP deleted; see below -- dc ]
Newsgroups: comp.lang.ada,fr.comp.lang.ada
Subject: Ada-Europe'2002 submission deadline approaching
Summary: 10 days till submission deadline!
Keywords: Conference, tutorials, reliable software, Ada, LNCS, Vienna
From: Dirk Craeynest <Dirk.Craeynest@cs.kuleuven.ac.be>
Date: 21 Oct 2001 20:31:30 +0200
Organization: Ada-Belgium, c/o Dept. of Computer Science, K.U.Leuven
------------------------------------------------
Updated Call for Papers
*** SUBMISSION DEADLINE: OCTOBER 31 ***
7th International Conference on
Reliable Software Technologies - Ada-Europe'2002
17 - 21 June 2002, Vienna, Austria
http://www.ada-europe.org/conference2002.html
*** WEB SUBMISSION FORM AVAILABLE ***
------------------------------------------------
Sponsored by Ada-Europe, organized by Technical University Vienna, in
cooperation with ACM SIGAda.
General Information
-------------------
The 7th International Conference on Reliable Software Technologies
(Ada-Europe'2002) will take place in the year 2002 in Vienna, Austria.
The full conference will comprise a three-day technical program and
exhibition from Tuesday to Thursday, and parallel workshops and
tutorials on Monday and Friday.
For more information, visit the conference Web site at
http://www.ada-europe.org/conference2002.html
Schedule
--------
- 31 October 2001: Submission of papers, extended abstracts and
proposals for tutorials and workshops
- 10 January 2002: Notification to authors
- 10 February 2002: Full papers required for accepted extended abstracts
- 10 March 2002: Final papers (camera-ready) required
- 17-21 June 2002: Conference
Topics
------
The conference will provide an international forum for researchers,
developers and users of reliable software technologies. Presentations
and discussions will cover applied and theoretical work currently
conducted to support the development and maintenance of software
systems. Participants will include practitioners and researchers from
industry, academia and government. There will be a special session on
embedded systems, including the use of Ada in this realm.
For papers, tutorials, and workshop proposals, the topics of interest
include, but are not limited to:
+ Embedded Systems (special session).
+ Management of Software Development and Maintenance: Methods,
Techniques and Tools.
+ Software Quality: Quality Management and Assurance, Risk Analysis,
Program Analysis, Verification, Validation, Testing of Software
Systems.
+ Software Development Methods and Techniques: Requirements Engineering,
Object-Oriented Technologies, Formal Methods, Software Management
Issues, Re-engineering and Reverse Engineering, Reuse.
+ Software Architectures: Patterns for Software Design and Composition,
Frameworks, Architecture-Centered Development, Component and Class
Libraries, Component Design.
+ Tools: CASE Tools, Software Development Environments, Compilers,
Browsers, Debuggers.
+ Kinds of Systems: Real-Time Systems, Distributed Systems, Fault-
Tolerant Systems, Information Systems, Safety-Critical and Secure
Systems.
+ Applications in Multimedia and Communications, Manufacturing,
Robotics, Avionics, Space, Health Care, Transportation, Industry.
+ Ada Language and Tools: Programming Techniques, Object-Oriented
Programming, New Approaches in Tool Support, Bindings and Libraries,
Evaluation and Comparison of Languages, Language Extension Proposals.
+ Ada Experience Reports: Experience Reports from Projects using Ada,
Management Approaches, Metrics, Comparisons with past or parallel
Experiences in non-Ada Projects.
+ Education and Training.
+ Case Studies and Experiments.
Submissions
-----------
Authors are invited to submit original contributions. Submissions
should be in English. An extended abstract (4-6 pages) or, preferably,
the full paper (up to 12 pages) should be sent using the Web submission
form. For more information please see the conference Web site:
http://www.ada-europe.org/conference2002.html
select "Call for Papers" and then "Web Submission Form".
Submissions should be in PDF, Postscript or ASCII format, and follow
the LNCS instructions (see 'Proceedings' below). Submissions by other
electronic formats, such as a word processor source file, or by fax are
not accepted. The Web submission form is the preferred procedure.
However, if you don't have access to the Internet, or you don't have an
appropriate Web browser, you may send your extended abstract or paper
by e-mail to the Program Co-Chair Johann Blieberger,
mailto:blieb@auto.tuwien.ac.at . If electronic submission is not
available, please send five paper copies. For e-mail or paper
submissions, the body of the electronic message or the first page
should identify the submission as a paper or extended abstract, and
should include in plain text: the title; name, current affiliation,
postal address, e-mail address, telephone and fax of each author; the
name of the designated contact person; a short abstract; and a list of
keywords ordered by relevance, including, whenever possible, topics and
subtopics taken from the list of topics of the conference. If the
paper is submitted in Postscript, please be sure to select the option
"optimize for portability" in your printer driver.
To enable publication of the accepted papers before the conference,
strict adherence to the dates of the schedule is essential. Authors of
extended abstracts must be prepared to submit a full version of their
paper before February 10, 2002.
Proceedings
-----------
The proceedings will be published in the Lecture Notes in Computer
Science (LNCS) series by Springer, and will be available at the
start of the conference. See the LNCS Authors Instructions page
( http://www.springer.de/comp/lncs/authors.html ).
Awards
------
There will be honorary awards for the best paper and the best
presentation. See the Ada-Europe Prizes page for previous winners:
http://www.ada-europe.org/prizes.html .
Call for Tutorials
------------------
A tutorial should address any of the topics of the theme of the
conference. A tutorial will last a half or a full day.
The proposals should include a title, an abstract, a description of the
topic, a detailed outline of the presentation, a description of the
presenter's teaching experience in general and with the proposed topic,
duration (half day or full day), level of the tutorial (introductory,
intermediate, or advanced), expected audience experience and
background. Proposals should be submitted by e-mail to the Tutorial
Chair Helge Hagenauer, mailto:hagenau@cosy.sbg.ac.at .
Full-day tutorial presenters get a free conference registration and
receive a fee for every paying participant in excess of 5; for half-day
tutorials, the benefits are also "half".
Call for Workshops
------------------
Half- and full-day workshops can be held to address timely issues or to
initiate a longer term effort on a topic of interest. Proposals should
be submitted by e-mail to the Program Co-Chair Alfred Strohmeier,
mailto:Alfred.Strohmeier@epfl.ch .
Exhibition
----------
The conference will be accompanied by a three-day commercial exhibition
on June 18, 19 and 20. Vendors of software products and services should
contact the Exhibition Chair Thomas Gruber,
mailto:thomas.gruber@arcs.ac.at , at their earliest convenience for
further information and to ensure their inclusion.
Organization
------------
Program Committee: see online CfP at conference Web site
[ see also below on this page -- dc ]
Conference Chair: Gerhard H. Schildt
Technical University Vienna, Dept. of Computer-Aided Automation
Treitlstr. 1-3, A-1040 Vienna, Austria
Schildt@auto.tuwien.ac.at
Program Co-Chairs: Johann Blieberger & Alfred Strohmeier
(JB) Technical University Vienna, Dept. of Computer-Aided Automation
Treitlstr. 1-3, A-1040 Vienna, Austria
Blieberger@auto.tuwien.ac.at
(AS) Swiss Fed.Inst.of Technology in Lausanne, Software Engineering Lab
CH-1015 Lausanne EPFL, Switzerland
Alfred.Strohmeier@epfl.ch
Tutorial Chair: Helge Hagenauer
University of Salzburg, Dept. Comp. Science & System Analysis
hagenau@cosy.sbg.ac.at
Exhibition Chair: Thomas Gruber
Austrian Research Centers Seibersdorf
Phone +43-5-0550-4106, Fax +43-5-0550-4199
thomas.gruber@arcs.ac.at
Publicity Chair: Dirk Craeynest
Offis nv/sa & K.U.Leuven
Weiveldlaan 41/32, B-1930 Zaventem, Belgium
Dirk.Craeynest@cs.kuleuven.ac.be
Local Organization Chair: Bernd Burgstaller
Technical University Vienna, Dept. of Computer-Aided Automation
Treitlstr. 1-3, A-1040 Vienna, Austria
Burgstaller@auto.tuwien.ac.at
------------------------------------------------------------------------
21 Oct 2001, BLIEB/AS/DC, based on 10/A4 + modif.
Our apologies if you receive multiple copies of this announcement.
Dirk Craeynest, Ada-Europe'2002 Publicity Chair
--
Dirk Craeynest | Email Dirk.Craeynest@cs.kuleuven.ac.be (AE'2002)
Offis - Aubay Group | Dirk.Craeynest@offis.be (work) | Ada-Belgium
Weiveldlaan 41/32 | Phone +32(2)725.40.25 | Ada-Europe
B-1930 Zaventem | +32(2)729.97.36 (work) | ACM SIGAda
Belgium | Fax +32(2)725.40.12 | Team Ada
*** Intl. Conference on Reliable Software Technologies - Ada-Europe'2002
*** June 17-21, 2002, Vienna, Austria *** http://www.ada-europe.org/ ***
From: Dirk Craeynest <dirk@bollie.cs.kuleuven.ac.be> Newsgroups: comp.lang.ada,fr.comp.lang.ada Subject: Call for Papers, Reliable Software Technologies, Ada-Europe'2002 Date: 10 Oct 2001 13:21:54 +0200 Organization: Ada-Belgium, c/o Dept. of Computer Science, K.U.Leuven Summary: Deadline for submissions is end of October! Keywords: Conference, tutorials, reliable software, Ada, LNCS, Vienna [ 158 lines deleted; see updated version above -- dc ] Program Committee ----------------- Ángel Álvarez, Technical University of Madrid, Spain Lars Asplund, Uppsala University, Sweden Neil Audsley, University of York, UK Stéphane Barbey, Paranor AG, Switzerland John Barnes, UK Guillem Bernat, University York, UK Maarten Boasson, University of Amsterdam, the Netherlands Ben Brosgol, Ada Core Technologies, USA Bernd Burgstaller, Technical University Vienna, Austria Ulf Cederling, Växsjö University, Sweden Roderick Chapman, Praxis Critical Systems Limited, UK Paolo Coppola, INTECS HRT, Italy Dirk Craeynest, Offis nv/sa & K.U.Leuven, Belgium Alfons Crespo, Universidad Politécnica de Valencia, Spain Peter Dencker, Aonix GmbH, Germany Raymond Devillers, Université Libre de Bruxelles, Belgium Brian Dobbing, Praxis Critical Systems Limited, UK Wolfgang Gellerich, IBM, Germany Jesús M. González-Barahona, Universidad Rey Juan Carlos, Spain Michael González Harbour, Universidad de Cantabria, Spain Helge Hagenauer, University of Salzburg, Austria Andrew Hately, Eurocontrol, Belgium Günter Hommel, Technische Universität Berlin, Germany Jan van Katwijk, Delft University of Technology, the Netherlands Hubert B. Keller, Forschungszentrum Karlsruhe, Germany Yvon Kermarrec, ENST Bretagne, France Jörg Kienzle, Swiss Fed. Inst. of Technology Lausanne, Switzerland Fabrice Kordon, Université Pierre & Marie Curie Paris, France Albert Llamosí, Universitat de les Illes Balears, Spain Kristina Lundqvist, Massachusetts Institute of Technology, USA Franco Mazzanti, Istituto di Elaborazione della Informazione, Italy John W. McCormick, University of Northern Iowa, USA Pierre Morere, Aonix, France Laurent Pautet, ENST Paris, France Erhard Plödereder, University of Stuttgart, Germany Juan A. de la Puente, Universidad Politécnica de Madrid, Spain Gerhard Rabe, TÜV Nord e.V., Hamburg, Germany Jean-Marie Rigaud, Université Paul Sabatier, Toulouse, France Alexander Romanovsky, University of Newcastle, UK Jean-Pierre Rosen, Adalog, France Bo I.Sandén, Colorado Technical University, USA Gerhard H. Schildt, Technical University Vienna, Austria Bernhard Scholz, Technical University Vienna, Austria Edmond Schonberg, New York University & ACT, USA Tullio Vardanega, European Space Research and Technology Centre, the Netherlands Stef Van Vlierberghe, Offis nv/sa, Belgium Andy Wellings, University of York, UK Ian Wild, Eurocontrol CFMU, Belgium Jürgen Winkler, Friedrich-Schiller-Universität, Germany Thomas Wolf, Paranor AG, Switzerland [ 72 lines deleted; see updated version above -- dc ]
To: ecoop-info@ecoop.org From: Dirk Craeynest <Dirk.Craeynest@cs.kuleuven.ac.be> Subject: Call for Papers, Reliable Software Technologies, Ada-Europe'2002 Date: Sun, 7 Oct 2001 15:29:32 +0200 (MEST) [ 285 lines deleted; see updated version above -- dc ]
The conference website is online at URL http://www.ada-europe.org/conference2002.html.
May 21, 2001
The Ada-Europe'2002 Conference will be held in Vienna, Austria.
The date of the event is the week of June 17 - 21, 2002.
Ada-Europe Board
Leuven, Belgium, May 14, 2001
![[Ada-Belgium]](/~dirk/.image/ada-belgium-icon.gif){kind=icon}
To the Ada-Belgium home page.
Last update: 2002/09/26.
Dirk Craeynest