Department of Computer Science

Activities

Activities per year 2005 2015 2016 2018 2024

• 60 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

• The 36th International Conference on Tools with Artificial Intelligence

  Shahid, N. (Organiser) & Stathis, K. (Organiser)

  Oct 2024

  Activity: Participating in or organising an event › Participation in conference

• Lower Bounds for Maximum Weight Bisections of Graphs with Bounded Degrees

  Zhou, Y. (Speaker)

  4 Jul 2024

  Activity: Talk or presentation › Oral presentation

  File

• Lower Bounds for Maximum Weight Bisections of Graphs with Bounded Degrees

  Zhou, Y. (Speaker)

  20 Mar 2024

  Activity: Talk or presentation › Oral presentation

  File

• An Introduction to Type Theory

  Bradley, F. (Speaker)

  28 Feb 2024

  Activity: Talk or presentation › Oral presentation

• Artificial Intelligence (Journal)

  Stathis, K. (Editor)

  2024 → …

  Activity: Publication peer-review and editorial work › Peer review of manuscripts

• ACM/IEEE Symposium on Logic in Computer Science

  Matthew Hague (Member of programme committee)

  2 Aug 2023 → 5 Aug 2023

  Activity: Participating in or organising an event › Participation in conference

• On the Metatheory of Subtype Universes (TYPES23)

  Bradley, F. (Speaker)

  12 Jun 2023 → 15 Jun 2023

  Activity: Talk or presentation › Oral presentation

  File

• On the Metatheory of Subtype Universes (WG6)

  Bradley, F. (Speaker)

  24 Apr 2023

  Activity: Talk or presentation › Oral presentation

  File

• 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

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

  Zhou, Y. (Speaker)

  6 Oct 2022

  Activity: Talk or presentation › Oral presentation

  File

• Results on the small quasi-kernel conjecture

  Zhou, Y. (Speaker)

  13 Jul 2022

  Activity: Talk or presentation › Oral presentation

  File

• Introducing a Structured Approach to Online Discussion

  Lieu, E. (Speaker)

  27 Jun 2022

  Activity: Talk or presentation › Oral presentation

• Principles of Programming Languages

  Matthew Hague (Member of programme committee)

  16 Jan 2022 → 22 Jan 2022

  Activity: Participating in or organising an event › Participation in conference

• Reachability Problems

  Matthew Hague (Member of programme committee)

  25 Oct 2021 → 27 Oct 2021

  Activity: Participating in or organising an event › Participation in conference

• The International Conference on Networked Systems

  Matthew Hague (Member of programme committee)

  19 May 2021 → 21 May 2021

  Activity: Participating in or organising an event › Participation in conference

• Reachability Problems

  Matthew Hague (Member of programme committee)

  19 Oct 2020 → 21 Dec 2020

  Activity: Participating in or organising an event › Participation in conference

• Mathematical Foundations of Computer Science

  Matthew Hague (Member of programme committee)

  24 Aug 2020 → 28 Aug 2020

  Activity: Participating in or organising an event › Participation in conference

• Asian Programming Languages and Systems

  Matthew Hague (Member of programme committee)

  2 Dec 2019 → 4 Dec 2019

  Activity: Participating in or organising an event › Participation in conference

• International Conference on Engineering of Complex Computer Systems

  Matthew Hague (Member of programme committee)

  10 Nov 2019 → 13 Nov 2019

  Activity: Participating in or organising an event › Participation in conference

• Reachability Problems

  Matthew Hague (Member of programme committee)

  11 Sept 2019 → 13 Sept 2019

  Activity: Participating in or organising an event › Participation in conference

• University of Warwick

  Diptapriyo Majumdar (Visiting researcher)

  2 Sept 2019 → 6 Sept 2019

  Activity: Visiting an external institution › Visiting an external academic institution

