Inria Rennes - Bretagne Atlantique Research Centre

Start Date

End Date Funded Value Relevance

CSV

25 50 100

£5,237

Jul 21 - Oct 21

The Third International Workshop on Formal Methods in Artificial Intelligence

EPSRC award to Imperial College London and Francesco Belardinelli

£1,579,794

Aug 18 - Aug 24

VeTSpec: Verified Trustworthy Software Specification

SPF award to Imperial College London and Philippa Gardner

{{facetGroup.name}}

{{getFilterText(facet,showCount)}}