![]() |
![]() |
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 |