York / Canterbury / Mexico City / Montreal / Birmingham / Bath / Oxford / Belgrade / Dagstuhl / Edinburgh / Newcastle / /
Company
Dependable Evolving Systems / Computer Sciences / Verifying Compiler / Mathematical Reasoning Group / US National Cyber Security Partnership / Praxis Critical Systems Ltd / HP Labs / Microsoft / Praxis High Integrity Systems Ltd / /
Country
Germany / Scotland / Ireland / /
Event
Person Communication and Meetings / Funding / /
Facility
Heriot-Watt University / University of Edinburgh / Cambridge University / Manchester University / /
IndustryTerm
extended proof tools / software development processes / prime number generator algorithm / static analysis tool / software components / integrity software / high integrity software development / safety critical applications / software development / security critical systems / property generation systems / proof tools / industrial applications / software applications / defence equipment / safety critical software / industrial strength critical software systems / avionics systems / proof search / technology transfer / security critical applications / /
NaturalFeature
Mountain View CA / /
Organization
Cambridge University / UK Ministry of Defence Interim Defence Standards / UK Computing Research Committee / School of Mathematical and Computer Sciences / Ministry of Defence / Faculty of Mathematics / North Atlantic Treaty Organization / Heriot-Watt University / University of Edinburgh / National Aeronautics and Space Administration / Manchester University / School of Mathematical / IEEE Computer Society / Calculemus Autumn School / Formal Methods / /
Person
R. Chapman / Meta-Level Guidance / Alan Bundy / Bernd Fischer / Tommy Ingulfsen / J. Hammond / Bill Ellis / Predrag Janicic / A. Pryor / Andrew Cook / S. King / Lau / /
Position
Clam Proof Planner / second critic / Young Software Engineer / translator / relatively straight forward / Local Arrangement Chair / Co-investigator / researcher / first critic / Research Associate / principle investigator / proof planner / Professor / suitable replacement post-doctoral researcher / named post-doctoral researcher / post-doctoral researcher / programmer / King / /
Product
EuroFighter / NuSPADE / /
ProgrammingLanguage
Prolog / Java / Ada / /
PublishedMedium
the ERCIM News / Formal Aspects of Computing / Lecture Notes in Computer Science / /
RadioStation
Watt / /
Region
central Scotland / /
Technology
Find algorithm / prime number generator algorithm / artificial intelligence / Java / /
Automatic Guidance for the Formal Verification of High Integrity Ada Final Report of EPSRC Grant GR/R24081 Andrew Ireland