Department of Computer Science

Activities

Activities per year 2005 2015 2016 2018 2023

• 59 Participation in conference
• 22 Participation in workshop, seminar, course
• 18 Invited talk
• 11 Membership of peer review panel or committee
• 33 More
  • 8 Examination
  • 7 Oral presentation
  • 6 Editor of research journal
  • 4 Public engagement, outreach and knowledge exchange - Public Lecture/debate/seminar
  • 3 Peer review of manuscripts
  • 2 Membership of public/government advisory/policy group or panel
  • 1 Membership of research network
  • 1 Supervision
  • 1 Visiting an external academic institution

Activities per year

Search results

• On the Metatheory of Subtype Universes (TYPES23)

  Felix Bradley (Speaker)

  12 Jun 2023 → 15 Jun 2023

  Activity: Talk or presentation › Oral presentation

  File

• On the Metatheory of Subtype Universes (WG6)

  Felix Bradley (Speaker)

  24 Apr 2023

  Activity: Talk or presentation › Oral presentation

  File

• Some Aspects of Directed Graphs: Paths and Cycles in Digraphs (Problem Session)

  Yacong Zhou (Speaker)

  6 Oct 2022

  Activity: Talk or presentation › Oral presentation

  File

• Results on the small quasi-kernel conjecture

  Yacong Zhou (Speaker)

  13 Jul 2022

  Activity: Talk or presentation › Oral presentation

  File

• Introducing a Structured Approach to Online Discussion

  Emma Lieu (Speaker)

  27 Jun 2022

  Activity: Talk or presentation › Oral presentation

• Funcons for HGMP

  L. Thomas van Binsbergen (Speaker)

  6 Nov 2018

  Activity: Talk or presentation › Oral presentation

  File

• GLL Parsing with Flexible Combinators

  L. Thomas van Binsbergen (Speaker)

  5 Nov 2018

  Activity: Talk or presentation › Oral presentation

  File