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

• ACM/IEEE Symposium on Logic in Computer Science

  Hague, M. (Member of programme committee)

  2 Aug 2023 → 5 Aug 2023

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

• Principles of Programming Languages

  Hague, M. (Member of programme committee)

  16 Jan 2022 → 22 Jan 2022

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

• Reachability Problems

  Hague, M. (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

  Hague, M. (Member of programme committee)

  19 May 2021 → 21 May 2021

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

• Reachability Problems

  Hague, M. (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

  Hague, M. (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

  Hague, M. (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

  Hague, M. (Member of programme committee)

  10 Nov 2019 → 13 Nov 2019

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

• Reachability Problems

  Hague, M. (Member of programme committee)

  11 Sept 2019 → 13 Sept 2019

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

• Mathematical Foundations in Bioinformatics (MatBio '19)

  Alnasir, J. (Participant)

  5 Jul 2019

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

• Foundations of Software Science and Computation Structures

  Hague, M. (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

  Hague, M. (Member of programme committee)

  12 Dec 2018 → 14 Dec 2018

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

• Generative Programming: Concepts & Experiences

  van Binsbergen, L. T. (Speaker)

  6 Nov 2018

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

  File

• Software Language Engineering

  van Binsbergen, L. T. (Speaker)

  5 Nov 2018

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

  File

• Reachability Problems

  Hague, M. (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

  Hague, M. (Member of programme committee)

  3 Sept 2018

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

• 24th International Workshop on Algebraic Development Techniques

  Chirita, C.-E. (Organiser)

  2 Jul 2018 → 5 Jul 2018

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

• Annual PhD Colloquium RHUL Computer Science

  van Binsbergen, L. T. (Speaker)

  1 Jun 2018

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

  File

• British Colloquium for Theoretical Computer Science 2018

  Chirita, C.-E. (Organiser)

  26 Mar 2018 → 28 Mar 2018

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

• BCTCS 2018

  van Binsbergen, L. T. (Organiser)

  Mar 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

• Principles of Programming Languages (POPL2018)

  van Binsbergen, L. T. (Participant)

  2018

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

• Reachability Problems

  Hague, M. (Chair) & Potapov, I. (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

  Chirita, C.-E. (Participant)

  17 Jul 2017 → 18 Jul 2017

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

• Working Formal Methods Symposium

  Chirita, C.-E. (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

  Hague, M. (Member of programme committee)

  27 Jun 2017

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

• Doctoral School Summer Conference 2017 "CHANGE"

  van Binsbergen, L. T. (Speaker)

  6 Jun 2017

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

• Strachey 100

  van Binsbergen, L. T. (Participant)

  19 Nov 2016

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

• Generalised Parsing and Combinator Parsing - Parsing@SLE 2016

  van Binsbergen, L. T. (Participant)

  30 Oct 2016

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

  File

• Combinators for Generalised Parsing - Haskell eXchange 2016

  van Binsbergen, L. T. (Participant)

  6 Oct 2016 → 7 Oct 2016

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

  File

• 23rd International Workshop on Algebraic Development Techniques

  Chirita, C.-E. (Speaker)

  21 Sept 2016 → 24 Sept 2016

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

• Efficient Interpretation of I-MSOS - IFL 2016

  van Binsbergen, L. T. (Speaker)

  31 Aug 2016 → 2 Sept 2016

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

  File

• MatBio '16 (Mathematical Foundations in Bioinformatics), King's college London

  Alnasir, J. (Speaker)

  20 Jul 2016

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

• International Colloquium on Automata, Languages, and Programming

  Hague, M. (Member of programme committee)

  12 Jul 2016 → 15 Jul 2018

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

• The Seventh International Conference on Computational Creativity (ICCC2016)

  Chirita, C.-E. (Speaker)

  26 Jun 2016 → 1 Jul 2016

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

• Doctoral School Summer Conference 2016 "SPACE"

  van Binsbergen, L. T. (Participant)

  Jun 2016

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

• CloudTech'16, Marrakech, Morocco.

  Alnasir, J. (Speaker)

  24 May 2016 → 25 May 2016

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

• Editor/Organiser CSPRC (Computer Science Postgraduate Research Colloquium) '16 conference

  Alnasir, J. (Organiser)

  11 May 2016

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

• Pattern Matching with Sequence Variables - Annual PhD Colloquium 2016

  van Binsbergen, L. T. (Speaker)

  11 May 2016

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

  File

• 19th International Conference on Fundamental Approaches to Software Engineering

  Chirita, C.-E. (Speaker)

  2 Apr 2016 → 8 Apr 2016

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

• BCTCS 2016

  van Binsbergen, L. T. (Speaker)

  22 Mar 2016

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

  File

• Tool Support for Component-Based Semantics - NWPT 2015

  van Binsbergen, L. T. (Speaker)

  Oct 2015 → …

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

  File

• 3DSig Structural Bioinformatics and Computational Biophysics 2015, Dublin

  Alnasir, J. (Speaker)

  10 Jul 2015 → 11 Jul 2015

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

• 6th Conference on Algebra and Coalgebra in Computer Science

  Chirita, C.-E. (Speaker)

  24 Jun 2015 → 26 Jun 2016

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

• Big Data Analytics Training Workshop, MSTI ENSIAS, Morocco

  Alnasir, J. (Participant)

  25 May 2015 → 30 May 2015

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

• Defining Parser Combinators with Attribute Grammars - Annual PhD Colloquium RHUL 2015

  van Binsbergen, L. T. (Speaker)

  May 2015

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

  File

• Poster Demo - Modular Semantics with UUAGC - TACAS 2015

  van Binsbergen, L. T. (Participant)

  May 2015

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

  File

• Linearly Ordered Attribute Grammar Scheduling using SAT-solving - TACAS 2015

  van Binsbergen, L. T. (Speaker)

  15 Apr 2015

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

  File

• Linearly Ordered Attribute Grammars - with Automatic Augmenting Dependency Selection - PEPM 2015

  van Binsbergen, L. T. (Speaker)

  Jan 2015

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

  File