|
|
|
High Integrity Language Technology
ACM SIGAda’s Annual International Conference
| Invited Speaker |
Peter Feiler AADL and Model-Based Engineering (Abstract) Software Engineering Institute / Carnegie Mellon University |
Keynote Presentations |
Thomas Ball Correctness via Compilation to Logic (Abstract) Microsoft Research |
Christine Anderson From Ada9X to Spaceport America: Going Where No One Has Gone Before (Abstract) Spaceport America |