Andrew Ireland / Cambridge University Press / DEPLOY / Edinburgh University Press / /
Country
United Kingdom / Ireland / Wales / / /
Event
Product Issues / Business Partnership / /
Facility
Informatics University of Edinburgh Informatics Forum / Newcastle University / Swansea University / University of Edinburgh / /
IndustryTerm
larger applications / automated proof search / large software applications / rail applications / search problem / heuristic search techniques / proof search / less proof search / /
Organization
Cambridge University / Machine Intelligence / Gudmund Grov Alan Bundy School / Newcastle University / University of Edinburgh / Cliff B. Jones School of Computing Newcastle University Newcastle / Swansea University / Artificial Intelligence for Formal Methods / United Kingdom School / Informatics University / /
Person
David Plummer / Teresa Llano / Michael Butler / John Power / Markus Roggenbach / Gudmund Grov / Laurent Voison (Systerel) / Thierry Lecomte (Clearsy) / John Thornton / Alan Bundy / Jim Woodcock / Leo Freitas / Konstantinos Tourlas / Angela Schwering / Ewen Denney / Joey Coleman / Jean-Raymond Abrial / Cliff B. Jones / Paul Jackson / Helmar Gust / Reilly Roggenbach / Ulf Krumnack / /
Position
editor / designer / strategy language interpreter / player / mathematician / Butler / /
Ideas for a high-level proof strategy language Cliff B. Jones School of Computing Newcastle University Newcastle upon Tyne NE1 7RU