![[Ada-Europe'2007 logo]](/~dirk/.image/ada-europe2007.jpg)
From: dirk@muspel.cs.kuleuven.be (Dirk Craeynest)
Newsgroups: comp.lang.ada,fr.comp.lang.ada,comp.lang.misc
Subject: Press Release - Reliable Software Technologies, Ada-Europe 2007
Date: Sun, 17 Jun 2007 16:16:17 +0200 (CEST)
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,Geneva,ISO
-----------------------------------------------------------------------
FINAL Call for Participation
*** UPDATED Program Summary ***
12th International Conference on
Reliable Software Technologies - Ada-Europe 2007
25 - 29 June 2007, Geneva, Switzerland
http://www.ada-europe.org/conference2007.html
*** Final Program available on conference web site. ***
*** Check out the tutorial program! ***
*** Printed proceedings available. ***
*** Register now! ***
-----------------------------------------------------------------------
Press release:
Ada-Europe Conference on Reliable Software Technologies
International experts meet in Geneva
Geneva (17 June 2007 16:00) - Ecole d'Ingénieurs de Genève together
with and sponsored by Ada-Europe, and in cooperation with ACM's Special
Interest Group in Ada, organize this year the "12th International
Conference on Reliable Software Technologies - Ada-Europe 2007" from
25 to 29 June in Geneva, Switzerland.
The conference offers 8 tutorials, a full technical program of
refereed papers, a collection of industrial presentations reflecting
current practice and challenges, four invited speakers, an industrial
exhibition, and a social program.
The 8 excellent tutorials on Monday and Friday cover a broad range of
topics: An Overview of Model Driven Engineering, Correctness by
Construction - a UML2 Profile Enforcing the Ravenscar Computational
Model, Verification and Validation for Reliable Software Systems,
Object-Oriented Programming in Ada 2005, Security by Construction,
Synchronous Design of Embedded Systems - the Esterel/Scade approach,
Building Interoperable Distributed Applications with PolyORB, and
Situational Method Engineering - Towards a Specific Method for each
System Development Project.
The technical program presents 18 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. 4498.
Four international experts present invited lectures on the topics:
Challenges for Reliable Software Design in Automotive Electronic
Control Units, Synchronous Techniques for Embedded Systems,
Perspectives on Next Generation Software Engineering, and Observation
Rooms for Program Execution Monitoring.
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 (TNI-Europe), Green Hills Software, the Hibachi project,
Praxis, Programming Research BV, Rapita Systems Ltd, and Telelogic.
The social program includes on Tuesday evening a visit of, and
reception at, the building of the World Meteorological Organization
(WMO, agency of the United Nations), and on Wednesday evening an
aperitif in the History of Sciences Museum followed by the conference
banquet at the restaurant La Perle du Lac, close to the Leman Lake.
The conference takes place at the Engineering School of Geneva (Ecole
d'Ingénieurs de Genève-EIG), 4 Rue Prairie, in the center of Geneva.
The full "Advance Program" is available on the conference web site and
directly at <http://adae2007.eig.ch/docs/avp.pdf>. Registration is
still open.
-------
Latest updates:
- The "Final Program" is available on the conference web site
<http://www.ada-europe.org/conference2007.html> and directly at
<http://adae2007.eig.ch/docs/finalp.pdf>.
- Check out the 8 tutorials in the advance program and at
<http://adae2007.eig.ch/tutorial.html>.
- The proceedings, published by Springer Verlag as Lecture Notes in
Computer Science Vol. 4498, are ready and will be distributed at
the conference. More info is available at
<http://www.springer.com/978-3-540-73229-7>.
- Registration fees are very reasonable and the registration
process is easy: fill out the 1-page form at
<http://adae2007.eig.ch/docs/register.pdf>
and fax it to the conference secretariat. Don't delay!
- For the latest information consult the conference web site.
-----------------------------------------------------------------------
Please circulate widely.
Our apologies if you receive multiple copies of this announcement.
Dirk.Craeynest@cs.kuleuven.be, Ada-Europe'2007 Publicity Co-chair
*** 12th Intl.Conf.on Reliable Software Technologies - Ada-Europe'2007
*** June 25-29, 2007 * Geneva, Switzerland * http://www.ada-europe.org
(V10.1)
From: dirk@muspel.cs.kuleuven.be (Dirk Craeynest)
Newsgroups: comp.lang.ada,fr.comp.lang.ada,comp.lang.misc
Subject: Ada-Europe 2007 early registration deadline approaching
Date: Mon, 28 May 2007 22:28:54 +0200 (CEST)
Organization: Ada-Europe, c/o Dept. of Computer Science, K.U.Leuven
Summary: Early registration discount until May 31
Keywords: Conference,tutorials,reliable software,Ada,industry,LNCS,Geneva,ISO
-----------------------------------------------------------------------
2nd Call for Participation
*** UPDATED Program Summary ***
12th International Conference on
Reliable Software Technologies - Ada-Europe 2007
25 - 29 June 2007, Geneva, Switzerland
http://www.ada-europe.org/conference2007.html
Organized, on behalf of Ada-Europe,
by Ecole d'Ingénieurs de Genève
in cooperation with ACM SIGAda
*** Early registration discount until May 31 ***
*** Advance Program available on conference web site ***
-----------------------------------------------------------------------
Ada-Europe organises annual international conferences since the early
80's. This is the 12th 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),
and Porto, Portugal ('06).
The 16-page Advance Program brochure with full information is available
on the conference web site; both the AP and the web site contain the
list of accepted papers and industrial presentations, as well as
detailed descriptions of tutorials and keynote presentations. To
download the AP, use the "Program" button on the conference home page
and then the "Pdf Program" link.
Direct URLs
- Advance Program (large file, 535 Kb):
<http://adae2007.eig.ch/docs/avp.pdf>
- conference registration form (small file, updated version):
<http://adae2007.eig.ch/docs/register.pdf>
<http://adae2007.eig.ch/docs/register.doc>
- accommodation and travel information:
<http://adae2007.eig.ch/local.html>
- one page mini-poster (456 Kb):
<http://www.cs.kuleuven.be/~dirk/ada-belgium/events/07/070625-aec-poster.pdf>
- two page mini-CfPart (120 Kb):
<http://www.cs.kuleuven.be/~dirk/ada-belgium/events/07/070625-aec-cfpart.pdf>
- info on proceedings:
<http://www.springeronline.com/978-3-540-73229-7>
Quick overview
- Mon 25 & Fri 29: tutorials
- Tue 26 - Thu 28: paper, industrial & vendor presentations, exhibition
Proceedings
- published by Springer-Verlag
- volume 4498 in Lecture Notes in Computer Science series (LNCS)
- will be available at conference
Program co-chairs
- Nabil Abdennadher, University of Applied Sciences Geneva, Switzerland
nabil.abdennadher@hesge.ch
- Fabrice Kordon, University Pierre & Marie Curie, France
fabrice.kordon@lip6.fr
Invited speakers
- Klaus D. Mueller-Glaser, University of Karlsruhe, Germany,
"Challenges for Reliable Software Design in Automotive
Electronic Control Units"
- Gerard Berry, Esterel Technologies, France,
"Synchronous Techniques for Embedded Systems"
- Ali Mili, New Jersey Institute of Technology, USA,
"Perspectives on Next Generation Software Engineering"
- Liviu Iftode, Rutgers University, USA,
"Observation Rooms for Program Execution Monitoring"
Tutorials (full day)
- "Security by Construction",
Rod Chapman, Praxis HIS, UK
- "Situational Method Engineering:
Towards a Specific Method for each System Development Project",
Jolita Ralyté, University of Geneva, Switzerland
Tutorials (half day)
- "An Overview of Model Driven Engineering",
William Bail, The MITRE Corporation, USA
- "Correctness by Construction:
a UML2 Profile Enforcing the Ravenscar Computational Model",
Tullio Vardanega, University of Padua, Italy
- "Object-Oriented Programming in Ada 2005",
Matthew Heaney, On2 Technologies, USA
- "Verification and Validation for Reliable Software Systems",
William Bail, The MITRE Corporation, USA
- "Synchronous Design of Embedded Systems: the Esterel/Scade approach",
Gerard Berry, Esterel Technologies, France
- "Building Interoperable Distributed Applications with PolyORB",
Thomas Quinot and Jérôme Hugues, AdaCore and ENST, France
Papers and Presentations
- 18 refereed technical papers on Ada 2005 and real-time systems,
verification and validation, testing, MDA and applications, MDA and
real-time, Ada 2005 general purpose programming, distributed systems
- 9 industrial presentations, on current practice and challenges
- authors from 11 countries: Australia, Austria, China, France,
Germany, Italy, Republic of Korea, Spain, Tunisia, UK, and USA
Exhibition
- 8 exhibitors already committed: AdaCore, Aonix, Ellidiss Software
(TNI-Europe), Green Hills Software, Hibachi project, Programming
Research BV, Rapita Systems Ltd, and Telelogic; others expressed
interest
- vendor presentation track for exhibitors
Social evening events
- Tuesday: visit of, and reception at, the building of the World
Meteorological Organization (WMO, agency of the United Nations)
- Wednesday: aperitif in the History of Sciences Museum; banquet
at the restaurant La Perle du Lac close to the Leman Lake
Registration
- early registration discount up to Thu May 31, 2007
- 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
- payment possible by bank transfer, check, or credit card
Please note that we strongly advice all participants to book early,
as June is a very busy period for hotels in Geneva.
For more info and latest updates see the conference web site at
<http://www.ada-europe.org/conference2007.html>.
-----------------------------------------------------------------------
Our apologies if you receive multiple copies of this announcement.
Please circulate widely.
Dirk.Craeynest@cs.kuleuven.be, Ada-Europe'2007 Publicity Co-chair
*** 12th Intl.Conf.on Reliable Software Technologies - Ada-Europe'2007
*** June 25-29, 2007 * Geneva, Switzerland * http://www.ada-europe.org
(V9.1)
Some material to help announce the Ada-Europe'2007 conference is available here in formats suitable for printing:
In addition, the 16-page advance program and the conference registration form are of course available on the conference web-site:
From: dirk@muspel.cs.kuleuven.be (Dirk Craeynest)
Newsgroups: comp.lang.ada,fr.comp.lang.ada,comp.lang.misc
Subject: 12th Int.Conf.on Reliable Software Technologies, Ada-Europe 2007
Date: Tue, 1 May 2007 08:09:29 +0200 (CEST)
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,Geneva,ISO
-----------------------------------------------------------------------
Call for Participation
*** PROGRAM SUMMARY ***
12th International Conference on
Reliable Software Technologies - Ada-Europe 2007
25 - 29 June 2007, Geneva, Switzerland
http://www.ada-europe.org/conference2007.html
Organized, on behalf of Ada-Europe,
by Ecole d'Ingénieurs de Genève
in cooperation with ACM SIGAda
*** Early registration discount until May 31 ***
*** Advance Program in PDF available on conference web site ***
-----------------------------------------------------------------------
Ada-Europe organises annual international conferences since the early
80's. This is the 12th 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),
and Porto, Portugal ('06).
The 16-page Advance Program brochure with full information is available
on the conference web site; both the AP and the web site contain the
list of accepted papers and industrial presentations, as well as
detailed descriptions of tutorials and keynote presentations. To
download the AP, use the "Program" button on the conference home page
and then the "Pdf Program" link.
Direct URLs
- Advance Program (large file, 535 Kb):
<http://adae2007.eig.ch/docs/avp.pdf>
- conference registration form (small file, updated version):
<http://adae2007.eig.ch/docs/register.pdf>
<http://adae2007.eig.ch/docs/register.doc>
- accommodation and travel information:
<http://adae2007.eig.ch/local.html>
Quick overview
- Mon 25 & Fri 29: tutorials
- Tue 26 - Thu 28: paper, industrial & vendor presentations, exhibition
Proceedings
- published by Springer-Verlag
- volume 4498 in Lecture Notes in Computer Science series (LNCS)
- will be available at conference
Program co-chairs
- Nabil Abdennadher, University of Applied Sciences Geneva, Switzerland
nabil.abdennadher@hesge.ch
- Fabrice Kordon, University Pierre & Marie Curie, France
fabrice.kordon@lip6.fr
Invited speakers
- Klaus D. Mueller-Glaser, University of Karlsruhe, Germany,
"Challenges for Reliable Software Design in Automotive
Electronic Control Units"
- Gerard Berry, Esterel Technologies, France,
"Synchronous Techniques for Embedded Systems"
- Ali Mili, New Jersey Institute of Technology, USA,
"Perspectives on Next Generation Software Engineering"
- Liviu Iftode, Rutgers University, USA,
"Observation Rooms for Program Execution Monitoring"
Tutorials (full day)
- "Security by Construction",
Rod Chapman, Praxis HIS, UK
- "Situational Method Engineering:
Towards a Specific Method for each System Development Project",
Jolita Ralyté, University of Geneva, Switzerland
Tutorials (half day)
- "An Overview of Model Driven Engineering",
William Bail, The MITRE Corporation, USA
- "Correctness by Construction:
a UML2 Profile Enforcing the Ravenscar Computational Model",
Tullio Vardanega, University of Padua, Italy
- "Object-Oriented Programming in Ada 2005",
Matthew Heaney, On2 Technologies, USA
- "Verification and Validation for Reliable Software Systems",
William Bail, The MITRE Corporation, USA
- "Synchronous Design of Embedded Systems: the Esterel/Scade approach",
Gerard Berry, Esterel Technologies, France
- "Building Interoperable Distributed Applications with PolyORB",
Thomas Quinot and Jérôme Hugues, AdaCore and ENST, France
Papers and Presentations
- 19 refereed technical papers on Ada 2005 and real-time systems,
verification and validation, testing, MDA and applications, MDA and
real-time, Ada 2005 general purpose programming, distributed systems
- 9 industrial presentations, on current practice and challenges
- authors from 11 countries: Australia, Austria, China, France,
Germany, Italy, Republic of Korea, Spain, Tunisia, UK, and USA
Exhibition
- 6 exhibitors already committed: AdaCore, Aonix, Ellidiss Software
(TNI-Europe), Green Hills Software, Telelogic, and Praxis; others
expressed interest
- vendor presentation track for exhibitors
Social evening events
- Tuesday: visit of, and reception at, the building of the World
Meteorological Organization (WMO, agency of the United Nations)
- Wednesday: aperitif in the History of Sciences Museum; banquet
at the restaurant La Perle du Lac close to the Leman Lake
Registration
- early registration discount up to Thu May 31, 2007
- 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
- payment possible by bank transfer, check, or credit card
Please note that we strongly advice all participants to book early,
as June is a very busy period for hotels in Geneva. We negotiated
specially reduced rates but you should book before 15th May 2007.
For more info and latest updates see the conference web site at
<http://www.ada-europe.org/conference2007.html>.
-----------------------------------------------------------------------
Our apologies if you receive multiple copies of this announcement.
Please circulate widely.
Dirk.Craeynest@cs.kuleuven.be, Ada-Europe'2007 Publicity Co-chair
*** 12th Intl.Conf.on Reliable Software Technologies - Ada-Europe'2007
*** June 25-29, 2007 * Geneva, Switzerland * http://www.ada-europe.org
(V8.1)
A 2-page Call for Participation to help announce the Ada-Europe'2007 conference is available in PDF format suitable for printing:
Date: Mon, 2 Apr 2007 12:08:53 -0400
From: Clyde Roby <roby@IDA.ORG>
Subject: SIGAda and Conferences reminder
To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG
Message for April 2007:
Don't forget about our annual SIGAda conference:
o SIGAda 2007
Washington, DC, USA
4-8 November 2007
http://www.acm.org/sigada/conf/sigada2007/
Don't forget about other upcoming Ada-related conferences:
o IRTAW-13 (13th International Real-Time Ada Workshop)
Woodstock, Vermont, USA
17-19 April 2007
http://www.adaresource.org/irtaw13/
o Systems & Software Technology Conference (SSTC) 2007
Tampa Bay, Florida, USA
18-21 June 2007
http://www.sstc-online.org/
o Ada-Europe 2007
Geneva, Switzerland
25-29 June 2007
http://www.ada-europe.org/conference2007.html or
http://adae2007.eig.ch/
and:
o ITiCSE 2007 (Innovation and Technology in Computer Science Education)
Dundee, Scotland
25-27 June 2007
http://iticse2007.computing.dundee.ac.uk/
o DASIA (DAta Systems In Aerospace) 2007
Naples, Italy
29 May to 1 June 2007
http://perso.orange.fr/eurospace/dasia.html
o Principles of Distributed Computing (PODC) 2007
Portland, Oregon, USA
12-15 August 2007
http://www.podc.org/
o SIGCSE 2008
o ITiCSE (Innovation and Technology in Computer Science Education) 2008
School of Industrial Engineering, Madrid, Spain
June 2008
[...]
Clyde Roby, SIGAda Secretary
Date: Fri, 2 Feb 2007 06:23:18 -0500
From: Clyde Roby <roby@IDA.ORG>
Subject: SIGAda and Conferences reminder
To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG
Message for February 2007:
Don't forget about our annual SIGAda conference:
o SIGAda 2007
Washington, DC, USA
4-8 November 2007
http://www.acm.org/sigada/conf/sigada2007/
Don't forget about other upcoming Ada-related conferences:
o [ duplicates removed; see above -- dc ]
o Ada-Europe 2007
Geneva, Switzerland
25-29 June 2007
http://www.ada-europe.org/conference2007.html or
http://adae2007.eig.ch/
and:
o SIGCSE 2007
Covington, KY, USA
7-10 March 2007
http://www.cs.potsdam.edu/sigcse07/
o [ duplicates removed; see above -- dc ]
[...]
Clyde Roby, SIGAda Secretary
From: dirk@muspel.cs.kuleuven.be (Dirk Craeynest)
Newsgroups: comp.lang.ada,fr.comp.lang.ada,comp.lang.misc
Subject: FINAL CfIP, Conference Reliable Software Technologies, Ada-Europe 2007
Date: Sun, 7 Jan 2007 21:14:40 +0100 (CET)
Organization: Ada-Europe, c/o Dept. of Computer Science, K.U.Leuven
Summary: 3 days until submission deadline!
Keywords: Conference,tutorials,reliable software,Ada,industry,LNCS,Geneva,ISO
-----------------------------------------------------------------------
Final Call for Industrial Presentations
12th International Conference on
Reliable Software Technologies - Ada-Europe 2007
25 - 29 June 2007, Geneva, Switzerland
http://www.ada-europe.org/conference2007.html
*** DEADLINE Wednesday 10 JANUARY 2007 ***
For more information please see the conference Web site
and select "Call for Industrial Presentations".
-----------------------------------------------------------------------
The 12th International Conference on Reliable Software Technologies
(Ada-Europe 2007) will take place in Geneva, Switzerland. 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 conferences, 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 Dominik Madon (dominik.madon@hesge.ch) by January 10th
2007. 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 8th May
2007; 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
--------
10 January 2007: Submission of one-page presentation overview
31 January 2007: Notification to authors
8 May 2007: Presentation material required
25-29 June 2007: Conference
-----------------------------------------------------------------------
Our apologies if you receive multiple copies of this announcement.
Please circulate widely.
Dirk.Craeynest@cs.kuleuven.be, Ada-Europe'2007 Publicity Co-chair
*** 12th Intl.Conf.on Reliable Software Technologies - Ada-Europe'2007
*** June 25-29, 2007 * Geneva, Switzerland * http://www.ada-europe.org
(V7.1)
From: dirk@muspel.cs.kuleuven.be (Dirk Craeynest)
Newsgroups: comp.lang.ada,fr.comp.lang.ada,comp.lang.misc
Subject: 2nd CfIP, Reliable Software Technologies, Ada-Europe 2007
Date: Sun, 24 Dec 2006 15:58:02 +0100 (CET)
Organization: Ada-Europe, c/o Dept. of Computer Science, K.U.Leuven
Summary: 17 days until submission deadline!
Keywords: Conference,tutorials,reliable software,Ada,industry,LNCS,Geneva,ISO
This call for industrial presentations is specifically targeted
to those of you who either work in industrial projects (possibly
Ada-related) 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 get a one-page presentation overview
submitted by January 10th, i.e. 2.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'2007 Publicity Co-chair
-----------------------------------------------------------------------
2nd Call for Industrial Presentations
12th International Conference on
Reliable Software Technologies - Ada-Europe 2007
25 - 29 June 2007, Geneva, Switzerland
http://www.ada-europe.org/conference2007.html
Organized, on behalf of Ada-Europe,
by Ecole d'Ingénieurs de Genève
in cooperation with ACM SIGAda
*** CfIP in HTML/PDF on web site ***
*** DEADLINE Wednesday 10 JANUARY 2007 ***
-----------------------------------------------------------------------
General Information
-------------------
The 12th International Conference on Reliable Software Technologies
(Ada-Europe 2007) will take place in Geneva, Switzerland. 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 conferences, 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
--------
10 January 2007: Submission of presentation proposals
31 January 2007: Notification to authors
8 May 2007: Presentation material required
25-29 June 2007: Conference
Submission of Presentations
---------------------------
Presenters are invited to submit a one-page overview of the proposed
presentation to Dominik Madon (dominik.madon@hesge.ch) by January 10th
2007. 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 8th May
2007; 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.
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 Neville Rowden (neville.rowden@siemens.com) 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
- Distributed Systems: Reliability, Security, Trust and Safety in
Large Scale Distributed Platforms
- Mainstream and Emerging Applications: Multimedia and Communications,
Manufacturing, Robotics, Avionics, Space, Health Care, Transportation
- Ada Language and Technology: Programming Techniques, Object-Oriented,
Concurrent, 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
Organizing Committee
--------------------
Conference Chair
Nabil Abdennadher,
University of Applied Sciences, Geneva, Switzerland
nabil.abdennadher@hesge.ch
Industrial Committee Chair
Dominik Madon
University of Applied Sciences, Geneva, Switzerland
dominik.madon@hesge.ch
Industrial Committee Members
Bouali Amar, Esterel Technologies
Chapman Rod, Praxis HIS
Denker Peter, Parasoft GmbH
Devuns Olivier, Aonix
Gasperoni Franco, AdaCore
Leroy Pascal, IBM Rational
Stråhle Rei, Saab Systems
Thom Francis, Artisan Software
Abdennadher Nabil, Conference Chair
Plödereder Erhard, Ada-Europe (President)
Craeynest Dirk, Ada-Europe (Vice-President)
Conference Organization
-----------------------
Conference Chair
Nabil Abdennadher,
University of Applied Sciences, Geneva, Switzerland
nabil.abdennadher@hesge.ch
Program Co-chairs
Nabil Abdennadher
University of Applied Sciences, Geneva, Switzerland
nabil.abdennadher@hesge.ch
Fabrice Kordon
University Pierre & Marie Curie, France
Fabrice.kordon@lip6.fr
Tutorial Chair
Dominik Madon
University of Applied Sciences, Geneva, Western Switzerland
dominik.madon@hesge.ch
Exhibition Chair
Neville Rowden, Siemens Switzerland
neville.rowden@siemens.com
Publicity Co-chairs
Ahlan Marriott, White-elephant, Switzerland
Ada@White-elephant.ch
Dirk Craeynest, Aubay Belgium & K.U.Leuven, Belgium
Dirk.Craeynest@cs.kuleuven.be
Local Chair
Régis Boesch, University of Applied Sciences, Geneva, Switzerland
regis.boesch@hesge.ch
-----------------------------------------------------------------------
Our apologies if you receive multiple copies of this announcement.
Please circulate widely.
Dirk.Craeynest@cs.kuleuven.be, Ada-Europe'2007 Publicity Co-chair
*** 12th Intl.Conf.on Reliable Software Technologies - Ada-Europe'2007
*** June 25-29, 2007 * Geneva, Switzerland * http://www.ada-europe.org
(V6.1)
Date: Mon, 4 Dec 2006 06:40:02 -0500 From: Clyde Roby <roby@IDA.ORG> Subject: SIGAda and Conferences reminder To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG Message for December 2006: [ deleted; see updated version above -- dc ]
From: dirk@muspel.cs.kuleuven.ac.be (Dirk Craeynest)
Newsgroups: comp.lang.ada,fr.comp.lang.ada,comp.lang.misc
Subject: C.f.Industrial Pres., Reliable Software Technologies, Ada-Europe 2007
Date: 4 Dec 2006 21:11:13 +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,Geneva,ISO
-----------------------------------------------------------------------
Call for Industrial Presentations
12th International Conference on
Reliable Software Technologies - Ada-Europe 2007
25 - 29 June 2007, Geneva, Switzerland
http://www.ada-europe.org/conference2007.html
Organized, on behalf of Ada-Europe,
by Ecole d'Ingénieurs de Genève
in cooperation with ACM SIGAda
*** CfIP in HTML/PDF on web site ***
-----------------------------------------------------------------------
[ 176 lines deleted; see updated version above -- dc ]
From: dirk@muspel.cs.kuleuven.ac.be (Dirk Craeynest)
Newsgroups: comp.lang.ada,fr.comp.lang.ada,comp.lang.misc
Subject: FINAL CfP, Reliable Software Technologies, Ada-Europe 2007
Date: 21 Nov 2006 21:12:54 +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,Geneva,ISO
-----------------------------------------------------------------------
FINAL Call for Papers
12th International Conference on
Reliable Software Technologies - Ada-Europe 2007
25 - 29 June 2007, Geneva, Switzerland
http://www.ada-europe.org/conference2007.html
*** DEADLINE Sunday 26 NOVEMBER ***
The 12th International Conference on Reliable Software
Technologies (Ada-Europe 2007) will take place in Geneva,
Switzerland. 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.
26 November 2006 - 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'2007 Publicity Co-chair
*** 12th Intl.Conf.on Reliable Software Technologies - Ada-Europe'2007
*** June 25-29, 2007 * Geneva, Switzerland * http://www.ada-europe.org
(V4.1)
From: dirk@apollo.cs.kuleuven.ac.be (Dirk Craeynest)
Newsgroups: comp.lang.ada,fr.comp.lang.ada,comp.lang.misc
Subject: Ada-Europe 2007 submission deadline approaching
Date: 9 Nov 2006 21:15:13 +0100
Organization: Ada-Europe, c/o Dept. of Computer Science, K.U.Leuven
Summary: 17 days until submission deadline!
Keywords: Conference,tutorials,reliable software,Ada,LNCS,Geneva,ISO
-----------------------------------------------------------------------
3rd CALL FOR PAPERS
12th International Conference on
Reliable Software Technologies - Ada-Europe 2007
25 - 29 June 2007, Geneva, Switzerland
http://www.ada-europe.org/conference2007.html
Organised, on behalf of Ada-Europe,
by Ecole d'Ingénieurs de Genève
in cooperation with ACM SIGAda (approval pending)
*** DEADLINE 26 NOVEMBER ***
*** Web Submission Form Available Shortly ***
-----------------------------------------------------------------------
Ada-Europe organizes annual international conferences since the early
80's. This is the 12th 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),
Porto, Portugal ('06).
General Information
-------------------
The 12th International Conference on Reliable Software Technologies
(Ada-Europe 2007) will take place in Geneva, Switzerland. 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
--------
26 November 2006: Submission of papers, workshop/tutorial proposals
26 January 2007: Notification to authors
26 February 2007: Camera-ready papers required
25-29 June 2007: 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
- Distributed Systems: Reliability, Security, Trust and Safety in
Large Scale Distributed Platforms
- Mainstream and Emerging Applications: Multimedia and Communications,
Manufacturing, Robotics, Avionics, Space, Health Care, Transportation
- Ada Language and Technology: Programming Techniques, Object-Oriented,
Concurrent, 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 Nabil Abdennadher, whose
address details are on this call as well as on the conference Home page.
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.
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 26, 2007*. 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.
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 Dominik Madon. 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 Nabil Abdennadher. 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 Neville Rowden 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
Nabil ABdennadher for details.
Organizing Committee
--------------------
Conference Chair
Nabil Abdennadher
University of Applied Sciences, Geneva, Switzerland
nabil.abdennadher@hesge.ch
Program Co-Chairs
Nabil Abdennadher
University of Applied Sciences, Geneva, Switzerland
nabil.abdennadher@hesge.ch
Fabrice Kordon
University Pierre & Marie Curie, France
Fabrice.kordon@lip6.fr
Tutorial Chair
Dominik Madon
University of Applied Sciences, Geneva, Western Switzerland
dominik.madon@hesge.ch
Exhibition Chair
Neville Rowden, Siemens Switzerland
neville.rowden@siemens.com
Publicity Chair
Ahlan Marriott, White-elephant, Switzerland
Ada@White-elephant.ch
Dirk Craeynest, Aubay Belgium & K.U.Leuven, Belgium
Dirk.Craeynest@cs.kuleuven.be
Local Chair
Régis Boesch, University of Applied Sciences, Geneva, Switzerland
regis.boesch@hesge.ch
Program Committee
-----------------
Abdennadher Nabil, University of Applied Sciences, West. Switzerland
Alonso Alejandro, Universidad Politécnica de Madrid, Spain
Asplund Lars, Mälardalens Högskola, Sweden
Barnes Janet, Praxis High Integrity Systems, UK
Blieberger Johann, Technische Universität Wien, Austria
Boasson Maartin, University of Amsterdam, the Netherlands
Burgstaller Bernd, University of Sydney, Australia
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
Hadded Serge, Université Paris-Dauphine, France
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
Lundqvist Kristina, MIT, USA
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
Moldt Daniel, University of Hamburg, Germany
Pautet Laurent, Telecom Paris, France
Petrucci Laure, LIPN, Université Paris 13, 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
Seinturier Lionel, INRIA Lille, France
Shing Man-Tak, Naval Postgraduate School, 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
Zaffalon Luigi, University of Applied Sciences, West. Switzerland
-----------------------------------------------------------------------
Our apologies if you receive multiple copies of this announcement.
Please circulate widely.
Dirk.Craeynest@cs.kuleuven.be, Ada-Europe'2007 Publicity Co-chair
*** 12th Intl.Conf.on Reliable Software Technologies - Ada-Europe'2007
*** June 25-29, 2007 * Geneva, Switzerland * http://www.ada-europe.org
(V3.1)
From: dirk@apollo.cs.kuleuven.ac.be (Dirk Craeynest)
Newsgroups: comp.lang.ada,fr.comp.lang.ada,comp.lang.misc
Subject: 2nd CfP Conf. Reliable Software Technologies, Ada-Europe 2007
Date: 23 Oct 2006 21:55:23 +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,Geneva,ISO
-----------------------------------------------------------------------
2nd CALL FOR PAPERS
12th International Conference on
Reliable Software Technologies - Ada-Europe 2007
25 - 29 June 2007, Geneva, Switzerland
http://www.ada-europe.org/conference2007.html
Organised, on behalf of Ada-Europe,
by Ecole d'Ingénieurs de Genève
in cooperation with ACM SIGAda (approval pending)
*** CfP in HTML/PDF on web site ***
-----------------------------------------------------------------------
[ 246 lines deleted; see updated version above -- dc ]
Date: Mon, 2 Oct 2006 06:54:05 -0400
From: Clyde Roby <roby@IDA.ORG>
Subject: SIGAda and Conferences reminder
To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG
Message for October 2006:
Don't forget about our upcoming Ada-related conferences:
o SIGAda 2006
Albuquerque, New Mexico USA
12-16 November 2006
http://www.acm.org/sigada/conf/sigada2006/
o [ duplicates removed; see above -- dc ]
and:
o [ duplicates removed; see above -- dc ]
[...]
Clyde Roby, SIGAda Secretary
Date: Tue, 5 Sep 2006 06:11:00 -0400 From: Clyde Roby <roby@IDA.ORG> Subject: SIGAda and Conferences reminder To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG Message for September 2006: [ deleted; see updated version above -- dc ]
Date: Wed, 2 Aug 2006 06:04:46 -0400 From: Clyde Roby <roby@IDA.ORG> Subject: SIGAda and Conferences reminder To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG Message for August 2006: [ deleted; see updated version above -- dc ]
Date: Mon, 3 Jul 2006 06:50:57 -0400 From: Clyde Roby <roby@IDA.ORG> Subject: SIGAda and Conferences reminder To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG Message for July 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: CFP 12th Conf. Reliable Software Technologies, Ada-Europe 2007 Date: 30 Jun 2006 00:08:46 +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,Geneva,ISO [ 265 lines deleted; see updated version above -- dc ]
The Ada-Europe'2007 Conference will be held in Geneva, Switzerland, in the week of June 25-29, 2007.
The conference website, including the Call for Papers, will be online shortly at URL http://www.ada-europe.org/conference2007.html.
Ada-Europe Board
Porto, Portugal, June 6, 2006
![[Ada-Belgium]](/~dirk/.image/ada-belgium-icon.gif){kind=icon}
To the Ada-Belgium home page.
Last update: 2007/06/17.
Dirk Craeynest