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

    Shanahan, H. (Member of editorial board)
    31 Jul 2015

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

  3. Information Processing Letters (Journal)

    Chockler, G. (Member of editorial board)
    2010 → …

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

  4. Journal of Parallel and Distributed Computing (Journal)

    Chockler, G. (Guest editor)
    Jun 2011

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

  5. The Computer Journal (Journal)

    Murtagh, F. (Editor)
    1 Jun 2012 → …

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

  6. The Computer Journal (Journal)

    Murtagh, F. (Editor)
    2012 → …

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

  7. Theoretical Computer Science (Journal)

    Robinson, P. (Guest editor)
    2016 → …

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

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

    Tzameret, I. (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

    Chirita, C. (Speaker)
    2 Apr 20168 Apr 2016

    Activity: Participating in or organising an eventParticipation in conference

  12. 22nd International Workshop on Algebraic Development Techniques

    Chirita, C. (Speaker)
    4 Sep 20147 Sep 2014

    Activity: Participating in or organising an eventParticipation in conference

  13. 23rd International Workshop on Algebraic Development Techniques

    Chirita, C. (Speaker)
    21 Sep 201624 Sep 2016

    Activity: Participating in or organising an eventParticipation in conference

  14. 24th International Workshop on Algebraic Development Techniques

    Chirita, C. (Organiser)
    2 Jul 20185 Jul 2018

    Activity: Participating in or organising an eventParticipation in conference

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

    Alnasir, J. (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

    Chirita, C. (Speaker)
    24 Jun 201526 Jun 2016

    Activity: Participating in or organising an eventParticipation in conference

  17. Annual PhD Colloquium RHUL Computer Science

    van Binsbergen, L. T. (Speaker)
    1 Jun 2018

    Activity: Participating in or organising an eventParticipation in conference

  18. Asian Programming Languages and Systems

    Hague, M. (Member of programme committee)
    2 Dec 20194 Dec 2019

    Activity: Participating in or organising an eventParticipation in conference

  19. BCTCS 2015

    van Binsbergen, L. T. (Participant)
    2015 → …

    Activity: Participating in or organising an eventParticipation in conference

  20. BCTCS 2016

    van Binsbergen, L. T. (Speaker)
    22 Mar 2016

    Activity: Participating in or organising an eventParticipation in conference

  21. BCTCS 2018

    van Binsbergen, L. T. (Organiser)
    Mar 2018

    Activity: Participating in or organising an eventParticipation in conference

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

    Alnasir, J. (Participant)
    25 May 201530 May 2015

    Activity: Participating in or organising an eventParticipation in conference

  23. British Colloquium for Theoretical Computer Science 2018

    Chirita, C. (Organiser)
    26 Mar 201828 Mar 2018

    Activity: Participating in or organising an eventParticipation in conference

  24. CloudTech'16, Marrakech, Morocco.

    Alnasir, J. (Speaker)
    24 May 201625 May 2016

    Activity: Participating in or organising an eventParticipation in conference

  25. Combinators for Generalised Parsing - Haskell eXchange 2016

    van Binsbergen, L. T. (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

    Alnasir, J. (Organiser)
    4 Jun 2014

    Activity: Participating in or organising an eventParticipation in conference

  27. CSERC 2014

    van Binsbergen, L. T. (Participant)
    Nov 2014

    Activity: Participating in or organising an eventParticipation in conference

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

    van Binsbergen, L. T. (Speaker)
    May 2015

    Activity: Participating in or organising an eventParticipation in conference

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

    Alnasir, J. (Speaker)
    17 Feb 2014

    Activity: Participating in or organising an eventParticipation in conference

  30. Doctoral School Summer Conference 2016 "SPACE"

    van Binsbergen, L. T. (Participant)
    Jun 2016

    Activity: Participating in or organising an eventParticipation in conference

  31. Doctoral School Summer Conference 2017 "CHANGE"

    van Binsbergen, L. T. (Speaker)
    6 Jun 2017

    Activity: Participating in or organising an eventParticipation in conference

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

    Alnasir, J. (Organiser)
    11 May 2016

    Activity: Participating in or organising an eventParticipation in conference

  33. Efficient Interpretation of I-MSOS - IFL 2016

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

    Activity: Participating in or organising an eventParticipation in conference

  34. European Conference on Ambient Intelligence

    Achilles Kameas (Chair), Stathis, K. (Chair)
    2018

    Activity: Participating in or organising an eventParticipation in conference

  35. Fisher Centre for Computational Biology meeting

    Alnasir, J. (Participant)
    6 Jun 2014

    Activity: Participating in or organising an eventParticipation in conference

  36. Foundations of Software Science and Computation Structures

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

    Alnasir, J. (Participant)
    3 Jul 2014

    Activity: Participating in or organising an eventParticipation in conference

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

    van Binsbergen, L. T. (Participant)
    30 Oct 2016

    Activity: Participating in or organising an eventParticipation in conference

  39. Generative Programming: Concepts & Experiences

    van Binsbergen, L. T. (Speaker)
    6 Nov 2018

    Activity: Participating in or organising an eventParticipation in conference

  40. Higher Order Program Analysis

    Hague, M. (Chair)
    18 Jul 2014

    Activity: Participating in or organising an eventParticipation in conference

  41. International Colloquium on Automata, Languages, and Programming

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

    Hague, M. (Member of programme committee)
    12 Dec 201814 Dec 2018

    Activity: Participating in or organising an eventParticipation in conference

  43. International Conference on the Implementation and Application of Automata

    Hague, M. (Member of programme committee)
    27 Jun 2017

    Activity: Participating in or organising an eventParticipation in conference

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

    van Binsbergen, L. T. (Speaker)
    Mar 2014

    Activity: Participating in or organising an eventParticipation in conference

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

    van Binsbergen, L. T. (Speaker)
    15 Apr 2015

    Activity: Participating in or organising an eventParticipation in conference

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

    van Binsbergen, L. T. (Speaker)
    Jan 2015

    Activity: Participating in or organising an eventParticipation in conference

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

    Alnasir, J. (Speaker)
    20 Jul 2016

    Activity: Participating in or organising an eventParticipation in conference

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

    van Binsbergen, L. T. (Speaker)
    11 May 2016

    Activity: Participating in or organising an eventParticipation in conference

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

    van Binsbergen, L. T. (Participant)
    May 2015

    Activity: Participating in or organising an eventParticipation in conference

  50. Principles of Programming Languages (POPL2018)

    van Binsbergen, L. T. (Participant)
    2018

    Activity: Participating in or organising an eventParticipation in conference

  51. Reachability Problems

    Hague, M. (Chair), Igor Potapov (Chair)
    7 Sep 20179 Sep 2017

    Activity: Participating in or organising an eventParticipation in conference

  52. Reachability Problems

    Hague, M. (Member of programme committee)
    24 Sep 201826 Sep 2018

    Activity: Participating in or organising an eventParticipation in conference

  53. Reachability Problems

    Hague, M. (Member of programme committee)
    11 Sep 201913 Sep 2019

    Activity: Participating in or organising an eventParticipation in conference

  54. Software Language Engineering

    van Binsbergen, L. T. (Speaker)
    5 Nov 2018

    Activity: Participating in or organising an eventParticipation in conference

  55. Statistical Learning and Data Sciences (SLDS)

    Cherubin, G. (Speaker)
    2015

    Activity: Participating in or organising an eventParticipation in conference

  56. Strachey 100

    van Binsbergen, L. T. (Participant)
    19 Nov 2016

    Activity: Participating in or organising an eventParticipation in conference

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

    Chirita, C. (Speaker)
    26 Jun 20161 Jul 2016

    Activity: Participating in or organising an eventParticipation in conference

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

    van Binsbergen, L. T. (Speaker)
    Oct 2015 → …

    Activity: Participating in or organising an eventParticipation in conference

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

    Chirita, C. (Participant)
    17 Jul 201718 Jul 2017

    Activity: Participating in or organising an eventParticipation in conference

  60. Working Formal Methods Symposium

    Chirita, C. (Speaker)
    5 Jul 20178 Jul 2017

    Activity: Participating in or organising an eventParticipation in conference

  61. Young Researchers Workshop on Concurrency Theory

    Hague, M. (Member of programme committee)
    3 Sep 2018

    Activity: Participating in or organising an eventParticipation in conference

  62. Participation in workshop, seminar, course
  63. 15th Computer Science Postgraduate Research Colloquium

    Chirita, C. (Speaker)
    1 May 2015

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

  64. 16th Computer Science Postgraduate Research Colloquium

    Chirita, C. (Speaker)
    11 May 2016

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

  65. 17th Computer Science Postgraduate Research Colloquium

    Chirita, C. (Organiser)
    2 Jun 2017

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

  66. 18th Computer Science Postgraduate Research Colloquium

    Chirita, C. (Speaker)
    1 Jun 2018

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

  67. AISB Member Workshop VII

    Chirita, C. (Speaker)
    15 Jun 2017

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

  68. Automata, Logic and Games

    Hague, M. (Invited speaker)
    22 Aug 201625 Sep 2016

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

  69. British Colloquium for Theoretical Computer Science

    Hague, M. (Chair)
    26 Mar 201828 Mar 2018

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

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

    van Binsbergen, L. T. (Speaker)
    5 Jan 2016

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

  71. Higher Order Program Analysis

    Hague, M. (Chair)
    4 Jul 2015

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

  72. Higher-Order Model Checking

    Hague, M. (Invited speaker)
    14 Mar 201617 Mar 2016

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

  73. Higher-Order Program Analysis

    Hague, M. (Chair)
    28 Jun 201329 Jun 2013

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

  74. Highlights of Games, Logic and Automata

    Hague, M. (Organiser), Nikos Tzevelekos (Organiser)
    12 Sep 201715 Sep 2017

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

  75. Highlights of Logic, Games and Automata

    Hague, M. (Member of programme committee)
    6 Sep 20169 Sep 2016

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

  76. IFIP WG1.3 Foundations of System Specification Meeting

    Chirita, C. (Organiser)
    5 Jul 20187 Jul 2018

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

  77. INFINITY

    Hague, M. (Chair), Anthony Lin (Chair)
    26 Aug 2016

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

  78. INFINITY

    Hague, M. (Invited speaker)
    15 Dec 2015

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

  79. International Summer School on Meta-Programming

    van Binsbergen, L. T. (Participant)
    8 Aug 201612 Aug 2016

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

  80. Leverhulme School on Graph Transformation Techniques

    Chirita, C. (Organiser)
    29 Jun 20181 Jul 2018

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

  81. Logic Seminar series

    Chirita, C. (Organiser)
    1 Sep 20151 Jun 2016

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

  82. S-REPLS 9

    van Binsbergen, L. T. (Speaker)
    25 May 2018

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

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

    Robinson, P. (Speaker)
    6 Oct 2015

    Activity: Talk or presentationInvited talk

  85. A transcriptomic analysis of photomorphogenesis in A. thaliana

    Shanahan, H. (Speaker)
    8 Dec 2008

    Activity: Talk or presentationInvited talk

  86. A transcriptomic analysis of photomorphogenesis in A. thaliana

    Shanahan, H. (Speaker)
    10 Nov 2008

    Activity: Talk or presentationInvited talk

  87. A transcriptomic analysis of photomorphogenesis in A. thaliana

    Shanahan, H. (Speaker)
    20 Nov 2008

    Activity: Talk or presentationInvited talk

  88. A transcriptomic analysis of photomorphogenesis in Arabidopsis thaliana

    Shanahan, H. (Speaker)
    26 Sep 2008

    Activity: Talk or presentationInvited talk

  89. A transcriptomic analysis of photomorphogenesis in Arabidopsis Thaliana

    Shanahan, H. (Speaker)
    19 Sep 2007

    Activity: Talk or presentationInvited talk

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

    Alnasir, J. (Speaker)
    16 Mar 2017

    Activity: Talk or presentationInvited talk

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

    Chirita, C. (Speaker)
    19 Dec 2014

    Activity: Talk or presentationInvited talk

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

    Stathis, K. (Speaker)
    12 Oct 2018

    Activity: Talk or presentationInvited talk

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

    van Binsbergen, L. T. (Speaker)
    20 Apr 2016

    Activity: Talk or presentationInvited talk

  94. Free Jazz and Service-Oriented Improvisations

    Chirita, C. (Speaker)
    7 Jan 2016

    Activity: Talk or presentationInvited talk

  95. Funcons (Guest Lecture)

    van Binsbergen, L. T. (Speaker)
    7 Mar 2016

    Activity: Talk or presentationInvited talk

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

    van Binsbergen, L. T. (Speaker)
    7 Mar 2016

    Activity: Talk or presentationInvited talk

  97. Lessons learnt from transcriptomics in A. thaliana

    Shanahan, H. (Speaker)
    18 Mar 2009

    Activity: Talk or presentationInvited talk

  98. New advances in algebraic circuits and proofs

    Tzameret, I. (Speaker)
    May 2016

    Activity: Talk or presentationInvited talk

  99. Reaching Agreement in a Dynamic Distributed System

    Robinson, P. (Speaker)
    26 Sep 201630 Sep 2016

    Activity: Talk or presentationInvited talk

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

    Shanahan, H. (Speaker)
    28 Jan 2008

    Activity: Talk or presentationInvited talk

  101. The Fundamental Constructs of Homogeneous Generative Meta-Programming

    van Binsbergen, L. T. (Speaker)
    25 Jan 2018

    Activity: Talk or presentationInvited talk

  102. Oral presentation
  103. Funcons for HGMP

    van Binsbergen, L. T. (Speaker)
    6 Nov 2018

    Activity: Talk or presentationOral presentation

  104. GLL Parsing with Flexible Combinators

    van Binsbergen, L. T. (Speaker)
    5 Nov 2018

    Activity: Talk or presentationOral presentation

  105. Membership of peer review panel or committee
  106. 16th International Conference on Distributed Computing and Networking (ICDCN 2015) (External organisation)

    Robinson, P. (Participant)
    2015 → …

    Activity: MembershipMembership of peer review panel or committee

  107. 17th International Conference on Distributed Computing and Networking (ICDCN 2016) (External organisation)

    Robinson, P. (Chair)
    4 Jan 20167 Jan 2016

    Activity: MembershipMembership of peer review panel or committee

Previous 1 2 Next