Conference Program

The Final Program is now available.
> Click here to download the Final Program in PDF

The more extensive Advance Program is still available as well.
> Click here to download the Advance Program in PDF

Overview of the week

 

Morning

Late Morning

Early Afternoon

Afternoon

Monday
14 June
Tutorials

Developing High-Integrity Systems
with GNATforLEON/ORK+
J. A. de la Puente, J. Zamorano

Hypervisor Technology for Building
Safety-Critical Systems: XtratuM
I. Ripoll, A. Crespo

Software Design Concepts and Pitfalls
W. Bail

How to Optimize Reliable Software
I. Broster

Using Object-Oriented Technologies
in Secure Systems
J. P. Rosen

Developing Web-aware Applications
in Ada with AWS
J. P. Rosen

Tuesday
15 June
Sessions & Exhibition

Keynote Talk
What to Make of Multicore Processors for Reliable
Real-Time Systems?
Theodore Baker

Multicores and Ada

Software Dependability

Critical Systems

Vendor Session

Vendor Session

Wednesday
16 June
Sessions & Exhibition

Keynote Talk
Control Co-Design:
Algorithms and
their Implementation
Pedro Albertos

Real-Time Systems

Industrial
Presentations

Industrial
Presentations

Invited Session
Software Vulnerabilities in Programming Languages and Applications
Stephen Michell
Thursday
17 June
Sessions & Exhibition

Keynote Talk
Ada: Made for
the 3.0 World
James Sutton

Language
Technology

Industrial
Presentations

Distribution and Persistency

Friday
18 June
Tutorials

SPARK. The Libre Language and Toolset for High-Assurance Software
R. Chapman

C#, .NET and Ada: Keeping the Faith in a Language-Agnostic Environment
B. Brosgol, J. Lambourg


Tutorial Schedule

The following table includes the tutorial titles, speakers and codes used for registration. Please click on the tutorials' titles for extended information about each of them.

Monday
14 June

T1

Morning

Juan Antonio de la Puente, Juan Zamorano
Developing High-Integrity Systems with GNATforLEON/ORK+

T2

Morning

T3

Morning

T4

Afternoon

T5

Afternoon

T6

Afternoon

Friday
18 June

T8

Full day

T9

Full day

Morning tutorial sessions will start at 9:30 and end at 13:00. Afternoon sessions will start at 14:30 and end at 18:00. Coffee breaks will be at 11:00 - 11:30 and at 16:00 - 16:30.

The speaker of tutorial T7 has fallen ill and his medical recovery prevents him from
attending the conference. Regretfully therefore the tutorial must be cancelled.