![[Ada-Europe'2010 logo]](/~dirk/.image/ada-europe2010-banner-small.jpg)
From: Maciej Sobczak <see.my.homepage@gmail.com> Newsgroups: comp.lang.ada Subject: One video from AE10 conference Date: Thu, 24 Jun 2010 00:56:48 -0700 (PDT) For those of you who could not attend the last Ada-Europe conference in Valencia, I have uploaded one industrial presentation video: http://www.youtube.com/view_play_list?p=D5101676E726E8C9 I was told that all presentations were recorded, so maybe with time more of them will become publicly available. I'm glad to create higher pressure on the organizers by doing it first. ;-) -- Maciej Sobczak * http://www.inspirel.com YAMI4 - Messaging Solution for Distributed Systems http://www.inspirel.com/yami4
From: dirk@asgard.cs.kuleuven.be (Dirk Craeynest)
Newsgroups: comp.lang.ada,fr.comp.lang.ada,comp.lang.misc
Subject: Press Release - Reliable Software Technologies, Ada-Europe 2010
Date: Sun, 6 Jun 2010 23:12:42 +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,industry,reliability,Ada,LNCS,Valencia,Spain
-----------------------------------------------------------------------
FINAL Call for Participation
*** UPDATED Program Summary ***
15th International Conference on
Reliable Software Technologies - Ada-Europe 2010
14 - 18 June 2010, Valencia, Spain
http://www.ada-europe.org/conference2010
*** 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 Valencia
Valencia (6 June 2010 23:00) - Ada-Europe, in cooperation with ACM's
Special Interest Group on Ada, organizes the "15th International
Conference on Reliable Software Technologies - Ada-Europe 2010"
from 14 to 18 June in Valencia, Spain.
The conference offers two days of tutorials, three invited speakers, a
full technical program of refereed papers, a collection of industrial
presentations, a special session on Software Vulnerabilities and
Security, an industrial exhibition, and a social program.
The 8 excellent tutorials on Monday and Friday cover a broad range
of topics: Developing High-Integrity Systems with GNATforLEON/ORK+;
Software Design Concepts and Pitfalls; Using Object-Oriented
Technologies in Secure Systems; Hypervisor Technology for Building
Safety-Critical Systems: XtratuM; How to Optimize Reliable Software;
Developing Web-Aware Applications in Ada with AWS; SPARK: The Libre
Language and Toolset for High-Assurance Software; C#, .NET and Ada:
Keeping the Faith in a Language-Agnostic Environment.
Three eminent keynote speakers have been selected to open each day of
the core conference program. Theodore Baker (Florida State University,
USA), a leading researcher in Ada and Real-Time systems, will examine
the state of the art in multiprocessor real-time scheduling in his talk
"What to Make of Multicore Processors for Reliable Real-Time Systems?".
Pedro Albertos (Universidad Politécnica de Valencia, Spain), a most
authoritative member of the Automatic Control community, will explore
the relationship between implementation and performance of control
algorithms in a talk entitled "Control Co-Design: Algorithms and their
Implementation". James Sutton (Lockheed Martin, USA), a renowned
expert software architect, in his talk entitled "Ada: Made for the 3.0
World" will explore how Ada is prepared for a world that makes peace
with complexity and chaos, and learns to use them to its advantage.
The technical program presents 17 refereed and carefully selected
papers on the latest research, new tools, applications and industrial
practice and experience, a collection of 11 industrial presentations
reflecting current practice and challenges, and an invited session on
the hot topic of software vulnerabilities and security. Springer
Verlag publishes the proceedings of the conference, as LNCS Vol. 6106.
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, Altran Praxis,
Atego (formerly Aonix), and Ellidiss Software (formerly TNI Europe).
The social program includes on Tuesday evening a welcome reception
at the Jardí Botànic, the botanical garden within walking distance
from the conference venue, and on Wednesday evening a bus trip to
and conference banquet in the Masía Xamandreu, a beautiful Valencian
country house built in the 19th century.
The venue for the Ada-Europe 2010 conference is the Fundación
Universidad-Empresa - ADEIT. It is a modern building located behind
Santa Catalina Church, in the historical city centre of Valencia and
very close to most historic buildings and monuments. The full program
is available on the conference web site. Registration is still open.
-------
Latest updates:
- The 12-page "Final Program" is available on the conference web site
<http://www.ada-europe.org/conference2010>, and directly at
<http://www.grupodicom.com/ae2010/AE-2010%20Final%20Program.pdf>.
- Check out the 8 tutorials in the final program (PDF) or
via the hyperlinks in the tutorial schedule on
<http://www.grupodicom.com/ae2010/conferenceprogram.html>.
- The proceedings, published by Springer Verlag as Lecture Notes in
Computer Science Vol. 6106, are ready and will be distributed at
the conference. More info is available at
<http://www.springeronline.com/978-3-642-13549-1>.
- Registration fees are very reasonable and the registration can
be done on-line (preferred) or by faxing a filled-out form to
the conference secretariat. For all details, see
<http://www.grupodicom.com/ae2010/registration.html>. 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, Ada-Europe'2010 Publicity Chair
Dirk.Craeynest@cs.kuleuven.be
*** 15th Intl.Conf.on Reliable Software Technologies - Ada-Europe'2010
*** June 14-18, 2010 *** Valencia, Spain *** http://www.ada-europe.org
(V8.1)
From: dirk@asgard.cs.kuleuven.be (Dirk Craeynest)
Newsgroups: comp.lang.ada,fr.comp.lang.ada,comp.lang.misc
Subject: Ada-Europe 2010 early registration deadline approaching
Date: Sun, 16 May 2010 22:24:06 +0200 (CEST)
Organization: Ada-Europe, c/o Dept. of Computer Science, K.U.Leuven
Summary: Early registration discount until May 24.
Keywords: Conference,tutorials,industry,reliability,Ada,LNCS,Valencia,Spain
-----------------------------------------------------------------------
2nd Call for Participation
*** UPDATED Program Summary ***
15th International Conference on
Reliable Software Technologies - Ada-Europe 2010
14 - 18 June 2010, Valencia, Spain
http://www.ada-europe.org/conference2010
Organized by Ada-Europe,
in cooperation with ACM SIGAda
*** Early registration discount until May 24 ***
*** Advance Program available on conference web site ***
-----------------------------------------------------------------------
Ada-Europe organizes annual international conferences since the early
80's. This is the 15th event in the Reliable Software Technologies
series: the previous ones were 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), Geneva, Switzerland ('07), Venice, Italy ('08),
and Brest, France ('09).
The 16-page Advance Program (AP) brochure with full information is
available on the conference web site. The AP contains the list of
accepted papers and industrial presentations, as well as detailed
descriptions of all tutorials and keynote presentations. In the menu
on the home page first select "Conference Program" and then "Click here
to download the Advance Program in PDF". Also check the conference web
site for registration, accommodation and travel information.
Quick overview
- Mon 14 & Fri 18: tutorials
- Tue 15 - Thu 17: paper, industrial & vendor presentations, exhibition
Proceedings
- published by Springer
- volume 6106 in Lecture Notes in Computer Science series (LNCS)
- will be available at conference
Program co-chairs
- Jorge Real, Universidad Politécnica de Valencia, Spain
jorge@disca.upv.es
- Tullio Vardanega, Università di Padova, Italy
tullio.vardanega@math.unipd.it
Invited speakers
- Theodore Baker, Florida State University, USA, "What to Make
of Multicore Processors for Reliable Real-Time Systems?"
- Pedro Albertos, Universidad Politécnica de Valencia, Spain,
"Control Co-Design: Algorithms and their Implementation"
- James Sutton, Lockheed Martin, USA,
"Ada: Made for the 3.0 World"
Tutorials (full day)
- "SPARK: The Libre Language and Toolset for High-Assurance Software",
Roderick Chapman, Altran Praxis Ltd., UK
- "C#, .NET and Ada: Keeping the Faith in a Language-Agnostic
Environment", Benjamin Brosgol & Jérôme Lambourg, AdaCore, USA
Tutorials (half day)
- "Developing High-Integrity Systems with GNATforLEON/ORK+",
Juan Antonio de la Puente & Juan Zamorano,
Universidad Politécnica de Madrid, Spain
- "Software Design Concepts and Pitfalls",
William Bail, The MITRE Corporation, USA
- "Using Object-Oriented Technologies in Secure Systems",
Jean-Pierre Rosen, Adalog, France
- "Hypervisor Technology for Building Safety-Critical Systems:
XtratuM", Ismael Ripoll & Alfons Crespo,
Universidad Politécnica de Valencia, Spain
- "How to Optimize Reliable Software",
Ian Broster, Rapita Systems, UK
- "Developing Web-Aware Applications in Ada with AWS",
Jean-Pierre Rosen, Adalog, France
Papers and Presentations
- 17 refereed technical papers in sessions on Multicores and Ada,
Software Dependability, Critical Systems, Real-Time Systems,
Language Technology, Distribution and Persistency
- 11 industrial presentations on current practice and challenges
- invited session on Software Vulnerabilities and Security
- submissions by authors from 20 countries, and accepted contributions
from Australia, Austria, Canada, Denmark, Germany, Italy, Japan,
Korea, Poland, Portugal, Spain, Sweden, Switzerland, UK, USA
Exhibition
- 4 exhibitors already committed: AdaCore, Altran Praxis, Atego
(ex-Aonix), and Ellidiss Software; others expressed interest
- vendor presentation track for exhibitors
Social evening events
- Tuesday: welcome reception at the Jardí Botànic, the botanical garden
within walking distance from the conference venue
- Wednesday: bus trip to and conference banquet in the Masía Xamandreu,
a beautiful Valencian country house built in the 19th century
Registration
- early registration discount up to Mon May 24, 2010
- additional discount for academia, Ada-Europe and ACM SIGAda members
- registration includes copy of printed proceedings at event
- includes coffee breaks and lunches
- three day conference registration includes social events
- payment possible by bank transfer or credit card
Valencia is a tourist attraction at all times, and there are also other
events taking place on the same dates as the conference. Therefore we
recommend booking your accommodation as soon as possible.
For more info and latest updates see the conference web site at
<http://www.ada-europe.org/conference2010>.
-----------------------------------------------------------------------
Our apologies if you receive multiple copies of this announcement.
Please circulate widely.
Dirk.Craeynest@cs.kuleuven.be, Ada-Europe'2010 Publicity Chair
*** 15th Intl.Conf.on Reliable Software Technologies - Ada-Europe'2010
*** June 14-18, 2010 *** Valencia, Spain *** http://www.ada-europe.org
(V7.1)
From: dirk@asgard.cs.kuleuven.be (Dirk Craeynest)
Newsgroups: comp.lang.ada,fr.comp.lang.ada,comp.lang.misc
Subject: 15th Int.Conf. Reliable Software Technologies, Ada-Europe 2010
Date: Mon, 12 Apr 2010 23:14:04 +0200 (CEST)
Organization: Ada-Europe, c/o Dept. of Computer Science, K.U.Leuven
Summary: Program information is online. Registration has started.
Keywords: Conference,tutorials,industry,reliability,Ada,LNCS,Valencia,Spain
-----------------------------------------------------------------------
Call for Participation
*** PROGRAM SUMMARY ***
15th International Conference on
Reliable Software Technologies - Ada-Europe 2010
14 - 18 June 2010, Valencia, Spain
http://www.ada-europe.org/conference2010
Organized by Ada-Europe,
in cooperation with ACM SIGAda
*** Early registration discount until May 24 ***
*** Advance Program available on conference web site ***
-----------------------------------------------------------------------
Ada-Europe organizes annual international conferences since the early
80's. This is the 15th event in the Reliable Software Technologies
series: the previous ones were 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), Geneva, Switzerland ('07), Venice, Italy ('08),
and Brest, France ('09).
The 16-page Advance Program (AP) brochure with full information is
available on the conference web site. The AP contains the list of
accepted papers and industrial presentations, as well as detailed
descriptions of all tutorials and keynote presentations. In the menu
on the home page first select "Conference Program" and then "Click here
to download the Advance Program in PDF". Also check the conference web
site for registration, accommodation and travel information.
Quick overview
- Mon 14 & Fri 18: tutorials
- Tue 15 - Thu 17: paper, industrial & vendor presentations, exhibition
Proceedings
- published by Springer
- volume 6106 in Lecture Notes in Computer Science series (LNCS)
- will be available at conference
Program co-chairs
- Jorge Real, Universidad Politécnica de Valencia, Spain
jorge@disca.upv.es
- Tullio Vardanega, Università di Padova, Italy
tullio.vardanega@math.unipd.it
Invited speakers
- Theodore Baker, Florida State University, USA, "What to Make
of Multicore Processors for Reliable Real-Time Systems?"
- Pedro Albertos, Universidad Politécnica de Valencia, Spain,
"Control Co-Design: Algorithms and their Implementation"
- James Sutton, Lockheed Martin, USA,
"Ada: Made for the 3.0 World"
Tutorials (full day)
- "MAST: Predicting Response Times in Event-Driven Real-Time Systems",
Michael González-Harbour, Universidad de Cantabria, Spain
- "SPARK: The Libre Language and Toolset for High-Assurance Software",
Roderick Chapman, Altran Praxis Ltd., UK
- "C#, .NET and Ada: Keeping the Faith in a Language-Agnostic
Environment", Benjamin Brosgol & Jérôme Lambourg, AdaCore, USA
Tutorials (half day)
- "Developing High-Integrity Systems with GNATforLEON/ORK+",
Juan Antonio de la Puente & Juan Zamorano,
Universidad Politécnica de Madrid, Spain
- "Software Design Concepts and Pitfalls",
William Bail, The MITRE Corporation, USA
- "Using Object-Oriented Technologies in Secure Systems",
Jean-Pierre Rosen, Adalog, France
- "Hypervisor Technology for Building Safety-Critical Systems:
XtratuM", Ismael Ripoll & Alfons Crespo,
Universidad Politécnica de Valencia, Spain
- "How to Optimize Reliable Software",
Ian Broster, Rapita Systems, UK
- "Developing Web-Aware Applications in Ada with AWS",
Jean-Pierre Rosen, Adalog, France
Papers and Presentations
- 17 refereed technical papers in sessions on Multicores and Ada,
Software Dependability, Critical Systems, Real-Time Systems,
Language Technology, Distribution and Persistency
- 11 industrial presentations on current practice and challenges
- submissions by authors from 20 countries, and accepted contributions
from Australia, Austria, Canada, Denmark, Germany, Italy, Japan,
Korea, Poland, Portugal, Spain, Sweden, Switzerland, UK, USA
Exhibition
- 4 exhibitors already committed: AdaCore, Altran Praxis, Atego
(ex-Aonix), and Ellidiss Software; others expressed interest
- vendor presentation track for exhibitors
Social evening events
- Tuesday: welcome reception at the Jardí Botànic, the botanical garden
within walking distance from the conference venue
- Wednesday: bus trip to and conference banquet in the Masía Xamandreu,
a beautiful Valencian country house built in the 19th century
Registration
- early registration discount up to Mon May 24, 2010
- additional discount for academia, Ada-Europe and ACM SIGAda members
- registration includes copy of printed proceedings at event
- includes coffee breaks and lunches
- three day conference registration includes social events
- payment possible by bank transfer or credit card
Valencia is a tourist attraction at all times, and there are also other
events taking place on the same dates as the conference. Therefore we
recommend booking your accommodation as soon as possible.
For more info and latest updates see the conference web site at
<http://www.ada-europe.org/conference2010>.
-----------------------------------------------------------------------
Our apologies if you receive multiple copies of this announcement.
Please circulate widely.
Dirk.Craeynest@cs.kuleuven.be, Ada-Europe'2010 Publicity Chair
*** 15th Intl.Conf.on Reliable Software Technologies - Ada-Europe'2010
*** June 14-18, 2010 *** Valencia, Spain *** http://www.ada-europe.org
(V6.1)
Date: Tue, 2 Feb 2010 11:35:45 -0500
From: "Roby, Clyde G" <roby@IDA.ORG>
Subject: Monthly Reminder for SIGAda
To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG
Message for February 2010:
We hope that you plan to attend our annual SIGAda conference in 2010:
SIGAda Annual International Conference on Ada and Related Technologies:
Engineering Safe, Secure, and Reliable Software
Fairfax, Virginia, USA
October 24-28, 2010
http://www.acm.org/sigada/conf/sigada2010/
[...]
----------------------------------------------------------------------
Don't forget about other upcoming Ada-related conferences
and other relatively general conferences where Ada might be:
o ACM Technical Symposium on Computer Science Education (SIGCSE 2010)
Milwaukee, Wisconsin, USA
10-13 March 2010
http://www.sigcse.org/sigcse2010/
o 22nd Annual Systems & Software Technology Conference (SSTC 2010)
Salt Lake City, Utah, USA
26-29 April 2010
http://www.sstc-online.org/
o DASIA (DAta Systems In Aerospace) 2010
Budapest, Hungary
1-4 June 2010
http://www.eurospace.org/
o Ada-Europe 2010
15th International Conference on Reliable Software Technologies
Valencia, Spain
14-18 June 2010
http://www.ada-europe.org/conference2010.html
o ITiCSE (Innovation and Technology in Computer Science Education) 2010
Ankara, Turkey
26-30 June 2010
http://iticse2010.bilkent.edu.tr/
o [29th ACM SIGACT-SIGOPS Symposium on] Principles of Distributed
Computing (PODC 2010)
Zurich, Switzerland
25-28 July 2010
http://www.podc.org/podc2010/
o SIGAda Annual International Conference on Ada and Related Technologies
(SIGAda 2010): Engineering Safe, Secure, and Reliable Software
Fairfax, Virginia, USA (Suburb of Washington DC, USA)
24-28 October 2010
http://www.sigada.org/conf/sigada2010/
[...]
Clyde Roby, SIGAda Secretary
From: dirk@asgard.cs.kuleuven.be (Dirk Craeynest)
Newsgroups: comp.lang.ada,fr.comp.lang.ada,comp.lang.misc
Subject: FINAL CfIP, Conf. Reliable Software Technologies, Ada-Europe 2010
Date: Sun, 3 Jan 2010 19:30:51 +0100 (CET)
Organization: Ada-Europe, c/o Dept. of Computer Science, K.U.Leuven
Summary: One week until submission deadline!
Keywords: Conference,tutorials,industry,reliability,Ada,LNCS,Valencia,Spain
-----------------------------------------------------------------------
FINAL Call for Industrial Presentations
15th International Conference on
Reliable Software Technologies - Ada-Europe 2010
14 - 18 June 2010, Valencia, Spain
http://www.ada-europe.org/conference2010.html
*** DEADLINE Monday 11 JANUARY 2010 ***
-----------------------------------------------------------------------
The 15th International Conference on Reliable Software Technologies -
Ada-Europe 2010 will take place in Valencia, Spain. Following its
traditional style, the conference will span a full week, including a
three-day technical program and vendor exhibition from Tuesday to
Thursday, along with parallel tutorials and workshops on Monday and
Friday.
In addition to the usual Call for Papers, the conference also seeks
industrial presentations which may deliver value and insight, but do
not fit the selection process for regular papers.
Authors of industrial presentations are invited to submit a short
overview (at least 1 page in size) of the proposed presentation to the
Conference Chair Jorge Real (jorge@disca.upv.es) by 11 January 2010.
The Industrial Program Committee will review the proposals and make the
selection.
The authors of selected presentations shall prepare a final short
abstract and submit it to the Conference Chair by 10 May 2010, aiming
at a 20-minute talk. The authors of accepted presentations will be
invited to submit corresponding articles for publication in the Ada
User Journal, which will host the proceedings of the Industrial Program
of the Conference.
In addition to the award for best regular paper, Ada-Europe will also
offer an honorary award for the best presentation, considering both
regular and industrial presentations.
Schedule
--------
11 January 2010: Submission of industrial presentation proposals
01 February 2010: Notification of acceptance to all authors
10 May 2010: Industrial presentations required
14-18 June 2010: Conference
Industrial Committee
--------------------
Guillem Bernat, Rapita Systems, UK
Roderick Chapman, Praxis High Integrity Systems, UK
Dirk Craeynest, Aubay Belgium & K.U.Leuven, Belgium
Pierre Dissaux, Ellidiss Technologies, France
Franco Gasperoni, AdaCore, France
Hubert Keller, Forschungszentrum Karlsruhe GmbH, Germany
Ismael Lafoz, EADS CASA, Spain
Ahlan Marriott, White-Elephant GmbH, Switzerland
Erhard Plödereder, Universität Stuttgart, Germany
José Simó, Universidad Politécnica de Valencia, Spain
Alok Srivastava, Northrop Grumman, USA
Rei Stråhle, Saab Systems, Sweden
-----------------------------------------------------------------------
Our apologies if you receive multiple copies of this announcement.
Please circulate widely.
Dirk.Craeynest@cs.kuleuven.be, Ada-Europe'2010 Publicity Chair
(V5.1)
Date: Wed, 16 Dec 2009 07:04:09 -0500
From: SIGAda Webmaster <roby@IDA.ORG>
Subject: Monthly Reminder for SIGAda
To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG
Message for December 2009:
We hope that you plan to attend our annual SIGAda conference in 2010:
SIGAda Annual International Conference on Ada and Related Technologies:
Engineering Safe, Secure, and Reliable Software
Washington DC Metropolitan Area, USA
Late October 2010
http://www.acm.org/sigada/conf/sigada2010/
[...]
----------------------------------------------------------------------
Don't forget about other upcoming Ada-related conferences
and other relatively general conferences where Ada might be:
[...]
o [ duplicates removed; see above -- dc ]
o Ada-Europe 2010
15th International Conference on Reliable Software Technologies
Valencia, Spain
14-18 June 2010
http://www.ada-europe.org/conference2010.html
o [ duplicates removed; see above -- dc ]
o SIGAda Annual International Conference on Ada and Related Technologies (SIGAda 2010)
Washington DC Metropolitan Area, USA
24-28 October or 7-11 November 2010
http://www.sigada.org/conf/sigada2010/
[...]
Clyde Roby, SIGAda Secretary
From: dirk@asgard.cs.kuleuven.be (Dirk Craeynest)
Newsgroups: comp.lang.ada,fr.comp.lang.ada,comp.lang.misc
Subject: C.f.Industrial Pres., Reliable Software Technologies, Ada-Europe 2010
Date: Fri, 11 Dec 2009 21:40:12 +0100 (CET)
Organization: Ada-Europe, c/o Dept. of Computer Science, K.U.Leuven
Summary: One month until submission deadline!
Keywords: Conference,tutorials,industry,reliability,Ada,LNCS,Valencia,Spain
This call for industrial presentations is specifically targeted
to those of you who either work on industrial projects (possibly
Ada-related) where reliable software is important, or know people
working on such projects.
Please think for a moment what others might learn from the experience
gained in those projects, and get a presentation overview submitted
at the latest on January 11th, i.e. one month from now.
Many projects could report a lot of valuable experience: sharing it
with others benefits the whole community and might provide useful
feedback to the project as well.
We're looking forward to receive many interesting presentations.
Dirk Craeynest, Ada-Europe'2010 Publicity Chair
-----------------------------------------------------------------------
Call for Industrial Presentations
15th International Conference on
Reliable Software Technologies - Ada-Europe 2010
14 - 18 June 2010, Valencia, Spain
http://www.ada-europe.org/conference2010.html
Organized by Ada-Europe,
in cooperation with ACM SIGAda
*** DEADLINE Monday 11 JANUARY 2010 ***
-----------------------------------------------------------------------
General Information
-------------------
The 15th International Conference on Reliable Software Technologies -
Ada-Europe 2010 will take place in Valencia, Spain. Following its
traditional style, the conference will span a full week, including a
three-day technical program and vendor exhibition from Tuesday to
Thursday, along with parallel tutorials and workshops on Monday and
Friday.
Call for Industrial Presentations
---------------------------------
In addition to the usual Call for Papers, the conference also seeks
industrial presentations which may deliver value and insight, but do
not fit the selection process for regular papers.
Schedule
--------
11 January 2010: Submission of industrial presentation proposals
01 February 2010: Notification of acceptance to all authors
10 May 2010: Industrial presentations required
14-18 June 2010: Conference
Submission of Presentations
---------------------------
Authors of industrial presentations are invited to submit a short
overview (at least 1 page in size) of the proposed presentation to the
Conference Chair by 11 January 2010. The Industrial Program Committee
will review the proposals and make the selection.
The authors of selected presentations shall prepare a final short
abstract and submit it to the Conference Chair by 10 May 2010, aiming
at a 20-minute talk. The authors of accepted presentations will be
invited to submit corresponding articles for publication in the Ada
User Journal, which will host the proceedings of the Industrial Program
of the Conference.
Call for Exhibitors
-------------------
The commercial exhibition will span the three days of the main
conference. Vendors and providers of software products and services
should contact the Exhibition Chair for information and for allowing
suitable planning of the exhibition space and time.
Conference Topics
-----------------
The conference has successfully established itself as an international
forum for providers, practitioners 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 representing
industry, academia and government organizations active in the promotion
and development of reliable software technologies. To gather
experience on the latest periodic revision of the Ada language
standard, contributions that present and discuss the potential of the
revised language are especially welcome.
Prospective contributions should address the topics of interest to the
conference, which for this edition include but are not limited to:
- Methods and Techniques for Software Development and Maintenance:
Requirements Engineering, Object-Oriented Technologies, Model-driven
Architecture and Engineering, Formal Methods, Re-engineering and
Reverse Engineering, Reuse, Software Management Issues.
- Software Architectures: Design Patterns, Frameworks, Architecture-
Centered Development, Component and Class Libraries, Component-based
Design and Development.
- Enabling Technologies: Software Development Environments, Compilers,
Debuggers, Run-time Systems, Middleware Components, Concurrent and
Distributed Programming, Ada Language and Technology.
- Software Quality: Quality Management and Assurance, Risk Analysis,
Program Analysis, Verification, Validation, Testing of Software
Systems.
- Theory and Practice of High-Integrity Systems: Real-Time,
Distribution, Fault Tolerance, Security, Reliability, Trust and
Safety, Languages Vulnerabilities.
- Embedded Systems: Multicore Architectures, Architecture Modeling,
HW/SW Co-Design, Reliability and Performance Analysis.
- Mainstream and Emerging Applications: Manufacturing, Robotics,
Avionics, Space, Health Care, Transportation, Energy, Games and
Serious Games, etc.
- Experience Reports: Case Studies and Comparative Assessments,
Management Approaches, Qualitative and Quantitative Metrics.
- Ada and Education: Where does Ada stand in the software engineering
curriculum; how learning Ada serves the curriculum; what it takes to
form a fluent Ada user; lessons learned on Education and Training
Activities with bearing on any of the conference topics.
Awards
------
In addition to the award for best regular paper, Ada-Europe will also
offer an honorary award for the best presentation, considering both
regular and industrial presentations.
Industrial Committee
--------------------
Guillem Bernat, Rapita Systems, UK
Roderick Chapman, Praxis High Integrity Systems, UK
Dirk Craeynest, Aubay Belgium & K.U.Leuven, Belgium
Pierre Dissaux, Ellidiss Technologies, France
Franco Gasperoni, AdaCore, France
Hubert Keller, Forschungszentrum Karlsruhe GmbH, Germany
Ismael Lafoz, EADS CASA, Spain
Ahlan Marriott, White-Elephant GmbH, Switzerland
Erhard Plödereder, Universität Stuttgart, Germany
José Simó, Universidad Politécnica de Valencia, Spain
Alok Srivastava, Northrop Grumman, USA
Rei Stråhle, Saab Systems, Sweden
Conference Organization
-----------------------
Conference Chair
Jorge Real, Universidad Politécnica de Valencia, Spain
jorge@disca.upv.es
Program Co-Chairs
Jorge Real, Universidad Politécnica de Valencia, Spain
jorge@disca.upv.es
Tullio Vardanega, University of Padua, Italy
tullio.vardanega@math.unipd.it
Tutorial Chair
Albert Llemosí, Universitat de les Illes Balears, Spain
albert.llemosi@uib.cat
Exhibition Chair
Ahlan Marriott, White Elephant GmbH, Switzerland
Ada@white-elephant.ch
Industrial Chair
Erhard Plödereder, University of Stuttgart, Germany
ploedere@informatik.uni-stuttgart.de
Publicity Chair
Dirk Craeynest, Aubay Belgium & K.U.Leuven, Belgium
Dirk.Craeynest@cs.kuleuven.be
-----------------------------------------------------------------------
Our apologies if you receive multiple copies of this announcement.
Please circulate widely.
Dirk.Craeynest@cs.kuleuven.be, Ada-Europe'2010 Publicity Chair
(V4.1)
Date: Thu, 12 Nov 2009 07:35:34 -0500 From: SIGAda Webmaster <roby@IDA.ORG> Subject: Monthly Reminder for SIGAda To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG Message for November 2009: We hope that you are at our annual SIGAda conference: SIGAda Annual International Conference on Ada and Related Technologies: Engineering Safe, Secure, and Reliable Software Washington DC Metropolitan Area, USA October 24-28 or Novebmer 7-11, 2010 http://www.acm.org/sigada/conf/sigada2010/ [ 150 lines deleted; see updated version above -- dc ]
From: dirk@asgard.cs.kuleuven.be (Dirk Craeynest)
Newsgroups: comp.lang.ada,fr.comp.lang.ada,comp.lang.misc
Subject: Final CfP, Ada-Europe 2010 EXTENDED submission deadline Nov 23
Date: Fri, 6 Nov 2009 16:28:35 +0100 (CET)
Organization: Ada-Europe, c/o Dept. of Computer Science, K.U.Leuven
Summary: Submission deadline extended by 1 week until November 23.
Keywords: Conference,tutorials,industry,reliability,Ada,LNCS,Valencia,Spain
Considering the requests of several potential contributors, and to give
all authors the same opportunity of further refining their submission,
the Conference and Program Chairs decided that the submission deadline
for regular papers, tutorials and workshops will be extended by 1 week
until Monday, November 23, 2009.
-----------------------------------------------------------------------
FINAL Call for Papers
EXTENDED DEADLINE
15th International Conference on
Reliable Software Technologies - Ada-Europe 2010
14 - 18 June 2010, Valencia, Spain
http://www.ada-europe.org/conference2010.html
The 15th International Conference on Reliable Software
Technologies (Ada-Europe 2010) will take place in Valencia,
Spain. Following its traditional style, the conference will
span a full week, including a three-day technical program
and vendor exhibitions from Tuesday to Thursday, along with
parallel tutorials and workshops on Monday and Friday.
*** Extended DEADLINE Monday 23 NOVEMBER 2009 ***
Regular Papers: submit via
http://www.easychair.org/conferences?conf=adaeurope2010
Tutorials: submit to Tutorial Chair at
albert.llemosi@uib.cat
Workshops: submit to Conference Chair at
jorge@disca.upv.es
For more information please see the full Call for Papers at
http://www.grupodicom.com/ae2010/cfp-AE2010.pdf
-----------------------------------------------------------------------
Please note that the conference web site may not be fully consistent
until early next week. The CfP in PDF format has been updated, though.
Our apologies if you receive multiple copies of this announcement.
Please circulate widely.
Dirk.Craeynest@cs.kuleuven.be, Ada-Europe'2010 Publicity Chair
(V3.1)
From: dirk@asgard.cs.kuleuven.be (Dirk Craeynest)
Newsgroups: comp.lang.ada,fr.comp.lang.ada,comp.lang.misc
Subject: Ada-Europe 2010 submission deadline approaching
Date: Sun, 18 Oct 2009 21:22:53 +0200 (CEST)
Organization: Ada-Europe, c/o Dept. of Computer Science, K.U.Leuven
Summary: 4 weeks until submission deadline!
Keywords: Conference,tutorials,industry,reliability,Ada,LNCS,Valencia,Spain
-----------------------------------------------------------------------
2nd CALL FOR PAPERS
15th International Conference on
Reliable Software Technologies - Ada-Europe 2010
14 - 18 June 2010, Valencia, Spain
http://www.ada-europe.org/conference2010.html
Organized by Ada-Europe,
in cooperation with ACM SIGAda (approval pending)
*** DEADLINE 16 NOVEMBER ***
*** Web submission system available ***
-----------------------------------------------------------------------
Ada-Europe organizes annual international conferences since the early
80's. This is the 15th 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), Geneva, Switzerland ('07), Venice, Italy ('08),
and Brest, France ('09).
General Information
-------------------
The 15th International Conference on Reliable Software Technologies -
Ada-Europe 2010 will take place in Valencia, Spain. Following its
traditional style, the conference will span a full week, including a
three-day technical program and vendor exhibition from Tuesday to
Thursday, along with parallel tutorials and workshops on Monday and
Friday.
Schedule
--------
16 November 2009: Submission of regular papers, tutorial and workshop
proposals
11 January 2010: Submission of industrial presentation proposals
01 February 2010: Notification of acceptance to all authors
01 March 2010: Camera-ready version of regular papers required
10 May 2010: Industrial presentations, tutorial and workshop
material required
14-18 June 2010: Conference
Topics
------
The conference has successfully established itself as an international
forum for providers, practitioners 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 representing
industry, academia and government organizations active in the promotion
and development of reliable software technologies. To gather
experience on the latest periodic revision of the Ada language
standard, contributions that present and discuss the potential of the
revised language are especially welcome.
All prospective contributions, whether regular papers, industrial
presentations, tutorials or workshops, should address the topics of
interest to the conference, which for this edition include but are not
limited to:
- Methods and Techniques for Software Development and Maintenance:
Requirements Engineering, Object-Oriented Technologies, Model-driven
Architecture and Engineering, Formal Methods, Re-engineering and
Reverse Engineering, Reuse, Software Management Issues.
- Software Architectures: Design Patterns, Frameworks, Architecture-
Centered Development, Component and Class Libraries, Component-based
Design and Development.
- Enabling Technologies: Software Development Environments, Compilers,
Debuggers, Run-time Systems, Middleware Components, Concurrent and
Distributed Programming, Ada Language and Technology.
- Software Quality: Quality Management and Assurance, Risk Analysis,
Program Analysis, Verification, Validation, Testing of Software
Systems.
- Theory and Practice of High-Integrity Systems: Real-Time,
Distribution, Fault Tolerance, Security, Reliability, Trust and
Safety, Languages Vulnerabilities.
- Embedded Systems: Multicore Architectures, Architecture Modeling,
HW/SW Co-Design, Reliability and Performance Analysis.
- Mainstream and Emerging Applications: Manufacturing, Robotics,
Avionics, Space, Health Care, Transportation, Energy, Games and
Serious Games, etc.
- Experience Reports: Case Studies and Comparative Assessments,
Management Approaches, Qualitative and Quantitative Metrics.
- Ada and Education: Where does Ada stand in the software engineering
curriculum; how learning Ada serves the curriculum; what it takes to
form a fluent Ada user; lessons learned on Education and Training
Activities with bearing on any of the conference topics.
Call for Regular Papers
-----------------------
Authors of regular papers which are to undergo peer review for
acceptance are invited to submit original contributions. Paper
submissions shall be in English, complete and not exceeding 14
LNCS-style pages in length. Authors should submit their work via
the Web submission system accessible from the Conference Home page.
The format for submission is solely PDF. Should you have problems
to comply with format and submission requirements, please contact
the Program Chairs.
Proceedings
-----------
The conference 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. The authors of accepted regular papers
shall prepare camera-ready submissions in full conformance with the
LNCS style, not exceeding 14 pages and strictly by 1 March 2010. For
format and style guidelines authors should refer to the following URL:
http://www.springer.de/comp/lncs/authors.html. Failure to comply and
to register for the conference will prevent the paper from appearing
in the proceedings.
The conference is ranked class A in the CORE ranking and is listed
among the top quarter of CiteSeerX Venue Impact Factor.
Awards
------
Ada-Europe will offer honorary awards for the best regular paper and
the best presentation.
Call for Industrial Presentations
---------------------------------
The conference also seeks industrial presentations which may deliver
value and insight, but do not fit the selection process for regular
papers. Authors of industrial presentations are invited to submit a
short overview (at least 1 page in size) of the proposed presentation
to the Conference Chair by 11 January 2010. The Industrial Program
Committee will review the proposals and make the selection. The
authors of selected presentations shall prepare a final short abstract
and submit it to the Conference Chair by 10 May 2010, aiming at a
20-minute talk. The authors of accepted presentations will be invited
to submit corresponding articles for publication in the Ada User
Journal, which will host the proceedings of the Industrial Program of
the Conference.
Call for Tutorials
------------------
Tutorials should address subjects that fall within the scope of the
conference and may be proposed as either half- or full-day events.
Proposals should include a title, an abstract, a description of the
topic, a detailed outline of the presentation, a description of the
presenter's lecturing expertise in general and with the proposed topic
in particular, the proposed duration (half day or full day), the
intended level of the tutorial (introductory, intermediate, or
advanced), the recommended audience experience and background, and a
statement of the reasons for attending. Proposals should be submitted
by e-mail to the Tutorial Chair. The authors of accepted 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 be accordingly halved. The Ada User
Journal will offer space for the publication of summaries of the
accepted tutorials.
Call for Workshops
------------------
Workshops on themes that fall within the conference scope may be
proposed. Proposals may be submitted for half- or full-day events, to
be scheduled at either end of the conference week. Workshop proposals
should be submitted to the Conference Chair. The workshop organizer
shall also commit to preparing proceedings for timely publication in
the Ada User Journal.
Call for Exhibitors
-------------------
The commercial exhibition will span the three days of the main
conference. Vendors and providers of software products and services
should contact the Exhibition Chair for information and for allowing
suitable planning of the exhibition space and time.
Grants for Students
-------------------
A limited number of sponsored grants is expected to be available for
students who would like to attend the conference or tutorials. Contact
the Conference Chair for details.
Organizing Committee
--------------------
Conference Chair
Jorge Real, Universidad Politécnica de Valencia, Spain
jorge@disca.upv.es
Program Co-Chairs
Jorge Real, Universidad Politécnica de Valencia, Spain
jorge@disca.upv.es
Tullio Vardanega, University of Padua, Italy
tullio.vardanega@math.unipd.it
Tutorial Chair
Albert Llemosí, Universitat de les Illes Balears, Spain
albert.llemosi@uib.cat
Exhibition Chair
Ahlan Marriott, White Elephant GmbH, Switzerland
Ada@white-elephant.ch
Industrial Chair
Erhard Plödereder, University of Stuttgart, Germany
ploedere@informatik.uni-stuttgart.de
Publicity Chair
Dirk Craeynest, Aubay Belgium & K.U.Leuven, Belgium
Dirk.Craeynest@cs.kuleuven.be
Program Committee
-----------------
Alejandro Alonso, Universidad Politécnica de Madrid, Spain
Ted Baker, Florida State University, USA
John Barnes, John Barnes Informatics, UK
Johann Blieberger, Technische Universität Wien, Austria
Jørgen Bundgaard, Rovsing A/S, Denmark
Bernd Burgstaller, Yonsei University, Korea
Alan Burns, University of York, UK
Roderick Chapman, Praxis High Integrity Systems, UK
Dirk Craeynest, Aubay Belgium & K.U.Leuven, Belgium
Alfons Crespo, Universidad Politécnica de Valencia, Spain
Juan A. de la Puente, Universidad Politécnica de Madrid, Spain
Raymond Devillers, Université Libre de Bruxelles, Belgium
Franco Gasperoni, AdaCore, France
Michael González Harbour, Universidad de Cantabria, Spain
José Javier Gutiérrez, Universidad de Cantabria, Spain
Andrew Hately, Eurocontrol CRDS, Hungary
Peter Hermann, Universität Stuttgart, Germany
Jérôme Hugues, Telecom Paris, France
Hubert Keller, Institut für Angewandte Informatik, Germany
Albert Llemosí, Universitat de les Illes Balears, Spain
Kristina Lundqvist, Mälardalen University, Sweden & MIT, USA
Franco Mazzanti, ISTI-CNR Pisa, Italy
John McCormick, University of Northern Iowa, USA
Julio Medina, Universidad de Cantabria, Spain
Stephen Michell, Maurya Software, Canada
Javier Miranda, Universidad Las Palmas de Gran Canaria, Spain
Daniel Moldt, University of Hamburg, Germany
Laurent Pautet, Telecom Paris, France
Luís Miguel Pinho, Polytechnic Institute of Porto, Portugal
Erhard Plödereder, Universität Stuttgart, Germany
Jorge Real, Universidad Politécnica de Valencia, Spain
Alexander Romanovsky, University of Newcastle upon Tyne, UK
Jean-Pierre Rosen, Adalog, France
Sergio Sáez, Universidad Politécnica de Valencia, Spain
Ed Schonberg, AdaCore, USA
Theodor Tempelmeier, Univ. of Applied Sciences Rosenheim, Germany
Jean-Loup Terraillon, European Space Agency, The Netherlands
Santiago Urueña, Grupo de Mecánicade Vuelo, Spain
Tullio Vardanega, Università di Padova, Italy
Francois Vernadat, LAAS-CNRS & INSA Toulouse, France
Daniel Wengelin, Saab, Sweden
Andy Wellings, University of York, UK
Jürgen Winkler, Friedrich-Schiller Universität, Germany
Luigi Zaffalon, University of Applied Sciences, Switzerland
Industrial Committee
--------------------
Guillem Bernat, Rapita Systems, UK
Roderick Chapman, Praxis High Integrity Systems, UK
Dirk Craeynest, Aubay Belgium & K.U.Leuven, Belgium
Pierre Dissaux, Ellidiss Technologies, France
Franco Gasperoni, AdaCore, France
Hubert Keller, Forschungszentrum Karlsruhe GmbH, Germany
Ismael Lafoz, EADS CASA, Spain
Ahlan Marriott, White-Elephant GmbH, Switzerland
Erhard Plödereder, Universität Stuttgart, Germany
José Simó, Universidad Politécnica de Valencia, Spain
Alok Srivastava, Northrop Grumman, USA
Rei Stråhle, Saab Systems, Sweden
-----------------------------------------------------------------------
Our apologies if you receive multiple copies of this announcement.
Please circulate widely.
Dirk.Craeynest@cs.kuleuven.be, Ada-Europe'2010 Publicity Chair
(V2.1)
Date: Fri, 2 Oct 2009 06:50:47 -0400
From: SIGAda Webmaster <roby@IDA.ORG>
Subject: Monthly Reminder for SIGAda
To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG
Message for October 2009:
Don't forget about our annual SIGAda conference:
SIGAda Annual International Conference on Ada and Related Technologies:
Engineering Safe, Secure, and Reliable Software
Tampa Bay, Florida, USA
November 1-5, 2009
http://www.acm.org/sigada/conf/sigada2009/
[...]
----------------------------------------------------------------------
Don't forget about other upcoming Ada-related conferences
and other relatively general conferences where Ada might be:
o IRTAW-14 (14th International Real-Time Ada Workshop)
Portovenere, Italy
7-9 October 2009
http://events.math.unipd.it/irtaw14/
o [ duplicates removed; see above -- dc ]
o Ada-Europe 2010
15th International Conference on Reliable Software Technologies
Valencia, Spain
14-18 June 2010
http://www.ada-europe.org/conference2010.html
o [ duplicates removed; see above -- dc ]
[...]
Clyde Roby, SIGAda Secretary
Date: Wed, 2 Sep 2009 06:24:53 -0400
From: SIGAda Webmaster <roby@IDA.ORG>
Subject: Monthly Reminder for SIGAda
To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG
Message for September 2009:
Don't forget about our annual SIGAda conference:
SIGAda Annual International Conference on Ada and Related Technologies:
Engineering Safe, Secure, and Reliable Software
Tampa Bay, Florida, USA
November 1-5, 2009
http://www.acm.org/sigada/conf/sigada2009/
[...]
----------------------------------------------------------------------
Don't forget about other upcoming Ada-related conferences
and other relatively general conferences where Ada might be:
o [ duplicates removed; see above -- dc ]
o Ada-Europe 2010
15th International Conference on Reliable Software Technologies
Valencia, Spain
14-18 June 2010
http://www.ada-europe.org/conference2010.html
o [ duplicates removed; see above -- dc ]
[...]
Clyde Roby, SIGAda Secretary
From: dirk@asgard.cs.kuleuven.be (Dirk Craeynest)
Newsgroups: comp.lang.ada,fr.comp.lang.ada,comp.lang.misc
Subject: CfP 15th Conf. Reliable Software Technologies, Ada-Europe 2010
Date: Sun, 30 Aug 2009 21:33:56 +0200 (CEST)
Organization: Ada-Europe, c/o Dept. of Computer Science, K.U.Leuven
Summary: Start now to prepare your submissions!
Keywords: Conference,tutorials,industry,reliability,Ada,LNCS,Valencia,Spain
-----------------------------------------------------------------------
CALL FOR PAPERS
15th International Conference on
Reliable Software Technologies - Ada-Europe 2010
14 - 18 June 2010, Valencia, Spain
http://www.ada-europe.org/conference2010.html
Organized by Ada-Europe,
in cooperation with ACM SIGAda (approval pending)
*** CfP in HTML/PDF on web site ***
-----------------------------------------------------------------------
Ada-Europe organizes annual international conferences since the early
80's. This is the 15th 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), Geneva, Switzerland ('07), Venice, Italy ('08),
and Brest, France ('09).
General Information
-------------------
The 15th International Conference on Reliable Software Technologies -
Ada-Europe 2010 will take place in Valencia, Spain. Following its
traditional style, the conference will span a full week, including a
three-day technical program and vendor exhibition from Tuesday to
Thursday, along with parallel tutorials and workshops on Monday and
Friday.
Schedule
--------
16 November 2009: Submission of regular papers, tutorial and workshop
proposals
11 January 2010: Submission of industrial presentation proposals
01 February 2010: Notification of acceptance to all authors
01 March 2010: Camera-ready version of regular papers required
10 May 2010: Industrial presentations, tutorial and workshop
material required
14-18 June 2010: Conference
Topics
------
The conference has successfully established itself as an international
forum for providers, practitioners 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 representing
industry, academia and government organizations active in the promotion
and development of reliable software technologies. To gather
experience on the latest periodic revision of the Ada language
standard, contributions that present and discuss the potential of the
revised language are especially welcome.
All prospective contributions, whether regular papers, industrial
presentations, tutorials or workshops, should address the topics of
interest to the conference, which for this edition include but are not
limited to:
- Methods and Techniques for Software Development and Maintenance:
Requirements Engineering, Object-Oriented Technologies, Model-driven
Architecture and Engineering, Formal Methods, Re-engineering and
Reverse Engineering, Reuse, Software Management Issues.
- Software Architectures: Design Patterns, Frameworks, Architecture-
Centered Development, Component and Class Libraries, Component-based
Design and Development.
- Enabling Technologies: Software Development Environments, Compilers,
Debuggers, Run-time Systems, Middleware Components, Concurrent and
Distributed Programming, Ada Language and Technology.
- Software Quality: Quality Management and Assurance, Risk Analysis,
Program Analysis, Verification, Validation, Testing of Software
Systems.
- Theory and Practice of High-Integrity Systems: Real-Time,
Distribution, Fault Tolerance, Security, Reliability, Trust and
Safety, Languages Vulnerabilities.
- Embedded Systems: Multicore Architectures, Architecture Modeling,
HW/SW Co-Design, Reliability and Performance Analysis.
- Mainstream and Emerging Applications: Manufacturing, Robotics,
Avionics, Space, Health Care, Transportation, Energy, Games and
Serious Games, etc.
- Experience Reports: Case Studies and Comparative Assessments,
Management Approaches, Qualitative and Quantitative Metrics.
- Ada and Education: Where does Ada stand in the software engineering
curriculum; how learning Ada serves the curriculum; what it takes to
form a fluent Ada user; lessons learned on Education and Training
Activities with bearing on any of the conference topics.
Call for Regular Papers
-----------------------
Authors of regular papers which are to undergo peer review for
acceptance are invited to submit original contributions. Paper
submissions shall be in English, complete and not exceeding 14
LNCS-style pages in length. Authors should submit their work via
the Web submission system accessible from the Conference Home page.
The format for submission is solely PDF. Should you have problems
to comply with format and submission requirements, please contact
the Program Chairs.
Proceedings
-----------
The conference 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. The authors of accepted regular papers
shall prepare camera-ready submissions in full conformance with the
LNCS style, not exceeding 14 pages and strictly by 1 March 2010. For
format and style guidelines authors should refer to the following URL:
http://www.springer.de/comp/lncs/authors.html. Failure to comply and
to register for the conference will prevent the paper from appearing
in the proceedings.
The conference is ranked class A in the CORE ranking and is listed
among the top quarter of CiteSeerX Venue Impact Factor.
Awards
------
Ada-Europe will offer honorary awards for the best regular paper and
the best presentation.
Call for Industrial Presentations
---------------------------------
The conference also seeks industrial presentations which may deliver
value and insight, but do not fit the selection process for regular
papers. Authors of industrial presentations are invited to submit a
short overview (at least 1 page in size) of the proposed presentation
to the Conference Chair by 11 January 2010. The Industrial Program
Committee will review the proposals and make the selection. The
authors of selected presentations shall prepare a final short abstract
and submit it to the Conference Chair by 10 May 2010, aiming at a
20-minute talk. The authors of accepted presentations will be invited
to submit corresponding articles for publication in the Ada User
Journal, which will host the proceedings of the Industrial Program of
the Conference.
Call for Tutorials
------------------
Tutorials should address subjects that fall within the scope of the
conference and may be proposed as either half- or full-day events.
Proposals should include a title, an abstract, a description of the
topic, a detailed outline of the presentation, a description of the
presenter's lecturing expertise in general and with the proposed topic
in particular, the proposed duration (half day or full day), the
intended level of the tutorial (introductory, intermediate, or
advanced), the recommended audience experience and background, and a
statement of the reasons for attending. Proposals should be submitted
by e-mail to the Tutorial Chair. The authors of accepted 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 be accordingly halved. The Ada User
Journal will offer space for the publication of summaries of the
accepted tutorials.
Call for Workshops
------------------
Workshops on themes that fall within the conference scope may be
proposed. Proposals may be submitted for half- or full-day events, to
be scheduled at either end of the conference week. Workshop proposals
should be submitted to the Conference Chair. The workshop organizer
shall also commit to preparing proceedings for timely publication in
the Ada User Journal.
Call for Exhibitors
-------------------
The commercial exhibition will span the three days of the main
conference. Vendors and providers of software products and services
should contact the Exhibition Chair for information and for allowing
suitable planning of the exhibition space and time.
Grants for Students
-------------------
A limited number of sponsored grants is expected to be available for
students who would like to attend the conference or tutorials. Contact
the Conference Chair for details.
Organizing Committee
--------------------
Conference Chair
Jorge Real, Universidad Politécnica de Valencia, Spain
jorge@disca.upv.es
Program Co-Chairs
Jorge Real, Universidad Politécnica de Valencia, Spain
jorge@disca.upv.es
Tullio Vardanega, University of Padua, Italy
tullio.vardanega@math.unipd.it
Tutorial Chair
Albert Llemosí, Universitat de les Illes Balears, Spain
albert.llemosi@uib.cat
Exhibition Chair
Ahlan Marriott, White Elephant GmbH, Switzerland
Ada@white-elephant.ch
Industrial Chair
Erhard Plödereder, University of Stuttgart, Germany
ploedere@informatik.uni-stuttgart.de
Publicity Chair
Dirk Craeynest, Aubay Belgium & K.U.Leuven, Belgium
Dirk.Craeynest@cs.kuleuven.be
Program Committee
-----------------
Alejandro Alonso, Universidad Politécnica de Madrid, Spain
Ted Baker, Florida State University, USA
John Barnes, John Barnes Informatics, UK
Johann Blieberger, Technische Universität Wien, Austria
Jørgen Bundgaard, Rovsing A/S, Denmark
Bernd Burgstaller, Yonsei University, Korea
Alan Burns, University of York, UK
Roderick Chapman, Praxis High Integrity Systems, UK
Dirk Craeynest, Aubay Belgium & K.U.Leuven, Belgium
Alfons Crespo, Universidad Politécnica de Valencia, Spain
Juan A. de la Puente, Universidad Politécnica de Madrid, Spain
Raymond Devillers, Université Libre de Bruxelles, Belgium
Franco Gasperoni, AdaCore, France
Michael González Harbour, Universidad de Cantabria, Spain
José Javier Gutiérrez, Universidad de Cantabria, Spain
Andrew Hately, Eurocontrol CRDS, Hungary
Peter Hermann, Universität Stuttgart, Germany
Jérôme Hugues, Telecom Paris, France
Hubert Keller, Institut für Angewandte Informatik, Germany
Albert Llemosí, Universitat de les Illes Balears, Spain
Kristina Lundqvist, Mälardalen University, Sweden & MIT, USA
Franco Mazzanti, ISTI-CNR Pisa, Italy
John McCormick, University of Northern Iowa, USA
Julio Medina, Universidad de Cantabria, Spain
Stephen Michell, Maurya Software, Canada
Javier Miranda, Universidad Las Palmas de Gran Canaria, Spain
Daniel Moldt, University of Hamburg, Germany
Laurent Pautet, Telecom Paris, France
Luís Miguel Pinho, Polytechnic Institute of Porto, Portugal
Erhard Plödereder, Universität Stuttgart, Germany
Jorge Real, Universidad Politécnica de Valencia, Spain
Alexander Romanovsky, University of Newcastle upon Tyne, UK
Jean-Pierre Rosen, Adalog, France
Sergio Sáez, Universidad Politécnica de Valencia, Spain
Ed Schonberg, AdaCore, USA
Theodor Tempelmeier, Univ. of Applied Sciences Rosenheim, Germany
Jean-Loup Terraillon, European Space Agency, The Netherlands
Santiago Urueña, Grupo de Mecánicade Vuelo, Spain
Tullio Vardanega, Università di Padova, Italy
Francois Vernadat, LAAS-CNRS & INSA Toulouse, France
Daniel Wengelin, Saab, Sweden
Andy Wellings, University of York, UK
Jürgen Winkler, Friedrich-Schiller Universität, Germany
Luigi Zaffalon, University of Applied Sciences, Switzerland
Industrial Committee
--------------------
Guillem Bernat, Rapita Systems, UK
Roderick Chapman, Praxis High Integrity Systems, UK
Dirk Craeynest, Aubay Belgium & K.U.Leuven, Belgium
Pierre Dissaux, Ellidiss Technologies, France
Franco Gasperoni, AdaCore, France
Hubert Keller, Forschungszentrum Karlsruhe GmbH, Germany
Ismael Lafoz, EADS CASA, Spain
Ahlan Marriott, White-Elephant GmbH, Switzerland
Erhard Plödereder, Universität Stuttgart, Germany
José Simó, Universidad Politécnica de Valencia, Spain
Alok Srivastava, Northrop Grumman, USA
Rei Stråhle, Saab Systems, Sweden
-----------------------------------------------------------------------
Our apologies if you receive multiple copies of this announcement.
Please circulate widely.
Dirk.Craeynest@cs.kuleuven.be, Ada-Europe'2010 Publicity Chair
(V1.1)
Date: Mon, 3 Aug 2009 06:42:51 -0400
From: SIGAda Webmaster <roby@IDA.ORG>
Subject: Monthly Reminder for SIGAda
To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG
Message for August 2009:
Don't forget about our annual SIGAda conference:
SIGAda Annual International Conference on Ada and Related Technologies:
Engineering Safe, Secure, and Reliable Software
Tampa Bay, Florida, USA
1-5 November 2009
http://www.acm.org/sigada/conf/sigada2009/
[...]
----------------------------------------------------------------------
Don't forget about other upcoming Ada-related conferences
and other relatively general conferences where Ada might be:
o Principles of Distributed Computing (PODC 2009)
Calgary, Alberta, Canada
10-12 August 2009
http://www.podc.org/podc2009/
o [ duplicates removed; see above -- dc ]
o Ada-Europe 2010
15th International Conference on Reliable Software Technologies
Valencia, Spain
14-18 June 2010
http://www.ada-europe.org/conference2010.html
o [ duplicates removed; see above -- dc ]
[...]
Clyde Roby, SIGAda Secretary
Date: Thu, 2 Jul 2009 07:04:37 -0400
From: SIGAda Webmaster <roby@IDA.ORG>
Subject: Monthly Reminder for SIGAda
To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG
Message for July 2009:
Don't forget about our annual SIGAda conference:
SIGAda Annual International Conference on Ada and Related Technologies:
Engineering Safe, Secure, and Reliable Software
Tampa Bay, Florida, USA
1-5 November 2009
http://www.acm.org/sigada/conf/sigada2009/
[...]
----------------------------------------------------------------------
Don't forget about other upcoming Ada-related conferences
and other relatively general conferences where Ada might be:
o ITiCSE (Innovation and Technology in Computer Science Education) 2009
Université Pierre et Marie Curie
Paris, France
3-8 July 2009
http://iticse09.lrde.org/
o [ duplicates removed; see above -- dc ]
o Ada-Europe 2010
15th International Conference on Reliable Software Technologies
[ http://www.ada-europe.org/conference2010.html -- dc ]
o [ duplicates removed; see above -- dc ]
[...]
Clyde Roby, SIGAda Secretary
The Ada-Europe Board announced today at its General Assembly that the Ada-Europe'2010 Conference will be held in Valencia, Spain, in the week of June 14-18, 2010.
The conference website, including the Call for Papers, will be online shortly at URL http://www.ada-europe.org/conference2010.html.
Ada-Europe Board
Brest, France, June 10, 2009
![[Ada-Belgium]](/~dirk/.image/ada-belgium-icon.gif){kind=icon}
To the Ada-Belgium home page.
Last update: 2010/06/25.
Dirk Craeynest