Skip to main content Skip to main navigation

Projects

Displaying results 11 to 14 of 14.
  1. CLAIRE Saarland II – The CLAIRE Saarland Project

    CLAIRE Saarland II – The CLAIRE Saarland Project

    In June 2018, the CLAIRE initiative was launched with the aim of joining forces in the field of Artificial Intelligence in Europe with a focus on …

  2. TAILOR – Foundations of Trustworthy AI - Integrating Reasoning, Learning and Optimization

    TAILOR – Foundations of Trustworthy AI - Integrating Reasoning, Learning and Optimization

    The TAILOR project was selected by the European Commission in the ICT-48-2020 call for proposals "Towards a vibrant European network of AI excellence …

  3. VerSys – A Sound Verification Platform for Early Software Development for RISC-V based Systems

    VerSys – A Sound Verification Platform for Early Software Development for RISC-V based Systems

    The aim of the VerSys project is to develop a consistent platform for early software development based on RISC-V technology, an instruction set …

  4. CoMem – Corporate Memory

    CoMem – Corporate Memory

    CoMem is an ecosystem based on evolving knowledge graphs integrating information silos and legacy systems as well as (personal) information sources of …