Department of Computer Science

Activities

Activities per year 2005 2015 2016 2018 2024

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

Activities per year

Search results

• The Fundamental Constructs of Homogeneous Generative Meta-Programming

  van Binsbergen, L. T. (Speaker)

  17 Jan 2018

  Activity: Other › Public engagement, outreach and knowledge exchange - Public Lecture/debate/seminar

  File

• The Operational Semantics of Programs - Cake Talk CS Department

  van Binsbergen, L. T. (Speaker)

  15 Mar 2017

  Activity: Other › Public engagement, outreach and knowledge exchange - Public Lecture/debate/seminar

  File

• Alice in Logicland

  Chirita, C.-E. (Speaker)

  27 Nov 2015

  Activity: Other › Public engagement, outreach and knowledge exchange - Public Lecture/debate/seminar

• The annotation of protocol sequencing steps in the Sequence Read Archive - Cake Talk, CS Department

  Alnasir, J. (Participant)

  4 Feb 2014

  Activity: Other › Public engagement, outreach and knowledge exchange - Public Lecture/debate/seminar