1. Editor of research journal
  2. Data Science Journal (Journal)

    Hugh Shanahan (Member of editorial board)
    31 Jul 2015

    Activity: Publication peer-review and editorial workEditor of research journal

  3. Information Processing Letters (Journal)

    Gregory Chockler (Member of editorial board)
    2010 → …

    Activity: Publication peer-review and editorial workEditor of research journal

  4. Journal of Parallel and Distributed Computing (Journal)

    Gregory Chockler (Guest editor)
    Jun 2011

    Activity: Publication peer-review and editorial workEditor of research journal

  5. The Computer Journal (Journal)

    Fionn Murtagh (Editor)
    1 Jun 2012 → …

    Activity: Publication peer-review and editorial workEditor of research journal

  6. The Computer Journal (Journal)

    Fionn Murtagh (Editor)
    2012 → …

    Activity: Publication peer-review and editorial workEditor of research journal

  7. Theoretical Computer Science (Journal)

    Peter Robinson (Guest editor)
    2016 → …

    Activity: Publication peer-review and editorial workEditor of research journal

  8. Peer review of manuscripts
  9. Mathematical Reviews (AMS) (Journal)

    Iddo Tzameret (Reviewer)
    2015 → …

    Activity: Publication peer-review and editorial workPeer review of manuscripts

  10. Participation in conference
  11. 19th International Conference on Fundamental Approaches to Software Engineering

    Claudia-Elena Chirita (Speaker)
    2 Apr 20168 Apr 2016

    Activity: Participating in or organising an eventParticipation in conference

  12. 22nd International Workshop on Algebraic Development Techniques

    Claudia-Elena Chirita (Speaker)
    4 Sep 20147 Sep 2014

    Activity: Participating in or organising an eventParticipation in conference

  13. 23rd International Workshop on Algebraic Development Techniques

    Claudia-Elena Chirita (Speaker)
    21 Sep 201624 Sep 2016

    Activity: Participating in or organising an eventParticipation in conference

  14. 24th International Workshop on Algebraic Development Techniques

    Claudia-Elena Chirita (Organiser)
    2 Jul 20185 Jul 2018

    Activity: Participating in or organising an eventParticipation in conference

  15. 3DSig Structural Bioinformatics and Computational Biophysics 2015, Dublin

    Jamie Alnasir (Speaker)
    10 Jul 201511 Jul 2015

    Activity: Participating in or organising an eventParticipation in conference

  16. 6th Conference on Algebra and Coalgebra in Computer Science

    Claudia-Elena Chirita (Speaker)
    24 Jun 201526 Jun 2016

    Activity: Participating in or organising an eventParticipation in conference

  17. Annual PhD Colloquium RHUL Computer Science

    L. Thomas van Binsbergen (Speaker)
    1 Jun 2018

    Activity: Participating in or organising an eventParticipation in conference

  18. Asian Programming Languages and Systems

    Matthew Hague (Member of programme committee)
    2 Dec 20194 Dec 2019

    Activity: Participating in or organising an eventParticipation in conference

  19. BCTCS 2015

    L. Thomas van Binsbergen (Participant)
    2015 → …

    Activity: Participating in or organising an eventParticipation in conference

  20. BCTCS 2016

    L. Thomas van Binsbergen (Speaker)
    22 Mar 2016

    Activity: Participating in or organising an eventParticipation in conference

  21. BCTCS 2018

    L. Thomas van Binsbergen (Organiser)
    Mar 2018

    Activity: Participating in or organising an eventParticipation in conference

  22. Big Data Analytics Training Workshop, MSTI ENSIAS, Morocco

    Jamie Alnasir (Participant)
    25 May 201530 May 2015

    Activity: Participating in or organising an eventParticipation in conference

  23. British Colloquium for Theoretical Computer Science 2018

    Claudia-Elena Chirita (Organiser)
    26 Mar 201828 Mar 2018

    Activity: Participating in or organising an eventParticipation in conference

  24. CloudTech'16, Marrakech, Morocco.

    Jamie Alnasir (Speaker)
    24 May 201625 May 2016

    Activity: Participating in or organising an eventParticipation in conference

  25. Combinators for Generalised Parsing - Haskell eXchange 2016

    L. Thomas van Binsbergen (Participant)
    6 Oct 20167 Oct 2016

    Activity: Participating in or organising an eventParticipation in conference

  26. Co-organiser CSPRC (Computer Science Postgraduate Research Colloquium) '14 conference

    Jamie Alnasir (Organiser)
    4 Jun 2014

    Activity: Participating in or organising an eventParticipation in conference

  27. CSERC 2014

    L. Thomas van Binsbergen (Participant)
    Nov 2014

    Activity: Participating in or organising an eventParticipation in conference

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

    L. Thomas van Binsbergen (Speaker)
    May 2015

    Activity: Participating in or organising an eventParticipation in conference

  29. Developing data-driven Biology in Morocco, Tangier, Morocco

    Jamie Alnasir (Speaker)
    17 Feb 2014

    Activity: Participating in or organising an eventParticipation in conference

  30. Doctoral School Summer Conference 2016 "SPACE"

    L. Thomas van Binsbergen (Participant)
    Jun 2016

    Activity: Participating in or organising an eventParticipation in conference

  31. Doctoral School Summer Conference 2017 "CHANGE"

    L. Thomas van Binsbergen (Speaker)
    6 Jun 2017

    Activity: Participating in or organising an eventParticipation in conference

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

    Jamie Alnasir (Organiser)
    11 May 2016

    Activity: Participating in or organising an eventParticipation in conference

  33. Efficient Interpretation of I-MSOS - IFL 2016

    L. Thomas van Binsbergen (Speaker)
    31 Aug 20162 Sep 2016

    Activity: Participating in or organising an eventParticipation in conference

  34. European Conference on Ambient Intelligence

    Achilles Kameas (Chair), Kostas Stathis (Chair)
    2018

    Activity: Participating in or organising an eventParticipation in conference

  35. Fisher Centre for Computational Biology meeting

    Jamie Alnasir (Participant)
    6 Jun 2014

    Activity: Participating in or organising an eventParticipation in conference

  36. Foundations of Software Science and Computation Structures

    Matthew Hague (Member of programme committee)
    6 Apr 201911 Apr 2019

    Activity: Participating in or organising an eventParticipation in conference

  37. From Duplexes to Quadruplexes – Understanding DNA Structure and Function

    Jamie Alnasir (Participant)
    3 Jul 2014

    Activity: Participating in or organising an eventParticipation in conference

  38. Generalised Parsing and Combinator Parsing - Parsing@SLE 2016

    L. Thomas van Binsbergen (Participant)
    30 Oct 2016

    Activity: Participating in or organising an eventParticipation in conference

  39. Generative Programming: Concepts & Experiences

    L. Thomas van Binsbergen (Speaker)
    6 Nov 2018

    Activity: Participating in or organising an eventParticipation in conference

  40. Higher Order Program Analysis

    Matthew Hague (Chair)
    18 Jul 2014

    Activity: Participating in or organising an eventParticipation in conference

  41. International Colloquium on Automata, Languages, and Programming

    Matthew Hague (Member of programme committee)
    12 Jul 201615 Jul 2018

    Activity: Participating in or organising an eventParticipation in conference

  42. International Conference on Engineering of Complex Computer Systems

    Matthew Hague (Member of programme committee)
    12 Dec 201814 Dec 2018

    Activity: Participating in or organising an eventParticipation in conference

  43. International Conference on Engineering of Complex Computer Systems

    Matthew Hague (Member of programme committee)
    10 Nov 201913 Nov 2019

    Activity: Participating in or organising an eventParticipation in conference

  44. International Conference on the Implementation and Application of Automata

    Matthew Hague (Member of programme committee)
    27 Jun 2017

    Activity: Participating in or organising an eventParticipation in conference

  45. Linear Ordered Attribute Grammars - without fake dependency selection - TFP 2014

    L. Thomas van Binsbergen (Speaker)
    Mar 2014

    Activity: Participating in or organising an eventParticipation in conference

  46. Linearly Ordered Attribute Grammar Scheduling using SAT-solving - TACAS 2015

    L. Thomas van Binsbergen (Speaker)
    15 Apr 2015

    Activity: Participating in or organising an eventParticipation in conference

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

    L. Thomas van Binsbergen (Speaker)
    Jan 2015

    Activity: Participating in or organising an eventParticipation in conference

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

    Jamie Alnasir (Speaker)
    20 Jul 2016

    Activity: Participating in or organising an eventParticipation in conference

  49. Mathematical Foundations in Bioinformatics (MatBio '19)

    Jamie Alnasir (Participant)
    5 Jul 2019

    Activity: Participating in or organising an eventParticipation in conference

  50. Pattern Matching with Sequence Variables - Annual PhD Colloquium 2016

    L. Thomas van Binsbergen (Speaker)
    11 May 2016

    Activity: Participating in or organising an eventParticipation in conference

  51. Poster Demo - Modular Semantics with UUAGC - TACAS 2015

    L. Thomas van Binsbergen (Participant)
    May 2015

    Activity: Participating in or organising an eventParticipation in conference

  52. Principles of Programming Languages (POPL2018)

    L. Thomas van Binsbergen (Participant)
    2018

    Activity: Participating in or organising an eventParticipation in conference

  53. Reachability Problems

    Matthew Hague (Chair), Igor Potapov (Chair)
    7 Sep 20179 Sep 2017

    Activity: Participating in or organising an eventParticipation in conference

  54. Reachability Problems

    Matthew Hague (Member of programme committee)
    24 Sep 201826 Sep 2018

    Activity: Participating in or organising an eventParticipation in conference

  55. Reachability Problems

    Matthew Hague (Member of programme committee)
    11 Sep 201913 Sep 2019

    Activity: Participating in or organising an eventParticipation in conference

  56. Software Language Engineering

    L. Thomas van Binsbergen (Speaker)
    5 Nov 2018

    Activity: Participating in or organising an eventParticipation in conference

  57. Statistical Learning and Data Sciences (SLDS)

    Giovanni Cherubin (Speaker)
    2015

    Activity: Participating in or organising an eventParticipation in conference

  58. Strachey 100

    L. Thomas van Binsbergen (Participant)
    19 Nov 2016

    Activity: Participating in or organising an eventParticipation in conference

  59. The Seventh International Conference on Computational Creativity (ICCC2016)

    Claudia-Elena Chirita (Speaker)
    26 Jun 20161 Jul 2016

    Activity: Participating in or organising an eventParticipation in conference

  60. Tool Support for Component-Based Semantics - NWPT 2015

    L. Thomas van Binsbergen (Speaker)
    Oct 2015 → …

    Activity: Participating in or organising an eventParticipation in conference

  61. Twelfth International Workshop on Neural-Symbolic Learning and Reasoning

    Claudia-Elena Chirita (Participant)
    17 Jul 201718 Jul 2017

    Activity: Participating in or organising an eventParticipation in conference

  62. Working Formal Methods Symposium

    Claudia-Elena Chirita (Speaker)
    5 Jul 20178 Jul 2017

    Activity: Participating in or organising an eventParticipation in conference

  63. Young Researchers Workshop on Concurrency Theory

    Matthew Hague (Member of programme committee)
    3 Sep 2018

    Activity: Participating in or organising an eventParticipation in conference

  64. Participation in workshop, seminar, course
  65. 15th Computer Science Postgraduate Research Colloquium

    Claudia-Elena Chirita (Speaker)
    1 May 2015

    Activity: Participating in or organising an eventParticipation in workshop, seminar, course

  66. 16th Computer Science Postgraduate Research Colloquium

    Claudia-Elena Chirita (Speaker)
    11 May 2016

    Activity: Participating in or organising an eventParticipation in workshop, seminar, course

  67. 17th Computer Science Postgraduate Research Colloquium

    Claudia-Elena Chirita (Organiser)
    2 Jun 2017

    Activity: Participating in or organising an eventParticipation in workshop, seminar, course

  68. 18th Computer Science Postgraduate Research Colloquium

    Claudia-Elena Chirita (Speaker)
    1 Jun 2018

    Activity: Participating in or organising an eventParticipation in workshop, seminar, course

  69. AISB Member Workshop VII

    Claudia-Elena Chirita (Speaker)
    15 Jun 2017

    Activity: Participating in or organising an eventParticipation in workshop, seminar, course

  70. Automata, Logic and Games

    Matthew Hague (Invited speaker)
    22 Aug 201625 Sep 2016

    Activity: Participating in or organising an eventParticipation in workshop, seminar, course

  71. British Colloquium for Theoretical Computer Science

    Matthew Hague (Chair)
    26 Mar 201828 Mar 2018

    Activity: Participating in or organising an eventParticipation in workshop, seminar, course

  72. Generalised Parsing with Parser Combinators - Utrecht University MSc Colloquium

    L. Thomas van Binsbergen (Speaker)
    5 Jan 2016

    Activity: Participating in or organising an eventParticipation in workshop, seminar, course

  73. Higher Order Program Analysis

    Matthew Hague (Chair)
    4 Jul 2015

    Activity: Participating in or organising an eventParticipation in workshop, seminar, course

  74. Higher-Order Model Checking

    Matthew Hague (Invited speaker)
    14 Mar 201617 Mar 2016

    Activity: Participating in or organising an eventParticipation in workshop, seminar, course

  75. Higher-Order Program Analysis

    Matthew Hague (Chair)
    28 Jun 201329 Jun 2013

    Activity: Participating in or organising an eventParticipation in workshop, seminar, course

  76. Highlights of Games, Logic and Automata

    Matthew Hague (Organiser), Nikos Tzevelekos (Organiser)
    12 Sep 201715 Sep 2017

    Activity: Participating in or organising an eventParticipation in workshop, seminar, course

  77. Highlights of Logic, Games and Automata

    Matthew Hague (Member of programme committee)
    6 Sep 20169 Sep 2016

    Activity: Participating in or organising an eventParticipation in workshop, seminar, course

  78. IFIP WG1.3 Foundations of System Specification Meeting

    Claudia-Elena Chirita (Organiser)
    5 Jul 20187 Jul 2018

    Activity: Participating in or organising an eventParticipation in workshop, seminar, course

  79. INFINITY

    Matthew Hague (Chair), Anthony Lin (Chair)
    26 Aug 2016

    Activity: Participating in or organising an eventParticipation in workshop, seminar, course

  80. INFINITY

    Matthew Hague (Invited speaker)
    15 Dec 2015

    Activity: Participating in or organising an eventParticipation in workshop, seminar, course

  81. International Summer School on Meta-Programming

    L. Thomas van Binsbergen (Participant)
    8 Aug 201612 Aug 2016

    Activity: Participating in or organising an eventParticipation in workshop, seminar, course

  82. Leverhulme School on Graph Transformation Techniques

    Claudia-Elena Chirita (Organiser)
    29 Jun 20181 Jul 2018

    Activity: Participating in or organising an eventParticipation in workshop, seminar, course

  83. Logic Seminar series

    Claudia-Elena Chirita (Organiser)
    1 Sep 20151 Jun 2016

    Activity: Participating in or organising an eventParticipation in workshop, seminar, course

  84. Meeting on String Constraints and Applications

    Matthew Hague (Invited speaker)
    6 May 20199 May 2019

    Activity: Participating in or organising an eventParticipation in workshop, seminar, course

  85. S-REPLS 9

    L. Thomas van Binsbergen (Speaker)
    25 May 2018

    Activity: Participating in or organising an eventParticipation in workshop, seminar, course

  86. Invited talk
  87. 3rd workshop on Advances in Distributed Graph Algorithms (ADGA 2015)

    Peter Robinson (Speaker)
    6 Oct 2015

    Activity: Talk or presentationInvited talk

  88. A transcriptomic analysis of photomorphogenesis in A. thaliana

    Hugh Shanahan (Speaker)
    8 Dec 2008

    Activity: Talk or presentationInvited talk

  89. A transcriptomic analysis of photomorphogenesis in A. thaliana

    Hugh Shanahan (Speaker)
    10 Nov 2008

    Activity: Talk or presentationInvited talk

  90. A transcriptomic analysis of photomorphogenesis in A. thaliana

    Hugh Shanahan (Speaker)
    20 Nov 2008

    Activity: Talk or presentationInvited talk

  91. A transcriptomic analysis of photomorphogenesis in Arabidopsis thaliana

    Hugh Shanahan (Speaker)
    26 Sep 2008

    Activity: Talk or presentationInvited talk

  92. A transcriptomic analysis of photomorphogenesis in Arabidopsis Thaliana

    Hugh Shanahan (Speaker)
    19 Sep 2007

    Activity: Talk or presentationInvited talk

  93. CS3110/CS5110 Bioinformatics - Next-Gen. Sequencing and Transcriptomics

    Jamie Alnasir (Speaker)
    16 Mar 2017

    Activity: Talk or presentationInvited talk

  94. Dealing with preferences: on constraint algebras and graded satisfaction

    Claudia-Elena Chirita (Speaker)
    19 Dec 2014

    Activity: Talk or presentationInvited talk

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

    Kostas Stathis (Speaker)
    12 Oct 2018

    Activity: Talk or presentationInvited talk

  96. Executable Component Based Semantics - 10th PL Retreat TU Delft

    L. Thomas van Binsbergen (Speaker)
    20 Apr 2016

    Activity: Talk or presentationInvited talk

  97. Free Jazz and Service-Oriented Improvisations

    Claudia-Elena Chirita (Speaker)
    7 Jan 2016

    Activity: Talk or presentationInvited talk

  98. Funcons (Guest Lecture)

    L. Thomas van Binsbergen (Speaker)
    7 Mar 2016

    Activity: Talk or presentationInvited talk

  99. Funcons: Basics of imperative programming (Guest Lecture)

    L. Thomas van Binsbergen (Speaker)
    7 Mar 2016

    Activity: Talk or presentationInvited talk

  100. Lessons learnt from transcriptomics in A. thaliana

    Hugh Shanahan (Speaker)
    18 Mar 2009

    Activity: Talk or presentationInvited talk

  101. New advances in algebraic circuits and proofs

    Iddo Tzameret (Speaker)
    May 2016

    Activity: Talk or presentationInvited talk

  102. Reaching Agreement in a Dynamic Distributed System

    Peter Robinson (Speaker)
    26 Sep 201630 Sep 2016

    Activity: Talk or presentationInvited talk

  103. The detection of DNA-binding proteins by means of structural motifs

    Hugh Shanahan (Speaker)
    28 Jan 2008

    Activity: Talk or presentationInvited talk

  104. The Fundamental Constructs of Homogeneous Generative Meta-Programming

    L. Thomas van Binsbergen (Speaker)
    25 Jan 2018

    Activity: Talk or presentationInvited talk

  105. Oral presentation
  106. Funcons for HGMP

    L. Thomas van Binsbergen (Speaker)
    6 Nov 2018

    Activity: Talk or presentationOral presentation

Previous 1 2 Next