Department of Computer Science

1 - 100 out of 128Page size: 100
RSS feed of this list
Sort by: Type
  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 work › Editor of research journal

  3. Information Processing Letters (Journal)

    Gregory Chockler (Member of editorial board)
    2010 → …

    Activity: Publication peer-review and editorial work › Editor of research journal

  4. Journal of Parallel and Distributed Computing (Journal)

    Gregory Chockler (Guest editor)
    Jun 2011

    Activity: Publication peer-review and editorial work › Editor of research journal

  5. The Computer Journal (Journal)

    Fionn Murtagh (Editor)
    1 Jun 2012 → …

    Activity: Publication peer-review and editorial work › Editor of research journal

  6. The Computer Journal (Journal)

    Fionn Murtagh (Editor)
    2012 → …

    Activity: Publication peer-review and editorial work › Editor of research journal

  7. Theoretical Computer Science (Journal)

    Peter Robinson (Guest editor)
    2016 → …

    Activity: Publication peer-review and editorial work › Editor of research journal

  8. Peer review of manuscripts

  9. Mathematical Reviews (AMS) (Journal)

    Iddo Tzameret (Reviewer)
    2015 → …

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

  10. Participation in conference

  11. 19th International Conference on Fundamental Approaches to Software Engineering

    Claudia-Elena Chirita (Speaker)
    2 Apr 2016 → 8 Apr 2016

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

  12. 22nd International Workshop on Algebraic Development Techniques

    Claudia-Elena Chirita (Speaker)
    4 Sep 2014 → 7 Sep 2014

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

  13. 23rd International Workshop on Algebraic Development Techniques

    Claudia-Elena Chirita (Speaker)
    21 Sep 2016 → 24 Sep 2016

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

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

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

    Jamie Alnasir (Speaker)
    10 Jul 2015 → 11 Jul 2015

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

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

    Claudia-Elena Chirita (Speaker)
    24 Jun 2015 → 26 Jun 2016

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

  17. Annual PhD Colloquium RHUL Computer Science

    L. Thomas van Binsbergen (Speaker)
    1 Jun 2018

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

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

  19. BCTCS 2015

    L. Thomas van Binsbergen (Participant)
    2015 → …

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

  20. BCTCS 2016

    L. Thomas van Binsbergen (Speaker)
    22 Mar 2016

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

  21. BCTCS 2018

    L. Thomas van Binsbergen (Organiser)
    Mar 2018

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

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

    Jamie Alnasir (Participant)
    25 May 2015 → 30 May 2015

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

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

  24. CloudTech'16, Marrakech, Morocco.

    Jamie Alnasir (Speaker)
    24 May 2016 → 25 May 2016

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

  25. Combinators for Generalised Parsing - Haskell eXchange 2016

    L. Thomas van Binsbergen (Participant)
    6 Oct 2016 → 7 Oct 2016

    Activity: Participating in or organising an event › Participation 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 event › Participation in conference

  27. CSERC 2014

    L. Thomas van Binsbergen (Participant)
    Nov 2014

    Activity: Participating in or organising an event › Participation 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 event › Participation in conference

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

    Jamie Alnasir (Speaker)
    17 Feb 2014

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

  30. Doctoral School Summer Conference 2016 "SPACE"

    L. Thomas van Binsbergen (Participant)
    Jun 2016

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

  31. Doctoral School Summer Conference 2017 "CHANGE"

    L. Thomas van Binsbergen (Speaker)
    6 Jun 2017

    Activity: Participating in or organising an event › Participation 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 event › Participation in conference

  33. Efficient Interpretation of I-MSOS - IFL 2016

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

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

  34. European Conference on Ambient Intelligence

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

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

  35. Fisher Centre for Computational Biology meeting

    Jamie Alnasir (Participant)
    6 Jun 2014

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

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

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

    Jamie Alnasir (Participant)
    3 Jul 2014

    Activity: Participating in or organising an event › Participation 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 event › Participation in conference

  39. Generative Programming: Concepts & Experiences

    L. Thomas van Binsbergen (Speaker)
    6 Nov 2018

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

  40. Higher Order Program Analysis

    Matthew Hague (Chair)
    18 Jul 2014

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

  41. International Colloquium on Automata, Languages, and Programming

    Matthew Hague (Member of programme committee)
    12 Jul 2016 → 15 Jul 2018

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

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

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

  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 event › Participation 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 event › Participation 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 event › Participation 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 event › Participation 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 event › Participation in conference

  49. Mathematical Foundations in Bioinformatics (MatBio '19)

    Jamie Alnasir (Participant)
    5 Jul 2019

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

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

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

    L. Thomas van Binsbergen (Speaker)
    11 May 2016

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

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

    L. Thomas van Binsbergen (Participant)
    May 2015

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

  53. Principles of Programming Languages (POPL2018)

    L. Thomas van Binsbergen (Participant)
    2018

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

  54. Reachability Problems

    Matthew Hague (Chair), Igor Potapov (Chair)
    7 Sep 2017 → 9 Sep 2017

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

  55. Reachability Problems

    Matthew Hague (Member of programme committee)
    24 Sep 2018 → 26 Sep 2018

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

  56. Reachability Problems

    Matthew Hague (Member of programme committee)
    11 Sep 2019 → 13 Sep 2019

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

  57. Reachability Problems

    Matthew Hague (Member of programme committee)
    19 Oct 2020 → 21 Dec 2020

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

  58. Software Language Engineering

    L. Thomas van Binsbergen (Speaker)
    5 Nov 2018

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

  59. Statistical Learning and Data Sciences (SLDS)

    Giovanni Cherubin (Speaker)
    2015

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

  60. Strachey 100

    L. Thomas van Binsbergen (Participant)
    19 Nov 2016

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

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

    Claudia-Elena Chirita (Speaker)
    26 Jun 2016 → 1 Jul 2016

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

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

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

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

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

  64. Working Formal Methods Symposium

    Claudia-Elena Chirita (Speaker)
    5 Jul 2017 → 8 Jul 2017

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

  65. Young Researchers Workshop on Concurrency Theory

    Matthew Hague (Member of programme committee)
    3 Sep 2018

    Activity: Participating in or organising an event › Participation 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 event › Participation in workshop, seminar, course

  68. 16th Computer Science Postgraduate Research Colloquium

    Claudia-Elena Chirita (Speaker)
    11 May 2016

    Activity: Participating in or organising an event › Participation in workshop, seminar, course

  69. 17th Computer Science Postgraduate Research Colloquium

    Claudia-Elena Chirita (Organiser)
    2 Jun 2017

    Activity: Participating in or organising an event › Participation in workshop, seminar, course

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

  71. AISB Member Workshop VII

    Claudia-Elena Chirita (Speaker)
    15 Jun 2017

    Activity: Participating in or organising an event › Participation in workshop, seminar, course

  72. Automata, Logic and Games

    Matthew Hague (Invited speaker)
    22 Aug 2016 → 25 Sep 2016

    Activity: Participating in or organising an event › Participation in workshop, seminar, course

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

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

    L. Thomas van Binsbergen (Speaker)
    5 Jan 2016

    Activity: Participating in or organising an event › Participation in workshop, seminar, course

  75. Higher Order Program Analysis

    Matthew Hague (Chair)
    4 Jul 2015

    Activity: Participating in or organising an event › Participation in workshop, seminar, course

  76. Higher-Order Model Checking

    Matthew Hague (Invited speaker)
    14 Mar 2016 → 17 Mar 2016

    Activity: Participating in or organising an event › Participation in workshop, seminar, course

  77. Higher-Order Program Analysis

    Matthew Hague (Chair)
    28 Jun 2013 → 29 Jun 2013

    Activity: Participating in or organising an event › Participation in workshop, seminar, course

  78. Highlights of Games, Logic and Automata

    Matthew Hague (Organiser), Nikos Tzevelekos (Organiser)
    12 Sep 2017 → 15 Sep 2017

    Activity: Participating in or organising an event › Participation in workshop, seminar, course

  79. Highlights of Logic, Games and Automata

    Matthew Hague (Member of programme committee)
    6 Sep 2016 → 9 Sep 2016

    Activity: Participating in or organising an event › Participation in workshop, seminar, course

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

  81. INFINITY

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

    Activity: Participating in or organising an event › Participation in workshop, seminar, course

  82. INFINITY

    Matthew Hague (Invited speaker)
    15 Dec 2015

    Activity: Participating in or organising an event › Participation in workshop, seminar, course

  83. International Summer School on Meta-Programming

    L. Thomas van Binsbergen (Participant)
    8 Aug 2016 → 12 Aug 2016

    Activity: Participating in or organising an event › Participation in workshop, seminar, course

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

  85. Logic Seminar series

    Claudia-Elena Chirita (Organiser)
    1 Sep 2015 → 1 Jun 2016

    Activity: Participating in or organising an event › Participation in workshop, seminar, course

  86. Meeting on String Constraints and Applications

    Matthew Hague (Invited speaker)
    6 May 2019 → 9 May 2019

    Activity: Participating in or organising an event › Participation in workshop, seminar, course

  87. S-REPLS 9

    L. Thomas van Binsbergen (Speaker)
    25 May 2018

    Activity: Participating in or organising an event › Participation 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 presentation › Invited talk

  90. A transcriptomic analysis of photomorphogenesis in A. thaliana

    Hugh Shanahan (Speaker)
    8 Dec 2008

    Activity: Talk or presentation › Invited talk

  91. A transcriptomic analysis of photomorphogenesis in A. thaliana

    Hugh Shanahan (Speaker)
    10 Nov 2008

    Activity: Talk or presentation › Invited talk

  92. A transcriptomic analysis of photomorphogenesis in A. thaliana

    Hugh Shanahan (Speaker)
    20 Nov 2008

    Activity: Talk or presentation › Invited talk

  93. A transcriptomic analysis of photomorphogenesis in Arabidopsis thaliana

    Hugh Shanahan (Speaker)
    26 Sep 2008

    Activity: Talk or presentation › Invited talk

  94. A transcriptomic analysis of photomorphogenesis in Arabidopsis Thaliana

    Hugh Shanahan (Speaker)
    19 Sep 2007

    Activity: Talk or presentation › Invited talk

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

    Jamie Alnasir (Speaker)
    16 Mar 2017

    Activity: Talk or presentation › Invited talk

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

    Claudia-Elena Chirita (Speaker)
    19 Dec 2014

    Activity: Talk or presentation › Invited talk

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

    Kostas Stathis (Speaker)
    12 Oct 2018

    Activity: Talk or presentation › Invited talk

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

    L. Thomas van Binsbergen (Speaker)
    20 Apr 2016

    Activity: Talk or presentation › Invited talk

  99. Free Jazz and Service-Oriented Improvisations

    Claudia-Elena Chirita (Speaker)
    7 Jan 2016

    Activity: Talk or presentation › Invited talk

  100. Funcons (Guest Lecture)

    L. Thomas van Binsbergen (Speaker)
    7 Mar 2016

    Activity: Talk or presentation › Invited talk

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

    L. Thomas van Binsbergen (Speaker)
    7 Mar 2016

    Activity: Talk or presentation › Invited talk

  102. Lessons learnt from transcriptomics in A. thaliana

    Hugh Shanahan (Speaker)
    18 Mar 2009

    Activity: Talk or presentation › Invited talk

  103. New advances in algebraic circuits and proofs

    Iddo Tzameret (Speaker)
    May 2016

    Activity: Talk or presentation › Invited talk

  104. Reaching Agreement in a Dynamic Distributed System

    Peter Robinson (Speaker)
    26 Sep 2016 → 30 Sep 2016

    Activity: Talk or presentation › Invited talk

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

    Hugh Shanahan (Speaker)
    28 Jan 2008

    Activity: Talk or presentation › Invited talk

Previous 1 2 Next

Find an expert

Computer Science home
Research
Profile
Researchers
Publications
Projects