HomeNewsPeoplePublications

VERIWARE - News

February 2012: We please to announce the release of PRISM-games, a new extension of PRISM for model checking stochastic multi-player games.
September 2011: VERIWARE will join four other ERC-funded projects, SMSCom, PBM-FIMBSE, LUCRETIUS and QUAREM, for a Workshop on Software Quality.
October 2010: A fully funded PhD studentship is now available at Oxford on the new VERIWARE project. Applications close 31 Dec 2010. See here for more details.
March 2010: Two postdoctoral positions are now available at Oxford on the forthcoming VERIWARE project. Applications close 7 May 2010. See here for more details.
March 2010: Two fully funded PhD studentships are now available at Oxford on the forthcoming VERIWARE project. Applications close 4 May 2010. See here for more details.
November 2009: Marta Kwiatkowska has been awarded a highly competitive European Research Council Advanced Investigators Grant for the new 5-year project VERIWARE. See the press release and overview for more details.