Activities

  1. 2019
  2. Member of EPSRC ICT Prioritisation Panel

    Renate Schmidt (Academic founder)
    Jul 2019

    Activity: Consultancy, spin-outs, CPD & licensingConsultancy & Services

  3. Journal of Artificial Intelligence Research (Journal)

    Renate Schmidt (Assistant editor)
    21 Apr 2019 → …

    Activity: Publication peer-review and editorial workEditorial work

  4. CADE SKolem Award Committee (External organisation)

    Renate Schmidt (Invited member)
    2019

    Activity: MembershipMembership of committee

  5. 2018
  6. Journal of Automated Reasoning (Journal)

    Renate Schmidt (Assistant editor)
    19 Oct 2018 → …

    Activity: Publication peer-review and editorial workEditorial work

  7. 2017
  8. Automated Forgetting and Uniform Interpolation for Description Logics

    Renate Schmidt (Invited speaker)
    23 Sep 2017

    Activity: Talk or presentationInvited talk

  9. Organisation Committee Dagstuhl Seminar on Deduction (External organisation)

    Renate Schmidt (Invited member)
    14 Sep 20172021

    Activity: MembershipMembership of committee

  10. Dagstuhl Seminar “Deduction Beyond First-Order Logic"

    Renate Schmidt (Participant)
    11 Sep 201715 Sep 2017

    Activity: Participating in or organising event(s)Participating in a conference, workshop, exhibition, performance, inquiry, course etc

  11. Maria Paola Bonacina

    Renate Schmidt (Host)
    25 Mar 201730 Apr 2017

    Activity: Hosting a visitorHosting an academic visitor

  12. Journal of Automated Reasoning (Journal)

    Renate Schmidt (Member of editorial board)
    27 Jan 2017 → …

    Activity: Publication peer-review and editorial workEditorial work

  13. 24th International Symposium on Temporal Representation and Reasoning

    Renate Schmidt (Member of programme committee)
    2017

    Activity: Participating in or organising event(s)Participating in a conference, workshop, exhibition, performance, inquiry, course etc

Previous 1 2 Next
Return to faculty and school overview