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. Mathematical Foundations of Computer Science

    Matthew Hague (Member of programme committee)

    24 Aug 202028 Aug 2020

    Activity: Participating in or organising an eventParticipation in conference

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

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

    L. Thomas van Binsbergen (Participant)

    May 2015

    Activity: Participating in or organising an eventParticipation in conference

  53. Principles of Programming Languages (POPL2018)

    L. Thomas van Binsbergen (Participant)

    2018

    Activity: Participating in or organising an eventParticipation in conference

  54. Reachability Problems

    Matthew Hague (Chair), & Igor Potapov (Chair)

    7 Sep 20179 Sep 2017

    Activity: Participating in or organising an eventParticipation in conference

  55. Reachability Problems

    Matthew Hague (Member of programme committee)

    24 Sep 201826 Sep 2018

    Activity: Participating in or organising an eventParticipation in conference

  56. Reachability Problems

    Matthew Hague (Member of programme committee)

    11 Sep 201913 Sep 2019

    Activity: Participating in or organising an eventParticipation in conference

  57. Reachability Problems

    Matthew Hague (Member of programme committee)

    19 Oct 202021 Dec 2020

    Activity: Participating in or organising an eventParticipation in conference

  58. Software Language Engineering

    L. Thomas van Binsbergen (Speaker)

    5 Nov 2018

    Activity: Participating in or organising an eventParticipation in conference

  59. Statistical Learning and Data Sciences (SLDS)

    Giovanni Cherubin (Speaker)

    2015

    Activity: Participating in or organising an eventParticipation in conference

  60. Strachey 100

    L. Thomas van Binsbergen (Participant)

    19 Nov 2016

    Activity: Participating in or organising an eventParticipation in conference

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

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

    L. Thomas van Binsbergen (Speaker)

    Oct 2015 → …

    Activity: Participating in or organising an eventParticipation in conference

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

  64. Working Formal Methods Symposium

    Claudia-Elena Chirita (Speaker)

    5 Jul 20178 Jul 2017

    Activity: Participating in or organising an eventParticipation in conference

  65. Young Researchers Workshop on Concurrency Theory

    Matthew Hague (Member of programme committee)

    3 Sep 2018

    Activity: Participating in or organising an eventParticipation in conference

  66. Participation in workshop, seminar, course
  67. 15th Computer Science Postgraduate Research Colloquium

    Claudia-Elena Chirita (Speaker)

    1 May 2015

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

  68. 16th Computer Science Postgraduate Research Colloquium

    Claudia-Elena Chirita (Speaker)

    11 May 2016

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

  69. 17th Computer Science Postgraduate Research Colloquium

    Claudia-Elena Chirita (Organiser)

    2 Jun 2017

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

  70. 18th Computer Science Postgraduate Research Colloquium

    Claudia-Elena Chirita (Speaker)

    1 Jun 2018

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

  71. AISB Member Workshop VII

    Claudia-Elena Chirita (Speaker)

    15 Jun 2017

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

  72. Automata, Logic and Games

    Matthew Hague (Invited speaker)

    22 Aug 201625 Sep 2016

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

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

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

  75. Higher Order Program Analysis

    Matthew Hague (Chair)

    4 Jul 2015

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

  76. Higher-Order Model Checking

    Matthew Hague (Invited speaker)

    14 Mar 201617 Mar 2016

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

  77. Higher-Order Program Analysis

    Matthew Hague (Chair)

    28 Jun 201329 Jun 2013

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

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

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

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

  81. INFINITY

    Matthew Hague (Chair), & Anthony Lin (Chair)

    26 Aug 2016

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

  82. INFINITY

    Matthew Hague (Invited speaker)

    15 Dec 2015

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

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

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

  85. Logic Seminar series

    Claudia-Elena Chirita (Organiser)

    1 Sep 20151 Jun 2016

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

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

  87. S-REPLS 9

    L. Thomas van Binsbergen (Speaker)

    25 May 2018

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

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

    Peter Robinson (Speaker)

    6 Oct 2015

    Activity: Talk or presentationInvited talk

  90. A transcriptomic analysis of photomorphogenesis in A. thaliana

    Hugh Shanahan (Speaker)

    8 Dec 2008

    Activity: Talk or presentationInvited talk

  91. A transcriptomic analysis of photomorphogenesis in A. thaliana

    Hugh Shanahan (Speaker)

    10 Nov 2008

    Activity: Talk or presentationInvited talk

  92. A transcriptomic analysis of photomorphogenesis in A. thaliana

    Hugh Shanahan (Speaker)

    20 Nov 2008

    Activity: Talk or presentationInvited talk

  93. A transcriptomic analysis of photomorphogenesis in Arabidopsis thaliana

    Hugh Shanahan (Speaker)

    26 Sep 2008

    Activity: Talk or presentationInvited talk

  94. A transcriptomic analysis of photomorphogenesis in Arabidopsis Thaliana

    Hugh Shanahan (Speaker)

    19 Sep 2007

    Activity: Talk or presentationInvited talk

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

    Jamie Alnasir (Speaker)

    16 Mar 2017

    Activity: Talk or presentationInvited talk

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

    Claudia-Elena Chirita (Speaker)

    19 Dec 2014

    Activity: Talk or presentationInvited talk

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

    Kostas Stathis (Speaker)

    12 Oct 2018

    Activity: Talk or presentationInvited talk

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

    L. Thomas van Binsbergen (Speaker)

    20 Apr 2016

    Activity: Talk or presentationInvited talk

  99. Free Jazz and Service-Oriented Improvisations

    Claudia-Elena Chirita (Speaker)

    7 Jan 2016

    Activity: Talk or presentationInvited talk

  100. Funcons (Guest Lecture)

    L. Thomas van Binsbergen (Speaker)

    7 Mar 2016

    Activity: Talk or presentationInvited talk

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

    L. Thomas van Binsbergen (Speaker)

    7 Mar 2016

    Activity: Talk or presentationInvited talk

  102. Lessons learnt from transcriptomics in A. thaliana

    Hugh Shanahan (Speaker)

    18 Mar 2009

    Activity: Talk or presentationInvited talk

  103. New advances in algebraic circuits and proofs

    Iddo Tzameret (Speaker)

    May 2016

    Activity: Talk or presentationInvited talk

  104. Reaching Agreement in a Dynamic Distributed System

    Peter Robinson (Speaker)

    26 Sep 201630 Sep 2016

    Activity: Talk or presentationInvited talk

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

    Hugh Shanahan (Speaker)

    28 Jan 2008

    Activity: Talk or presentationInvited talk

Previous 1 2 Next