Department of Computer Science

Activities

Activities per year 2005 2015 2016 2018 2024

• 59 Participation in conference
• 22 Participation in workshop, seminar, course
• 18 Invited talk
• 11 Membership of peer review panel or committee
• 37 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
  • 1 Membership of research network
  • 1 Supervision
  • 1 Visiting an external academic institution

Activities per year

Search results

• Workshop on Homotopy Type Theory

  Bradley, F. (Participant)

  22 Apr 2023 → 23 Apr 2023

  Activity: Participating in or organising an event › Participation in workshop, seminar, course

• Meeting on String Constraints and Applications

  Hague, M. (Invited speaker)

  6 May 2019 → 9 May 2019

  Activity: Participating in or organising an event › Participation in workshop, seminar, course

• IFIP WG1.3 Foundations of System Specification Meeting

  Claudia-Elena Chirita (Organiser)

  5 Jul 2018 → 7 Jul 2018

  Activity: Participating in or organising an event › Participation in workshop, seminar, course

• Leverhulme School on Graph Transformation Techniques

  Claudia-Elena Chirita (Organiser)

  29 Jun 2018 → 1 Jul 2018

  Activity: Participating in or organising an event › Participation in workshop, seminar, course

• 18th Computer Science Postgraduate Research Colloquium

  Claudia-Elena Chirita (Speaker)

  1 Jun 2018

  Activity: Participating in or organising an event › Participation in workshop, seminar, course

• S-REPLS 9

  L. Thomas van Binsbergen (Speaker)

  25 May 2018

  Activity: Participating in or organising an event › Participation in workshop, seminar, course

  File

• British Colloquium for Theoretical Computer Science

  Matthew Hague (Chair)

  26 Mar 2018 → 28 Mar 2018

  Activity: Participating in or organising an event › Participation in workshop, seminar, course

• Highlights of Games, Logic and Automata

  Matthew Hague (Organiser) & Nikos Tzevelekos (Organiser)

  12 Sept 2017 → 15 Sept 2017

  Activity: Participating in or organising an event › Participation in workshop, seminar, course

• AISB Member Workshop VII

  Claudia-Elena Chirita (Speaker)

  15 Jun 2017

  Activity: Participating in or organising an event › Participation in workshop, seminar, course

• 17th Computer Science Postgraduate Research Colloquium

  Claudia-Elena Chirita (Organiser)

  2 Jun 2017

  Activity: Participating in or organising an event › Participation in workshop, seminar, course

• Highlights of Logic, Games and Automata

  Matthew Hague (Member of programme committee)

  6 Sept 2016 → 9 Sept 2016

  Activity: Participating in or organising an event › Participation in workshop, seminar, course

• INFINITY

  Matthew Hague (Chair) & Anthony Lin (Chair)

  26 Aug 2016

  Activity: Participating in or organising an event › Participation in workshop, seminar, course

• Automata, Logic and Games

  Matthew Hague (Invited speaker)

  22 Aug 2016 → 25 Sept 2016

  Activity: Participating in or organising an event › Participation in workshop, seminar, course

• International Summer School on Meta-Programming

  L. Thomas van Binsbergen (Participant)

  8 Aug 2016 → 12 Aug 2016

  Activity: Participating in or organising an event › Participation in workshop, seminar, course

  File

• 16th Computer Science Postgraduate Research Colloquium

  Claudia-Elena Chirita (Speaker)

  11 May 2016

  Activity: Participating in or organising an event › Participation in workshop, seminar, course

• Higher-Order Model Checking

  Matthew Hague (Invited speaker)

  14 Mar 2016 → 17 Mar 2016

  Activity: Participating in or organising an event › Participation in workshop, seminar, course

• Generalised Parsing with Parser Combinators - Utrecht University MSc Colloquium

  L. Thomas van Binsbergen (Speaker)

  5 Jan 2016

  Activity: Participating in or organising an event › Participation in workshop, seminar, course

  File

• INFINITY

  Matthew Hague (Invited speaker)

  15 Dec 2015

  Activity: Participating in or organising an event › Participation in workshop, seminar, course

• Logic Seminar series

  Claudia-Elena Chirita (Organiser)

  1 Sept 2015 → 1 Jun 2016

  Activity: Participating in or organising an event › Participation in workshop, seminar, course

• Higher Order Program Analysis

  Matthew Hague (Chair)

  4 Jul 2015

  Activity: Participating in or organising an event › Participation in workshop, seminar, course

• 15th Computer Science Postgraduate Research Colloquium

  Claudia-Elena Chirita (Speaker)

  1 May 2015

  Activity: Participating in or organising an event › Participation in workshop, seminar, course

• Higher-Order Program Analysis

  Matthew Hague (Chair)

  28 Jun 2013 → 29 Jun 2013

  Activity: Participating in or organising an event › Participation in workshop, seminar, course