![[Ada-Europe'2011 logo]](/~dirk/.image/ada-europe2011.jpg)
From: Maciej Sobczak <see.my.homepage@gmail.com> Newsgroups: comp.lang.ada Subject: YAMI4 Ada tutorial material on-line Date: Mon, 27 Jun 2011 13:52:28 -0700 (PDT) I'm pleased to announce that the printer-ready version of handouts that were prepared for the YAMI4 Ada tutorial at the Ada Connection conference is available on-line: http://www.inspirel.com/yami4/doc/YAMI4-AE11-print.pdf This PDF file is also linked from the project's web page: http://www.inspirel.com/yami4/ These are slides together with some basic explanatory comments. The slides are intended for Ada programmers and contain lots of Ada examples. I hope this will be useful. Of course all comments are welcome. -- Maciej Sobczak * http://www.msobczak.com * http://www.inspirel.com
From: dirk@vana.cs.kuleuven.be. (Dirk Craeynest)
Newsgroups: comp.lang.ada,fr.comp.lang.ada,comp.lang.misc
Subject: The Ada Connection = Ada-Europe 2011 + Ada Conference UK 2011
Date: Wed, 8 Jun 2011 19:36:33 +0000 (UTC)
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,Edinburgh,UK
-----------------------------------------------------------------------
FINAL Call for Participation
*** UPDATED Program Summary ***
The Ada Connection
16th International Conference on
Reliable Software Technologies - Ada-Europe 2011
+
Ada Conference UK 2011
20 - 24 June 2011, Edinburgh, UK
http://www.ada-europe.org/conference2011
*** Full Program available on conference web site ***
*** Check out the tutorial program! ***
*** Printed proceedings available ***
*** Register now! ***
-----------------------------------------------------------------------
Press release:
The Ada Connection = Ada-Europe 2011 + Ada Conference UK 2011
International experts meet in Edinburgh
Edinburgh (8 June 2011 20:00) - The Ada Connection, which combines
the 16th International Conference on Reliable Software Technologies -
Ada-Europe 2011 - with Ada Conference UK 2011, will take place from
20 to 24 June in Edinburgh, Scotland's capital city and the UK's most
popular conference destination.
The Ada Connection is the union of two Ada events that have both
been very successful in their own right. The Ada-Europe series of
conferences has become established as an international forum for
providers, practitioners and researchers in all aspects of reliable
software technologies. The Ada Conference UK has been running
in its current form since 2006 as a series of biennial one-day
events, to highlight the increased relevance of Ada in safety-
and security-critical systems. By combining these events, the Ada
Connection will provide a unique opportunity for interaction and
collaboration between academics and industrial practitioners.
The conference offers two days of tutorials, three keynotes and
one invited speaker, a full technical program of refereed papers,
a collection of industrial presentations, two special panel sessions,
an industrial exhibition, and a social program.
The 9 excellent tutorials on Monday and Friday cover a broad range
of topics: Experimenting with ParaSail - Parallel Specification and
Implementation Language; Designing and Checking Coding Standards for
Ada; Programming Distributed Systems with YAMI4; Why and How to Measure
Non-functional Properties On-target; Hard Real-Time and Embedded
Systems Programming with Ada; Use of Object-Oriented Technologies
in High-Reliability Systems; MAST - Predicting Response Times in
Event-Driven Real-Time Systems; SPARK - The Libre Language and Toolset
for High-Assurance Software; Distributed Programming Techniques in Ada.
Three eminent keynote speakers have been selected to open each day
of the core conference program. Peter Bernard Ladkin (University
of Bielefeld CITEC and Causalis Limited), a recognised specialist
in system safety, will present a talk entitled "Functional Safety
of Software-Based Critical Systems". Pippa Moore (UK Civil Aviation
Authority), in her talk "Hippocrates and DO-178B", will address the
issues to be considered when attempting to "do no harm" when developing
a software system. Jeff O'Leary (US Federal Aviation Administration),
in his talk "Assuring Software Reliability While Using Web Services
and Commercial Products" will present a government software procurement
official's perspective on systems development and quality, and discuss
the implications, approach and unique issues of building reliable,
trusted web services using commercial products.
The technical program presents 12 refereed and carefully selected
papers on the latest research, new tools, applications and industrial
practice and experience, a collection of 12 industrial presentations
reflecting current practice and challenges, vendor presentations,
a panel session on "Programming Languages Meet Multicore", and a
panel session on "DO178C and Object-Orientation for Critical Systems".
Springer Verlag publishes the proceedings of the conference, as LNCS
Vol. 6652.
The exhibition opens in the mid-morning break on Tuesday and runs
continuously until the end of the afternoon break on Wednesday.
The exhibitors include the following vendors: AdaCore, Altran Praxis,
Causalis Limited, Ellidiss Software, Green Hills Software, IPL, LDRA,
Objektum Solutions, Rapita Systems, Resource Engineering, TTE Systems,
Vector Software, Verocel and Wind River.
The social program includes on Tuesday evening a welcome reception
with single malt Scotch whisky tasting in the exhibition area, and on
Wednesday evening a conference banquet dinner at The Signet Library,
just below Edinburgh Castle in the center of Edinburgh's Old Town.
Before the conference banquet, Les Hatton (Kingston University) will
give a pre-dinner speech entitled "On the Evolution of Unnatural
Language".
The venue for the Ada Connection is the John McIntyre Conference Centre
on the University of Edinburgh campus, close to the city center, and
at the foot of Arthurs Seat, the highest point in Edinburgh. The full
program is available on the conference web site. Registration is still
open.
-------
Latest updates:
- The 20-page "Advance Program" is available on the conference web site
<http://www.ada-europe.org/conference2011>, and directly at
<http://conferences.ncl.ac.uk/adaconnection2011/resources/ADVANCE%20Ada%20Programme.pdf>.
- Check out the 9 tutorials in the full program (PDF) or
via the hyperlinks in the tutorial schedule on
<http://conferences.ncl.ac.uk/adaconnection2011/programme.html>.
- The proceedings, published by Springer Verlag as Lecture Notes in
Computer Science Vol. 6652, are ready and will be distributed at
the conference. More info is available at
<http://www.springer.com/computer/swe/book/978-3-642-21337-3>.
- 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://conferences.ncl.ac.uk/adaconnection2011/registration.html>.
Don't delay!
- For the latest information consult the conference web site
<http://www.ada-europe.org/conference2011>.
-----------------------------------------------------------------------
Please circulate widely.
Our apologies if you receive multiple copies of this announcement.
If you have a LinkedIn account, let your network know that you will
be attending or are interested in this event; see RSVPs on
http://events.linkedin.com/Ada-Connection-16th-International/pub/405820
Dirk.Craeynest@cs.kuleuven.be, Ada-Europe'2011 Publicity Chair
*** 16th Intl.Conf.on Reliable Software Technologies - Ada-Europe'2011
*** June 20-24, 2011 **** Edinburgh, UK **** http://www.ada-europe.org
(V9.1)
From: dirk@vana.cs.kuleuven.be. (Dirk Craeynest)
Newsgroups: comp.lang.ada,fr.comp.lang.ada,comp.lang.misc
Subject: Ada-Europe 2011 early registration deadline approaching
Date: Mon, 16 May 2011 21:31:00 +0000 (UTC)
Organization: Ada-Europe, c/o Dept. of Computer Science, K.U.Leuven
Summary: Early registration discount until May 23.
Keywords: Conference,tutorials,industry,reliability,Ada,LNCS,Edinburgh,UK
-----------------------------------------------------------------------
2nd Call for Participation
The Ada Connection
16th International Conference on
Reliable Software Technologies - Ada-Europe 2011
+
Ada Conference UK 2011
20 - 24 June 2011, Edinburgh, UK
http://www.ada-europe.org/conference2011
Organized by Ada-Europe,
in cooperation with ACM SIGAda
*** Early registration DEADLINE Monday 23 MAY 2011 ***
-----------------------------------------------------------------------
The Ada Connection, which combines the 16th International Conference on
Reliable Software Technologies - Ada-Europe 2011 - with Ada Conference
UK 2011, will take place in Edinburgh, Scotland's capital city and the
UK's most popular conference destination.
The Ada Connection is the union of two Ada events that have both
been very successful in their own right. The Ada-Europe series of
conferences has become established as an international forum for
providers, practitioners and researchers in all aspects of reliable
software technologies. The Ada Conference UK has been running
in its current form since 2006 as a series of biennial one-day
events, to highlight the increased relevance of Ada in safety-
and security-critical systems. By combining these events, the Ada
Connection will provide a unique opportunity for interaction and
collaboration between academics and industrial practitioners.
The 20-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, keynote presentations, and panel
sessions. In the menu on the home page first select "Programme",
and then the AP download link. Also check the conference web site
for registration, accommodation and travel information.
Quick overview
- Mon 20 & Fri 24: tutorials
- Tue 15 - Thu 17: paper, industrial & vendor presentations
- Tue 15 - Wed 16: vendor exhibition
Proceedings
- published by Springer
- volume 6652 in Lecture Notes in Computer Science series (LNCS)
- will be available at conference
Program co-chairs
- Alexander Romanovsky, Newcastle University, UK
alexander.romanovsky@ncl.ac.uk
- Tullio Vardanega, University of Padua, Italy
tullio.vardanega@math.unipd.it
Invited speakers
- Peter Bernard Ladkin, University of Bielefeld CITEC and Causalis
Limited, "Functional Safety of Software-Based Critical Systems"
- Pippa Moore, UK Civil Aviation Authority,
"Hippocrates and DO-178B"
- Jeff O'Leary, US Federal Aviation Administration, "Assuring Software
Reliability While Using Web Services and Commercial Products"
Tutorials (half day)
- "Experimenting with ParaSail - Parallel Specification and
Implementation Language", S. Tucker Taft, SofCheck, USA
- "Designing and Checking Coding Standards for Ada",
Jean-Pierre Rosen, Adalog, France
- "Programming Distributed Systems with YAMI4",
Maciej Sobczak, Inspirel, Poland
- "Why and How to Measure Non-functional Properties On-target",
Ian Broster, Rapita Systems Ltd, UK
- "Hard Real-Time and Embedded Systems Programming with Ada",
Pat Rogers, AdaCore, France
- "Use of Object-Oriented Technologies in High-Reliability Systems",
Jean-Pierre Rosen, Adalog, France
Tutorials (full day)
- "MAST: Predicting Response Times in Event-Driven Real-Time Systems",
Michael G. Harbour, Universidad de Cantabria, Spain
- "SPARK: The Libre Language and Toolset for High-Assurance Software",
Roderick Chapman, Altran Praxis, UK
- "Distributed Programming Techniques in Ada",
Thomas Quinot, AdaCore, France
Panel sessions
- "Programming Languages Meet Multicore", moderator Erhard Plödereder
(Univ. of Stuttgart), Alan Burns (Univ. of York), S. Tucker Taft
(SofCheck, Inc), Kevin Hammond (Univ. of St Andrews)
- "DO178C and Object-Orientation for Critical Systems", moderator Tim
Kelly (Univ. of York), Cyrille Comar (AdaCore), Jean-Pierre Rosen
(Adalog), Dewi Daniels (Verocel), Trevor Jennings (Altran Praxis)
Papers and Presentations
- 12 refereed technical papers in sessions on Multicore, Verification,
Achitecture and Modelling, Education and Mixed Criticality
- 12 industrial presentations in sessions on Modelling and Complexity,
Real-time and Longevity, Transitioning and Debugging, Innovation and
New Markets
- submissions by authors from 19 countries, and accepted contributions
from Denmark, Finland, France, Germany, the Netherlands, Poland,
Slovakia, Spain, Sweden, UK, USA
Vendor exhibition
- 14 exhibitors already committed: AdaCore, Altran Praxis, Causalis
Limited, Ellidiss Software, Green Hills Software, IPL, LDRA,
Objektum Solutions, Rapita Systems, Resource Engineering, TTE
Systems, Vector Software, Verocel and Wind River
- vendor presentation track for exhibitors
Social evening events
- Tuesday: welcome reception with single malt Scotch whisky tasting
- Wednesday: conference banquet dinner at The Signet Library, just
below Edinburgh Castle, in the center of Edinburgh's Old Town;
- pre-dinner speech by Les Hatton "On the Evolution of Unnatural
Language"
Registration
- early registration discount up to Mon May 23, 2011
- additional discount for academia, Ada-Europe, ACM SIGAda and
Safety-Critical Systems Club members
- registration includes copy of printed proceedings at event
- includes coffee breaks and lunches
- three day conference registration includes social events
- payment possible by check, bank transfer or credit card
Please make sure you book accommodation as soon as possible as hotels
in the area tend to be extremely busy.
For more info and latest updates see the conference web site at
<http://www.ada-europe.org/conference2011>.
-----------------------------------------------------------------------
Our apologies if you receive multiple copies of this announcement.
Please circulate widely.
If you have a LinkedIn account, let your network know that you will
be attending or are interested in this event; see RSVPs on
http://events.linkedin.com/Ada-Connection-16th-International/pub/405820
Dirk.Craeynest@cs.kuleuven.be, Ada-Europe'2011 Publicity Chair
*** 16th Intl.Conf.on Reliable Software Technologies - Ada-Europe'2011
*** June 20-24, 2011 *** Edinburgh, UK *** http://www.ada-europe.org
(V8.1)
Date: Mon, 2 May 2011 07:29:00 -0400
From: "Roby, Clyde G" <roby@IDA.ORG>
Subject: Monthly Reminder for SIGAda
To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG
Message for May 2011:
We hope that you plan to attend our annual SIGAda conference in 2011:
SIGAda Annual International Conference on Ada and Related Technologies:
Engineering Safe, Secure, and Reliable Software
6-10 November 2011
Magnolia Hotel
Denver, Colorado, USA
http://www.acm.org/sigada/conf/sigada2011/
----------------------------------------------------------------------
Don't forget about other upcoming Ada-related conferences
and other relatively general conferences where Ada might be:
o DASIA (DAta Systems In Aerospace) 2011
Corinthia Palace Hotel & Spa
MALTA
17-20 May 2011
http://www.eurospace.org/
o The Ada Connection combines the
16th International Conference on Reliable Software Technologies (Ada-Europe 2011)
with Ada Conference UK 2011
Edinburgh, UK
20-24 June 2011
http://www.ada-europe.org/conference2011
o ITiCSE (Innovation and Technology in Computer Science Education) 2011
Darmstadt, Germany
27-29 June 2011
http://www.iticse2011.tu-darmstadt.de/
o IRTAW-15 (15th International Real-Time Ada Workshop)
Liébana (Cantabria), Spain
September 14-16, 2011
http://www.artist-embedded.org/artist/-IRTAW-15-.html
o SIGAda Annual International Conference on Ada and Related Technologies (SIGAda 2011):
Engineering Safe, Secure, and Reliable Software
Magnolia Hotel
Denver, Colorada, USA
6-10 November 2011
http://www.sigada.org/conf/sigada2011/
o ACM Technical Symposium on Computer Science Education (SIGCSE 2012)
Raleigh, North Carolina, USA
February 29 - March 3, 2012
http://www.sigcse.org/sigcse2012/
----------------------------------------------------------------------
[...]
Clyde Roby, SIGAda Secretary
From: dirk@vana.cs.kuleuven.be. (Dirk Craeynest)
Newsgroups: comp.lang.ada,fr.comp.lang.ada,comp.lang.misc
Subject: 16th Int.Conf. Reliable Software Technologies, Ada-Europe 2011
Date: Sun, 17 Apr 2011 19:44:59 +0000 (UTC)
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,Edinburgh,UK
-----------------------------------------------------------------------
Call for Participation
*** PROGRAM SUMMARY ***
The Ada Connection
16th International Conference on
Reliable Software Technologies - Ada-Europe 2011
+
Ada Conference UK 2011
20 - 24 June 2011, Edinburgh, UK
http://www.ada-europe.org/conference2011
Organized by Ada-Europe,
in cooperation with ACM SIGAda
*** Early registration discount until May 23 ***
*** Advance Program available on conference web site ***
-----------------------------------------------------------------------
The Ada Connection, which combines the 16th International Conference on
Reliable Software Technologies - Ada-Europe 2011 - with Ada Conference
UK 2011, will take place in Edinburgh, Scotland's capital city and the
UK's most popular conference destination.
The Ada Connection is the union of two Ada events that have both
been very successful in their own right. The Ada-Europe series of
conferences has become established as an international forum for
providers, practitioners and researchers in all aspects of reliable
software technologies. The Ada Conference UK has been running
in its current form since 2006 as a series of biennial one-day
events, to highlight the increased relevance of Ada in safety-
and security-critical systems. By combining these events, the Ada
Connection will provide a unique opportunity for interaction and
collaboration between academics and industrial practitioners.
The 20-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, keynote presentations, and panel
sessions. In the menu on the home page first select "Programme",
and then the AP download link. Also check the conference web site
for registration, accommodation and travel information.
Quick overview
- Mon 20 & Fri 24: tutorials
- Tue 15 - Thu 17: paper, industrial & vendor presentations
- Tue 15 - Wed 16: vendor exhibition
Proceedings
- published by Springer
- volume 6652 in Lecture Notes in Computer Science series (LNCS)
- will be available at conference
Program co-chairs
- Alexander Romanovsky, Newcastle University, UK
alexander.romanovsky@ncl.ac.uk
- Tullio Vardanega, University of Padua, Italy
tullio.vardanega@math.unipd.it
Invited speakers
- Peter Bernard Ladkin, University of Bielefeld CITEC and Causalis
Limited, "Functional Safety of Software-Based Critical Systems"
- Pippa Moore, UK Civil Aviation Authority,
"Hippocrates and DO-178B"
- Jeff O'Leary, US Federal Aviation Administration, "Assuring Software
Reliability While Using Web Services and Commercial Products"
Tutorials (half day)
- "Experimenting with ParaSail - Parallel Specification and
Implementation Language", S. Tucker Taft, SofCheck, USA
- "Designing and Checking Coding Standards for Ada",
Jean-Pierre Rosen, Adalog, France
- "Programming Distributed Systems with YAMI4",
Maciej Sobczak, Inspirel, Poland
- "Why and How to Measure Non-functional Properties On-target",
Ian Broster, Rapita Systems Ltd, UK
- "Hard Real-Time and Embedded Systems Programming with Ada",
Pat Rogers, AdaCore, France
- "Use of Object-Oriented Technologies in High-Reliability Systems",
Jean-Pierre Rosen, Adalog, France
Tutorials (full day)
- "MAST: Predicting Response Times in Event-Driven Real-Time Systems",
Michael G. Harbour, Universidad de Cantabria, Spain
- "SPARK: The Libre Language and Toolset for High-Assurance Software",
Roderick Chapman, Altran Praxis, UK
- "Distributed Programming Techniques in Ada",
Thomas Quinot, AdaCore, France
Panel sessions
- "Programming Languages Meet Multicore", moderator Erhard Plödereder
(Univ. of Stuttgart), Alan Burns (Univ. of York), S. Tucker Taft
(SofCheck, Inc), Kevin Hammond (Univ. of St Andrews)
- "DO178C and Object-Orientation for Critical Systems", moderator Tim
Kelly (Univ. of York), Cyrille Comar (AdaCore), Jean-Pierre Rosen
(Adalog), Dewi Daniels (Verocel), Trevor Jennings (Altran Praxis)
Papers and Presentations
- 12 refereed technical papers in sessions on Multicore, Verification,
Achitecture and Modelling, Education and Mixed Criticality
- 12 industrial presentations in sessions on Modelling and Complexity,
Real-time and Longevity, Transitioning and Debugging, Innovation and
New Markets
- submissions by authors from 19 countries, and accepted contributions
from Denmark, Finland, France, Germany, the Netherlands, Poland,
Slovakia, Spain, Sweden, UK, USA
Vendor exhibition
- 14 exhibitors already committed: AdaCore, Altran Praxis, Causalis
Limited, Ellidiss Software, Green Hills Software, IPL, LDRA,
Objektum Solutions, Rapita Systems, Resource Engineering, TTE
Systems, Vector Software, Verocel and Wind River
- vendor presentation track for exhibitors
Social evening events
- Tuesday: welcome reception with single malt Scotch whisky tasting
- Wednesday: conference banquet dinner at The Signet Library, just
below Edinburgh Castle, in the center of Edinburgh's Old Town;
- pre-dinner speech by Les Hatton "On the Evolution of Unnatural
Language"
Registration
- early registration discount up to Mon May 23, 2011
- additional discount for academia, Ada-Europe, ACM SIGAda and
Safety-Critical Systems Club members
- registration includes copy of printed proceedings at event
- includes coffee breaks and lunches
- three day conference registration includes social events
- payment possible by check, bank transfer or credit card
Please make sure you book accommodation as soon as possible as hotels
in the area tend to be extremely busy.
For more info and latest updates see the conference web site at
<http://www.ada-europe.org/conference2011>.
-----------------------------------------------------------------------
Our apologies if you receive multiple copies of this announcement.
Please circulate widely.
If you have a LinkedIn account, let your network know that you will
be attending or are interested in this event; see
http://events.linkedin.com/Ada-Connection-16th-International/pub/405820
Dirk.Craeynest@cs.kuleuven.be, Ada-Europe'2011 Publicity Chair
*** 16th Intl.Conf.on Reliable Software Technologies - Ada-Europe'2011
*** June 20-24, 2011 *** Edinburgh, UK *** http://www.ada-europe.org
(V7.1)
Date: Mon, 4 Apr 2011 06:52:10 -0400
From: "Roby, Clyde G" <roby@IDA.ORG>
Subject: Monthly reminder for SIGAda
To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG
Message for April 2011:
We hope that you plan to attend our annual SIGAda conference in 2011:
SIGAda Annual International Conference on Ada and Related Technologies:
Engineering Safe, Secure, and Reliable Software
6-10 November 2011
Magnolia Hotel
Denver, Colorado, USA
http://www.acm.org/sigada/conf/sigada2011/
----------------------------------------------------------------------
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 The Ada Connection combines the
16th International Conference on Reliable Software Technologies (Ada-Europe 2011)
with Ada Conference UK 2011
Edinburgh, UK
20-24 June 2011
http://www.ada-europe.org/conference2011
o [ duplicates removed; see above -- dc ]
----------------------------------------------------------------------
[...]
Clyde Roby, SIGAda Secretary
Date: Wed, 2 Mar 2011 06:33:58 -0500
From: "Roby, Clyde G" <roby@IDA.ORG>
Subject: Monthly Reminder for SIGAda
To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG
Message for March 2011:
We hope that you plan to attend our annual SIGAda conference in 2011:
SIGAda Annual International Conference on Ada and Related Technologies:
Engineering Safe, Secure, and Reliable Software
6-10 November 2011
Magnolia Hotel
Denver, Colorado, USA
http://www.acm.org/sigada/conf/sigada2011/
----------------------------------------------------------------------
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 2011)
Dallas, Texas, USA
9-12 March 2011
http://www.sigcse.org/sigcse2011/
o DASIA (DAta Systems In Aerospace) 2011
Eden Andalou Spa and Resort
Marrakesh, Morocco
17-20 May 2011
http://www.eurospace.org/
o The Ada Connection combines the
16th International Conference on Reliable Software Technologies (Ada-Europe 2011)
with Ada Conference UK 2011
Edinburgh, UK
20-24 June 2011
http://www.ada-europe.org/conference2011
o [ duplicates removed; see above -- dc ]
----------------------------------------------------------------------
[...]
Clyde Roby, SIGAda Secretary
Date: Tue, 15 Feb 2011 06:56:12 -0500 From: "Roby, Clyde G" <roby@IDA.ORG> Subject: Monthly Reminder for SIGAda To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG [ 51 lines deleted; see updated version above -- dc ]
From: dirk@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 2011
Date: Fri, 31 Dec 2010 08:10:45 +0000 (UTC)
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,Edinburgh,UK
-----------------------------------------------------------------------
FINAL Call for Industrial Presentations
The Ada Connection
16th International Conference on
Reliable Software Technologies - Ada-Europe 2011
+
Ada Conference UK 2011
20 - 24 June 2011, Edinburgh, UK
http://www.ada-europe.org/conference2011
*** DEADLINE Saturday 8 JANUARY 2010 ***
-----------------------------------------------------------------------
The Ada Connection combines the 16th International Conference on
Reliable Software Technologies - Ada-Europe 2011 - with Ada Conference
UK 2011. It will take place in Edinburgh, Scotland's capital city and
the UK's most popular conference destination.
In addition to the usual Call for Papers, the conference also seeks
industrial presentations which deliver value and insight, but may not
fit the selection process for regular papers.
Authors of industrial presentations are invited to submit a short
overview (at least one page) of the proposed presentation by 8 January
2011. The Industrial Committee will review the proposals and make the
selection. To submit your abstract, please visit:
http://conferences.ncl.ac.uk/adaconnection2011/industrial_contributions_form.php
The authors of selected presentations shall prepare a final short
abstract and submit it by 16 May 2011, aiming at a 20-minute talk.
Accepted authors will also 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. For any
further information please contact the Industrial Chair directly.
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
--------
08 January 2011: Submission of industrial presentation proposals
08 February 2011: Notification of acceptance to authors
16 May 2011: Industrial presentations required
20-24 June 2011: Conference
Industrial Committee
--------------------
Jamie Ayre, AdaCore, France (Industrial Chair)
Guillem Bernat, Rapita Systems, UK
Dirk Craeynest, Aubay Belgium & K.U.Leuven, Belgium
Hubert Keller, Forschungszentrum Karlsruhe GmbH, Germany
Ismael Lafoz, Airbus Military, Spain
Ahlan Marriott, White-Elephant GmbH, Switzerland
Paul Parkinson, Wind River, UK
Jean-Pierre Rosen, Adalog, France
Alok Srivastava, TASC Inc, USA
Rei Stråhle, Sweden
Rod White, MBDA, UK
-----------------------------------------------------------------------
Our apologies if you receive multiple copies of this announcement.
Please circulate widely.
If you have a LinkedIn account, let your network know that you will
be attending or are interested in thist event; see
http://events.linkedin.com/Ada-Connection-16th-International/pub/405820
Dirk.Craeynest@cs.kuleuven.be, Ada-Europe'2011 Publicity Chair
(V6.1)
From: dirk@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 2011
Date: Wed, 8 Dec 2010 20:53:27 +0000 (UTC)
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,Edinburgh,UK
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.
Consider what others might learn from the experience gained in those
projects, and please try to get a presentation overview submitted by
January 8th at the latest, 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 receiving many interesting presentations.
Dirk Craeynest, Ada-Europe'2011 Publicity Chair
-----------------------------------------------------------------------
Call for Industrial Presentations
The Ada Connection
16th International Conference on
Reliable Software Technologies - Ada-Europe 2011
+
Ada Conference UK 2011
20 - 24 June 2011, Edinburgh, UK
http://www.ada-europe.org/conference2011
Organized by Ada-Europe,
in cooperation with ACM SIGAda
*** DEADLINE Saturday 8 JANUARY 2010 ***
-----------------------------------------------------------------------
General Information
-------------------
The Ada Connection combines the 16th International Conference on
Reliable Software Technologies - Ada-Europe 2011 - with Ada Conference
UK 2011. It will take place in Edinburgh, Scotland's capital city and
the UK's most popular conference destination.
In traditional Ada-Europe 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. The Ada Connection will also encompass technical
and vendor tracks under the banner of Ada Conference UK.
The Ada Connection will thus provide a unique opportunity for
interaction and collaboration between academics and industrial
practitioners.
Call for Industrial Presentations
---------------------------------
In addition to the usual Call for Papers, the conference also seeks
industrial presentations which deliver value and insight, but may not
fit the selection process for regular papers.
Schedule
--------
08 January 2011: Submission of industrial presentation proposals
08 February 2011: Notification of acceptance to authors
16 May 2011: Industrial presentations required
20-24 June 2011: Conference
Submission of Presentations
---------------------------
Authors of industrial presentations are invited to submit a short
overview (at least one page) of the proposed presentation by 8 January
2011. The Industrial Committee will review the proposals and make the
selection. To submit your abstract, please visit:
http://conferences.ncl.ac.uk/adaconnection2011/industrial_contributions_form.php
The authors of selected presentations shall prepare a final short
abstract and submit it by 16 May 2011, aiming at a 20-minute talk.
Accepted authors will also 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. For any
further information please contact the Industrial Chair directly.
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.
Call for Exhibitors
-------------------
The commercial exhibition will span two days (Tuesday & Wednesday) 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
-----------------
Over the years Ada-Europe has 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 development and
maintenance of long-lived, high-quality software systems for a variety
of established and novel 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.
All 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
Engineering, Formal Methods and Supporting Toolsets, Re-engineering
and Reverse Engineering, Reuse, Software Management.
- Software Architectures: Architectural Styles, Service-Oriented
Architectures, Cloud Service Model, 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 Technologies.
- 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, Availability,
Trust and Safety, Language Vulnerabilities.
- Embedded Systems: Multicore Architectures, HW/SW Co-Design,
Reliability and Performance Analysis.
- Mainstream and Emerging Applications: Manufacturing, Robotics,
Avionics, Space, Health Care, Transportation, Energy, Fun and
Business Games, Telecommunication, etc.
- Experience Reports: Case Studies and Comparative Assessments,
Management Approaches, Qualitative and Quantitative Metrics.
- The Future of Ada: New language features, implementation and use
issues; positioning in the market and in education; where should
Ada stand in the software engineering curriculum; lessons learned
on Ada Education and Training Activities with bearing on any of the
conference topics.
Industrial Committee
--------------------
Guillem Bernat, Rapita Systems, UK
Dirk Craeynest, Aubay Belgium & K.U.Leuven, Belgium
Hubert Keller, Forschungszentrum Karlsruhe GmbH, Germany
Ismael Lafoz, Airbus Military, Spain
Ahlan Marriott, White-Elephant GmbH, Switzerland
Paul Parkinson, Wind River, UK
Jean-Pierre Rosen, Adalog, France
Alok Srivastava, TASC Inc, USA
Rei Stråhle, Sweden
Rod White, MBDA, UK
Conference Organization
-----------------------
Honorary Chair
John Barnes, John Barnes Informatics, UK
jgpb@jbinfo.demon.co.uk
Conference Co-Chairs
Rod Chapman, Altran Praxis Ltd, UK
rod.chapman@altran-praxis.com
Steve Riddle, Newcastle University, UK
steve.riddle@ncl.ac.uk
Program Co-Chairs
Alexander Romanovsky, Newcastle University, UK
alexander.romanovsky@ncl.ac.uk
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
Joan Atkinson, CSR, UK
joan.atkinson@ncl.ac.uk
Industrial Chair
Jamie Ayre, AdaCore, France
ayre@adacore.com
Publicity Chair
Dirk Craeynest, Aubay Belgium & K.U.Leuven, Belgium
Dirk.Craeynest@cs.kuleuven.be
Finance Chair
Neil Speirs, Newcastle University, UK
neil.speirs@ncl.ac.uk
Local Chairs
Joan Atkinson & Claire Smith, CSR, UK
{joan.atkinson,claire.smith}@ncl.ac.uk
-----------------------------------------------------------------------
Our apologies if you receive multiple copies of this announcement.
Please circulate widely.
If you have a LinkedIn account, let your network know that you will
be attending or are interested in thist event; see
http://events.linkedin.com/Ada-Connection-16th-International/pub/405820
Dirk.Craeynest@cs.kuleuven.be, Ada-Europe'2011 Publicity Chair
(V5.1)
From: dirk@cs.kuleuven.be (Dirk Craeynest)
Newsgroups: comp.lang.ada,fr.comp.lang.ada,comp.lang.misc
Subject: Ada-Europe 2011, Nov 28 EXTENDED submission deadline
Date: Tue, 16 Nov 2010 20:10:30 +0000 (UTC)
Organization: Ada-Europe, c/o Dept. of Computer Science, K.U.Leuven
Summary: Submission deadline extended by 1 week until November 28.
Keywords: Conference,tutorials,industry,reliability,Ada,LNCS,Edinburgh,UK
The recently posted reminder for The Ada Connection triggered several
requests for extra time. To give all authors the same opportunity to
further refine their submission, the Conference and Program Chairs
decided that the deadline for regular papers, tutorials and workshops
will be extended by 1 week until Sunday, November 28, 2010.
-----------------------------------------------------------------------
FINAL Call for Papers / Tutorials / Workshops
*** Extended DEADLINE Sunday 28 NOVEMBER 2010 ***
The Ada Connection
16th International Conference on
Reliable Software Technologies - Ada-Europe 2011
+
Ada Conference UK 2011
20 - 24 June 2011, Edinburgh, UK
Regular Papers: submit via
http://www.easychair.org/conferences/?conf=adaeurope16
Tutorials: submit to Tutorial Chair at
albert.llemosi@uib.cat
Workshops: submit to Conference Chair at
steve.riddle@ncl.ac.uk
For more information see
http://www.ada-europe.org/conference2011
http://events.linkedin.com/Ada-Connection-16th-International/pub/405820
-----------------------------------------------------------------------
Our apologies if you receive multiple copies of this announcement.
Dirk.Craeynest@cs.kuleuven.be, Ada-Europe'2011 Publicity Chair
(V4.1)
From: dirk@cs.kuleuven.be (Dirk Craeynest)
Newsgroups: comp.lang.ada,fr.comp.lang.ada,comp.lang.misc
Subject: Final CfP Ada-Europe 2011, Nov 21 submission deadline
Date: Sun, 14 Nov 2010 17:09:54 +0000 (UTC)
Organization: Ada-Europe, c/o Dept. of Computer Science, K.U.Leuven
Summary: Submission deadline within 1 week!
Keywords: Conference,tutorials,industry,reliability,Ada,LNCS,Edinburgh,UK
-----------------------------------------------------------------------
FINAL Call for Papers / Tutorials / Workshops
The Ada Connection
16th International Conference on
Reliable Software Technologies - Ada-Europe 2011
+
Ada Conference UK 2011
20 - 24 June 2011, Edinburgh, UK
http://www.ada-europe.org/conference2011
*** DEADLINE Sunday 21 NOVEMBER 2010 ***
The Ada Connection combines the 16th International Conference on
Reliable Software Technologies - Ada-Europe 2011 - with Ada
Conference UK 2011. It will take place in Edinburgh, Scotland's
capital city and the UK's most popular conference destination.
In traditional Ada-Europe 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. The Ada Connection will also encompass technical
and vendor tracks under the banner of Ada Conference UK, which exists
to promote awareness of Ada and to highlight the increased relevance
of Ada in safety- and security-critical programming.
The Ada Connection will provide a unique opportunity for interaction
and collaboration between academics and industrial practitioners.
Regular Papers: submit via
http://www.easychair.org/conferences/?conf=adaeurope16
Tutorials: submit to Tutorial Chair at
albert.llemosi@uib.cat
Workshops: submit to Conference Chair at
steve.riddle@ncl.ac.uk
For more information please see the full Call for Papers at
http://conferences.ncl.ac.uk/adaconnection2011/resources/final-cfp-AdaConn2011.pdf
If you have a LinkedIn account, let your network know that
you will be attending or are interested in this event; see
http://events.linkedin.com/Ada-Connection-16th-International/pub/405820
-----------------------------------------------------------------------
Our apologies if you receive multiple copies of this announcement.
Please circulate widely.
Dirk.Craeynest@cs.kuleuven.be, Ada-Europe'2011 Publicity Chair
(V3.1)
From: dirk@cs.kuleuven.be (Dirk Craeynest)
Newsgroups: comp.lang.ada,fr.comp.lang.ada,comp.lang.misc
Subject: Ada-Europe 2011 submission deadline approaching
Date: Sun, 31 Oct 2010 19:51:02 +0000 (UTC)
Organization: Ada-Europe, c/o Dept. of Computer Science, K.U.Leuven
Keywords: Conference,tutorials,industry,reliability,Ada,LNCS,Edinburgh,UK
-----------------------------------------------------------------------
2nd CALL FOR PAPERS
The Ada Connection
16th International Conference on
Reliable Software Technologies - Ada-Europe 2011
+
Ada Conference UK 2011
20 - 24 June 2011, Edinburgh, UK
http://www.ada-europe.org/conference2011
Organized by Ada-Europe,
in cooperation with ACM SIGAda
*** DEADLINE 21 NOVEMBER ***
*** Web submission system available ***
-----------------------------------------------------------------------
Ada-Europe organizes annual international conferences since the early
80's. This is the 16th 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),
Brest, France ('09), and Valencia, Spain ('10).
The Ada Conference UK is organized roughly every 1.5 years to promote
awareness of the Ada programming language in the UK and to highlight
the increased relevance of Ada in safety- and security-critical
programming. Previous events were held at Manchester ('06 and '07)
and London ('09).
General Information
-------------------
The Ada Connection combines the 16th International Conference on
Reliable Software Technologies - Ada-Europe 2011 - with Ada Conference
UK 2011. It will take place in Edinburgh, Scotland's capital city and
the UK's most popular conference destination.
In traditional Ada-Europe 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. The Ada Connection will also encompass technical
and vendor tracks under the banner of Ada Conference UK.
The Ada Connection will thus provide a unique opportunity for
interaction and collaboration between academics and industrial
practitioners.
Schedule
--------
21 November 2010: Submission deadline for regular papers, tutorial and
workshop proposals
08 January 2011: Submission of industrial presentation proposals
08 February 2011: Notification of acceptance to authors
08 March 2011: Camera-ready version of regular papers required
16 May 2011: Industrial presentations, tutorial and workshop
material required
20-24 June 2011: Conference
Topics
------
Over the years Ada-Europe has 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 development and
maintenance of long-lived, high-quality software systems for a variety
of established and novel 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.
All 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
Engineering, Formal Methods and Supporting Toolsets, Re-engineering
and Reverse Engineering, Reuse, Software Management.
- Software Architectures: Architectural Styles, Service-Oriented
Architectures, Cloud Service Model, 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 Technologies.
- 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, Availability,
Trust and Safety, Language Vulnerabilities.
- Embedded Systems: Multicore Architectures, HW/SW Co-Design,
Reliability and Performance Analysis.
- Mainstream and Emerging Applications: Manufacturing, Robotics,
Avionics, Space, Health Care, Transportation, Energy, Fun and
Business Games, Telecommunication, etc.
- Experience Reports: Case Studies and Comparative Assessments,
Management Approaches, Qualitative and Quantitative Metrics.
- The Future of Ada: New language features, implementation and use
issues; positioning in the market and in education; where should
Ada stand in the software engineering curriculum; lessons learned
on Ada 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 8 March 2011.
For format and style guidelines authors should refer to
http://www.springer.de/comp/lncs/authors.html. Failure to comply and
to register for the conference by that date 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 deliver value
and insight, but may not fit the selection process for regular papers.
Authors of industrial presentations are invited to submit a short
overview (at least one page) of the proposed presentation by 8 January
2011. Please follow the submission instructions on the conference
website. The Industrial Committee will review the proposals and make
the selection. The authors of selected presentations shall prepare a
final short abstract and submit it by 16 May 2011, aiming at a
20-minute talk. Accepted authors will also 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.
For any further information please contact the Industrial Chair
directly.
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, to
be scheduled at either end of the conference week. 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 five; 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 two days (Tuesday & Wednesday)
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 Reduced Student Fees
-------------------------------
A limited number of sponsored grants for reduced fees is expected to be
available for students who would like to attend the conference or
tutorials. Contact the Conference Chair for details.
Organizing Committee
--------------------
Honorary Chair
John Barnes, John Barnes Informatics, UK
jgpb@jbinfo.demon.co.uk
Conference Co-Chairs
Rod Chapman, Altran Praxis Ltd, UK
rod.chapman@altran-praxis.com
Steve Riddle, Newcastle University, UK
steve.riddle@ncl.ac.uk
Program Co-Chairs
Alexander Romanovsky, Newcastle University, UK
alexander.romanovsky@ncl.ac.uk
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
Joan Atkinson, CSR, UK
joan.atkinson@ncl.ac.uk
Industrial Chair
Jamie Ayre, AdaCore, France
ayre@adacore.com
Publicity Chair
Dirk Craeynest, Aubay Belgium & K.U.Leuven, Belgium
Dirk.Craeynest@cs.kuleuven.be
Finance Chair
Neil Speirs, Newcastle University, UK
neil.speirs@ncl.ac.uk
Local Chairs
Joan Atkinson & Claire Smith, CSR, UK
{joan.atkinson,claire.smith}@ncl.ac.uk
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
Jon Burton, Altran Praxis Limited, UK
Rod Chapman, Altran Praxis Limited, 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
Franco Gasperoni, AdaCore, France
Michael González Harbour, Universidad de Cantabria, Spain
José Javier Gutiérrez, Universidad de Cantabria, Spain
Andrew Hately, Eurocontrol Experimental Centre, France
Peter Hermann, Universität Stuttgart, Germany
Jérôme Hugues, ISAE Toulouse, France
Albert Llemosí, Universitat de les Illes Balears, Spain
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
Jürgen Mottok, Regensburg University of Applied Sciences, 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, Newcastle University, UK
Bo I. Sandén, Colorado Technical University, USA
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
Elena Troubitsyna, Äbo Akademi, Finland
Santiago Urueña, GMV, Spain
Tullio Vardanega, Università di Padova, Italy
Andy Wellings, University of York, UK
Jürgen Winkler, Friedrich-Schiller Universität, Germany
Industrial Committee
--------------------
Guillem Bernat, Rapita Systems, UK
Dirk Craeynest, Aubay Belgium & K.U.Leuven, Belgium
Hubert Keller, Forschungszentrum Karlsruhe GmbH, Germany
Ismael Lafoz, Airbus Military, Spain
Ahlan Marriott, White-Elephant GmbH, Switzerland
Paul Parkinson, Wind River, UK
Jean-Pierre Rosen, Adalog, France
Alok Srivastava, TASC Inc, USA
Rei Stråhle, Sweden
Rod White, MBDA, UK
-----------------------------------------------------------------------
Our apologies if you receive multiple copies of this announcement.
Please circulate widely.
If you have a LinkedIn account, let your network know that you will
be attending or are interested in this event; see
http://events.linkedin.com/Ada-Connection-16th-International/pub/405820
Dirk.Craeynest@cs.kuleuven.be, Ada-Europe'2011 Publicity Chair
(V2.1)
Date: Fri, 1 Oct 2010 11:36:04 -0400
From: "Roby, Clyde G" <roby@IDA.ORG>
Subject: Monthly Reminder for SIGAda
To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG
Message for October 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
October 24-28, 2010
Fairfax, Virginia, USA
(suburb of Washington, DC)
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 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/
o [ duplicates removed; see above -- dc ]
o The Ada Connection combines the
16th International Conference on Reliable Software Technologies (Ada-Europe 2011)
with Ada Conference UK 2011
Edinburgh, UK
20-24 June 2011
[ http://www.ada-europe.org/conference2011 -- dc ]
o [ duplicates removed; see above -- dc ]
----------------------------------------------------------------------
[...]
Clyde Roby, SIGAda Secretary
From: dirk@cs.kuleuven.be (Dirk Craeynest)
Newsgroups: comp.lang.ada,fr.comp.lang.ada,comp.lang.misc
Subject: CfP 16th Conf. Reliable Software Technologies, Ada-Europe 2011
Date: Sun, 29 Aug 2010 20:30:14 +0000 (UTC)
Organization: Ada-Europe, c/o Dept. of Computer Science, K.U.Leuven
Keywords: Conference,tutorials,industry,reliability,Ada,LNCS,Edinburgh,UK
-----------------------------------------------------------------------
CALL FOR PAPERS
The Ada Connection
16th International Conference on
Reliable Software Technologies - Ada-Europe 2011
+
Ada Conference UK 2011
20 - 24 June 2011, Edinburgh, UK
http://www.ada-europe.org/conference2011
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 16th 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),
Brest, France ('09), and Valencia, Spain ('10).
The Ada Conference UK is organized roughly every 1.5 years to promote
awareness of the Ada programming language in the UK and to highlight
the increased relevance of Ada in safety- and security-critical
programming. Previous events were held at Manchester ('06 and '07)
and London ('09).
General Information
-------------------
The Ada Connection combines the 16th International Conference on
Reliable Software Technologies - Ada-Europe 2011 - with Ada Conference
UK 2011. It will take place in Edinburgh, Scotland's capital city and
the UK's most popular conference destination.
In traditional Ada-Europe 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. The Ada Connection will also encompass technical
and vendor tracks under the banner of Ada Conference UK.
The Ada Connection will thus provide a unique opportunity for
interaction and collaboration between academics and industrial
practitioners.
Schedule
--------
21 November 2010: Submission deadline for regular papers, tutorial and
workshop proposals
08 January 2011: Submission of industrial presentation proposals
08 February 2011: Notification of acceptance to authors
08 March 2011: Camera-ready version of regular papers required
16 May 2011: Industrial presentations, tutorial and workshop
material required
20-24 June 2011: Conference
Topics
------
Over the years Ada-Europe has 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 development and
maintenance of long-lived, high-quality software systems for a variety
of established and novel 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.
All 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
Engineering, Formal Methods and Supporting Toolsets, Re-engineering
and Reverse Engineering, Reuse, Software Management.
- Software Architectures: Architectural Styles, Service-Oriented
Architectures, Cloud Service Model, 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 Technologies.
- 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, Availability,
Trust and Safety, Language Vulnerabilities.
- Embedded Systems: Multicore Architectures, HW/SW Co-Design,
Reliability and Performance Analysis.
- Mainstream and Emerging Applications: Manufacturing, Robotics,
Avionics, Space, Health Care, Transportation, Energy, Fun and
Business Games, Telecommunication, etc.
- Experience Reports: Case Studies and Comparative Assessments,
Management Approaches, Qualitative and Quantitative Metrics.
- The Future of Ada: Glimpses on the ongoing language revision as it
reaches standardization; positioning in the market and in education;
where should Ada stand in the software engineering curriculum;
lessons learned on Ada 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 8 March 2011.
For format and style guidelines authors should refer to
http://www.springer.de/comp/lncs/authors.html. Failure to comply and
to register for the conference by that date 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 deliver value
and insight, but may not fit the selection process for regular papers.
Authors of industrial presentations are invited to submit a short
overview (at least one page) of the proposed presentation by 8 January
2011. Please follow the submission instructions on the conference
website. The Industrial Committee will review the proposals and make
the selection. The authors of selected presentations shall prepare a
final short abstract and submit it by 16 May 2011, aiming at a
20-minute talk. Accepted authors will also 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.
For any further information please contact the Industrial Chair
directly.
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, to
be scheduled at either end of the conference week. 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 five; 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 Reduced Student Fees
-------------------------------
A limited number of sponsored grants for reduced fees is expected to be
available for students who would like to attend the conference or
tutorials. Contact the Conference Chair for details.
Organizing Committee
--------------------
Honorary Chair
John Barnes, John Barnes Informatics, UK
jgpb@jbinfo.demon.co.uk
Conference Co-Chairs
Rod Chapman, Altran Praxis Ltd, UK
rod.chapman@altran-praxis.com
Steve Riddle, Newcastle University, UK
steve.riddle@ncl.ac.uk
Program Co-Chairs
Alexander Romanovsky, Newcastle University, UK
alexander.romanovsky@ncl.ac.uk
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
Joan Atkinson, CSR, UK
joan.atkinson@ncl.ac.uk
Industrial Chair
Jamie Ayre, AdaCore, France
ayre@adacore.com
Publicity Chair
Dirk Craeynest, Aubay Belgium & K.U.Leuven, Belgium
Dirk.Craeynest@cs.kuleuven.be
Finance Chair
Neil Speirs, Newcastle University, UK
neil.speirs@ncl.ac.uk
Local Chairs
Joan Atkinson & Claire Smith, CSR, UK
{joan.atkinson,claire.smith}@ncl.ac.uk
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
Jon Burton, Altran Praxis Limited, UK
Rod Chapman, Altran Praxis Limited, 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
Franco Gasperoni, AdaCore, France
Michael González Harbour, Universidad de Cantabria, Spain
José Javier Gutiérrez, Universidad de Cantabria, Spain
Andrew Hately, Eurocontrol Experimental Centre, France
Peter Hermann, Universität Stuttgart, Germany
Jérôme Hugues, ISAE Toulouse, France
Albert Llemosí, Universitat de les Illes Balears, Spain
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
Jürgen Mottok, Regensburg University of Applied Sciences, 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, Newcastle University, UK
Bo I. Sandén, Colorado Technical University, USA
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
Elena Troubitsyna, Äbo Akademi, Finland
Santiago Urueña, GMV, Spain
Tullio Vardanega, Università di Padova, Italy
Andy Wellings, University of York, UK
Jürgen Winkler, Friedrich-Schiller Universität, Germany
Industrial Committee
--------------------
Guillem Bernat, Rapita Systems, UK
Dirk Craeynest, Aubay Belgium & K.U.Leuven, Belgium
Hubert Keller, Forschungszentrum Karlsruhe GmbH, Germany
Ismael Lafoz, Airbus Military, Spain
Ahlan Marriott, White-Elephant GmbH, Switzerland
Paul Parkinson, Wind River, UK
Jean-Pierre Rosen, Adalog, France
Rei Stråhle, Sweden
Rod White, MBDA, UK
-----------------------------------------------------------------------
Our apologies if you receive multiple copies of this announcement.
Please circulate widely.
Dirk.Craeynest@cs.kuleuven.be, Ada-Europe'2011 Publicity Chair
(V1.1)
From: Alexander Romanovsky <alexander.romanovsky@ncl.ac.uk>
Date: Thu, 29 Jul 2010 15:55:25 +0100
To: ecoop-info@ecoop.org
Subject: [ecoop-info] cfp Ada-Europe 2011 (The Ada Connection): Edinburgh, 20-24 June 2011
The Ada Connection:
16th International Conference on Reliable Software Technologies - Ada-Europe 2011
Ada Conference UK 2011
20 - 24 June 2011, Edinburgh, UK
http://www.ada-europe.org/conference2011
The Ada Connection combines the 16th International Conference on
Reliable Software Technologies - Ada-Europe 2011 - with Ada Conference
UK 2011. It will take place in Edinburgh, Scotland's capital city and
the UK's most popular conference destination.
Schedule
21 November 2010 Submission deadline for regular papers, tutorial
and workshop proposals
8 January 2011 Submission of industrial presentation proposals
8 February 2011 Notification of acceptance to authors
8 March 2011 Camera-ready version of regular papers required
16 May 2011 Industrial presentations, tutorial and workshop
material required
20-24 June 2011 Conference
Topics
Over the years Ada-Europe has 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 development and
maintenance of long-lived, high-quality software systems for a variety
of established and novel 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.
All 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
Engineering, Formal Methods and Supporting Toolsets, Re-engineering
and Reverse Engineering, Reuse, Software Management.
* Software Architectures: Architectural Styles, Service-Oriented
Architectures, Cloud Service Model, 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 Technologies.
* 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, Availability,
Trust and Safety, Language Vulnerabilities.
* Embedded Systems: Multicore Architectures, HW/SW Co-Design,
Reliability and Performance Analysis.
* Mainstream and Emerging Applications: Manufacturing, Robotics,
Avionics, Space, Health Care, Transportation, Energy, Fun and
Business Games, Telecommunication, etc.
* Experience Reports: Case Studies and Comparative Assessments,
Management Approaches, Qualitative and Quantitative Metrics.
* The Future of Ada: Glimpses on the ongoing language revision as it
reaches standardization; positioning in the market and in education;
where should Ada stand in the software engineering curriculum;
lessons learned on Ada Education and Training Activities with bearing
on any of the conference topics.
See the Call for Papers at http://www.ada-europe.org/conference2011 for
information on committees and submission details for Papers, Industrial
Presentations, Tutorials and Workshops.
Date: Fri, 2 Jul 2010 06:57:26 -0400
From: "Roby, Clyde G" <roby@IDA.ORG>
Subject: Monthly Reminder for SIGAda
To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG
Message for July 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
October 24-28, 2010
Fairfax, Virginia, USA
(suburb of Washington, DC)
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 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/
o [ duplicates removed; see above -- dc ]
o Ada-Europe 2011
16th International Conference on Reliable Software Technologies
Edinburgh, UK
20-24 June 2011
http://www.ada-europe.org/conference2011
o [ duplicates removed; see above -- dc ]
[...]
Clyde Roby, SIGAda Secretary
The Ada-Europe Board announced today at its General Assembly that the Ada-Europe'2011 Conference will be held in Edinburgh, UK, in the week of June 20-24, 2011. Ada-Europe'2011 will be organized together with the Ada Conference UK 2011, under the common name of "The Ada Connection".
The conference website, including the Call for Papers, will be online shortly at URL http://www.ada-europe.org/conference2011.
Ada-Europe Board
Valencia, Spain, June 15, 2010
![[Ada-Belgium]](/~dirk/.image/ada-belgium-icon.gif){kind=icon}
To the Ada-Belgium home page.
Last update: 2011/07/06.
Dirk Craeynest