• Mathematical Foundations in Bioinformatics (MatBio '19)

  Jamie Alnasir (Participant)

  5 Jul 2019

  Activity: Participating in or organising an event › Participation in conference

• 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

• Foundations of Software Science and Computation Structures

  Matthew Hague (Member of programme committee)

  6 Apr 2019 → 11 Apr 2019

  Activity: Participating in or organising an event › Participation in conference

• International Conference on Engineering of Complex Computer Systems

  Matthew Hague (Member of programme committee)

  12 Dec 2018 → 14 Dec 2018

  Activity: Participating in or organising an event › Participation in conference

• Generative Programming: Concepts & Experiences

  L. Thomas van Binsbergen (Speaker)

  6 Nov 2018

  Activity: Participating in or organising an event › Participation in conference

  File

• Funcons for HGMP

  L. Thomas van Binsbergen (Speaker)

  6 Nov 2018

  Activity: Talk or presentation › Oral presentation

  File

• Software Language Engineering

  L. Thomas van Binsbergen (Speaker)

  5 Nov 2018

  Activity: Participating in or organising an event › Participation in conference

  File

• GLL Parsing with Flexible Combinators

  L. Thomas van Binsbergen (Speaker)

  5 Nov 2018

  Activity: Talk or presentation › Oral presentation

  File

• Enabling decentralised decision-making in AI - an agent environments perspective.

  Stathis, K. (Speaker)

  12 Oct 2018

  Activity: Talk or presentation › Invited talk

• Reachability Problems

  Matthew Hague (Member of programme committee)

  24 Sept 2018 → 26 Sept 2018

  Activity: Participating in or organising an event › Participation in conference

• Young Researchers Workshop on Concurrency Theory

  Matthew Hague (Member of programme committee)

  3 Sept 2018

  Activity: Participating in or organising an event › Participation in conference

• 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

• 24th International Workshop on Algebraic Development Techniques

  Claudia-Elena Chirita (Organiser)

  2 Jul 2018 → 5 Jul 2018

  Activity: Participating in or organising an event › Participation in conference

• 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

• Annual PhD Colloquium RHUL Computer Science

  L. Thomas van Binsbergen (Speaker)

  1 Jun 2018

  Activity: Participating in or organising an event › Participation in conference

  File

• 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 2018

  Claudia-Elena Chirita (Organiser)

  26 Mar 2018 → 28 Mar 2018

  Activity: Participating in or organising an event › Participation in conference

• 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

• BCTCS 2018

  L. Thomas van Binsbergen (Organiser)

  Mar 2018

  Activity: Participating in or organising an event › Participation in conference

• The Fundamental Constructs of Homogeneous Generative Meta-Programming

  L. Thomas van Binsbergen (Speaker)

  25 Jan 2018

  Activity: Talk or presentation › Invited talk

  File

• The Fundamental Constructs of Homogeneous Generative Meta-Programming

  L. Thomas van Binsbergen (Speaker)

  17 Jan 2018

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

  File

• Principles of Programming Languages (POPL2018)

  van Binsbergen, L. T. (Participant)

  2018

  Activity: Participating in or organising an event › Participation in conference

• European Conference on Ambient Intelligence

  Kameas, A. (Chair) & Stathis, K. (Chair)

  2018

  Activity: Participating in or organising an event › Participation in conference

• 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

• Reachability Problems

  Matthew Hague (Chair) & Igor Potapov (Chair)

  7 Sept 2017 → 9 Sept 2017

  Activity: Participating in or organising an event › Participation in conference

• Twelfth International Workshop on Neural-Symbolic Learning and Reasoning

  Claudia-Elena Chirita (Participant)

  17 Jul 2017 → 18 Jul 2017

  Activity: Participating in or organising an event › Participation in conference

• Working Formal Methods Symposium

  Claudia-Elena Chirita (Speaker)

  5 Jul 2017 → 8 Jul 2017

  Activity: Participating in or organising an event › Participation in conference

• International Conference on the Implementation and Application of Automata

  Matthew Hague (Member of programme committee)

  27 Jun 2017

  Activity: Participating in or organising an event › Participation in conference