- Editor of research journal
Data Science Journal (Journal)
Hugh Shanahan (Member of editorial board)31 Jul 2015Activity: Publication peer-review and editorial work › Editor of research journal
Information Processing Letters (Journal)
Gregory Chockler (Member of editorial board)2010 → …Activity: Publication peer-review and editorial work › Editor of research journal
Journal of Parallel and Distributed Computing (Journal)
Gregory Chockler (Guest editor)Jun 2011Activity: Publication peer-review and editorial work › Editor of research journal
The Computer Journal (Journal)
Fionn Murtagh (Editor)1 Jun 2012 → …Activity: Publication peer-review and editorial work › Editor of research journal
The Computer Journal (Journal)
Fionn Murtagh (Editor)2012 → …Activity: Publication peer-review and editorial work › Editor of research journal
Theoretical Computer Science (Journal)
Peter Robinson (Guest editor)2016 → …Activity: Publication peer-review and editorial work › Editor of research journal
- Peer review of manuscripts
Mathematical Reviews (AMS) (Journal)
Iddo Tzameret (Reviewer)2015 → …Activity: Publication peer-review and editorial work › Peer review of manuscripts
- Participation in conference
19th International Conference on Fundamental Approaches to Software Engineering
Claudia-Elena Chirita (Speaker)2 Apr 2016 → 8 Apr 2016Activity: Participating in or organising an event › Participation in conference
22nd International Workshop on Algebraic Development Techniques
Claudia-Elena Chirita (Speaker)4 Sep 2014 → 7 Sep 2014Activity: Participating in or organising an event › Participation in conference
23rd International Workshop on Algebraic Development Techniques
Claudia-Elena Chirita (Speaker)21 Sep 2016 → 24 Sep 2016Activity: Participating in or organising an event › Participation in conference
24th International Workshop on Algebraic Development Techniques
Claudia-Elena Chirita (Organiser)2 Jul 2018 → 5 Jul 2018Activity: Participating in or organising an event › Participation in conference
3DSig Structural Bioinformatics and Computational Biophysics 2015, Dublin
Jamie Alnasir (Speaker)10 Jul 2015 → 11 Jul 2015Activity: Participating in or organising an event › Participation in conference
6th Conference on Algebra and Coalgebra in Computer Science
Claudia-Elena Chirita (Speaker)24 Jun 2015 → 26 Jun 2016Activity: Participating in or organising an event › Participation in conference
Annual PhD Colloquium RHUL Computer Science
L. Thomas van Binsbergen (Speaker)1 Jun 2018Activity: Participating in or organising an event › Participation in conference
Asian Programming Languages and Systems
Matthew Hague (Member of programme committee)2 Dec 2019 → 4 Dec 2019Activity: Participating in or organising an event › Participation in conference
BCTCS 2015
L. Thomas van Binsbergen (Participant)2015 → …Activity: Participating in or organising an event › Participation in conference
BCTCS 2016
L. Thomas van Binsbergen (Speaker)22 Mar 2016Activity: Participating in or organising an event › Participation in conference
BCTCS 2018
L. Thomas van Binsbergen (Organiser)Mar 2018Activity: Participating in or organising an event › Participation in conference
Big Data Analytics Training Workshop, MSTI ENSIAS, Morocco
Jamie Alnasir (Participant)25 May 2015 → 30 May 2015Activity: Participating in or organising an event › Participation in conference
British Colloquium for Theoretical Computer Science 2018
Claudia-Elena Chirita (Organiser)26 Mar 2018 → 28 Mar 2018Activity: Participating in or organising an event › Participation in conference
CloudTech'16, Marrakech, Morocco.
Jamie Alnasir (Speaker)24 May 2016 → 25 May 2016Activity: Participating in or organising an event › Participation in conference
Combinators for Generalised Parsing - Haskell eXchange 2016
L. Thomas van Binsbergen (Participant)6 Oct 2016 → 7 Oct 2016Activity: Participating in or organising an event › Participation in conference
Co-organiser CSPRC (Computer Science Postgraduate Research Colloquium) '14 conference
Jamie Alnasir (Organiser)4 Jun 2014Activity: Participating in or organising an event › Participation in conference
CSERC 2014
L. Thomas van Binsbergen (Participant)Nov 2014Activity: Participating in or organising an event › Participation in conference
Defining Parser Combinators with Attribute Grammars - Annual PhD Colloquium RHUL 2015
L. Thomas van Binsbergen (Speaker)May 2015Activity: Participating in or organising an event › Participation in conference
Developing data-driven Biology in Morocco, Tangier, Morocco
Jamie Alnasir (Speaker)17 Feb 2014Activity: Participating in or organising an event › Participation in conference
Doctoral School Summer Conference 2016 "SPACE"
L. Thomas van Binsbergen (Participant)Jun 2016Activity: Participating in or organising an event › Participation in conference
Doctoral School Summer Conference 2017 "CHANGE"
L. Thomas van Binsbergen (Speaker)6 Jun 2017Activity: Participating in or organising an event › Participation in conference
Editor/Organiser CSPRC (Computer Science Postgraduate Research Colloquium) '16 conference
Jamie Alnasir (Organiser)11 May 2016Activity: Participating in or organising an event › Participation in conference
Efficient Interpretation of I-MSOS - IFL 2016
L. Thomas van Binsbergen (Speaker)31 Aug 2016 → 2 Sep 2016Activity: Participating in or organising an event › Participation in conference
European Conference on Ambient Intelligence
Achilles Kameas (Chair), Kostas Stathis (Chair)2018Activity: Participating in or organising an event › Participation in conference
Fisher Centre for Computational Biology meeting
Jamie Alnasir (Participant)6 Jun 2014Activity: Participating in or organising an event › Participation in conference
Foundations of Software Science and Computation Structures
Matthew Hague (Member of programme committee)6 Apr 2019 → 11 Apr 2019Activity: Participating in or organising an event › Participation in conference
From Duplexes to Quadruplexes – Understanding DNA Structure and Function
Jamie Alnasir (Participant)3 Jul 2014Activity: Participating in or organising an event › Participation in conference
Generalised Parsing and Combinator Parsing - Parsing@SLE 2016
L. Thomas van Binsbergen (Participant)30 Oct 2016Activity: Participating in or organising an event › Participation in conference
Generative Programming: Concepts & Experiences
L. Thomas van Binsbergen (Speaker)6 Nov 2018Activity: Participating in or organising an event › Participation in conference
Higher Order Program Analysis
Matthew Hague (Chair)18 Jul 2014Activity: Participating in or organising an event › Participation in conference
International Colloquium on Automata, Languages, and Programming
Matthew Hague (Member of programme committee)12 Jul 2016 → 15 Jul 2018Activity: Participating in or organising an event › Participation in conference
International Conference on Engineering of Complex Computer Systems
Matthew Hague (Member of programme committee)12 Dec 2018 → 14 Dec 2018Activity: Participating in or organising an event › Participation in conference
International Conference on Engineering of Complex Computer Systems
Matthew Hague (Member of programme committee)10 Nov 2019 → 13 Nov 2019Activity: Participating in or organising an event › Participation in conference
International Conference on the Implementation and Application of Automata
Matthew Hague (Member of programme committee)27 Jun 2017Activity: Participating in or organising an event › Participation in conference
Linear Ordered Attribute Grammars - without fake dependency selection - TFP 2014
L. Thomas van Binsbergen (Speaker)Mar 2014Activity: Participating in or organising an event › Participation in conference
Linearly Ordered Attribute Grammar Scheduling using SAT-solving - TACAS 2015
L. Thomas van Binsbergen (Speaker)15 Apr 2015Activity: Participating in or organising an event › Participation in conference
Linearly Ordered Attribute Grammars - with Automatic Augmenting Dependency Selection - PEPM 2015
L. Thomas van Binsbergen (Speaker)Jan 2015Activity: Participating in or organising an event › Participation in conference
MatBio '16 (Mathematical Foundations in Bioinformatics), King's college London
Jamie Alnasir (Speaker)20 Jul 2016Activity: Participating in or organising an event › Participation in conference
Mathematical Foundations in Bioinformatics (MatBio '19)
Jamie Alnasir (Participant)5 Jul 2019Activity: Participating in or organising an event › Participation in conference
Pattern Matching with Sequence Variables - Annual PhD Colloquium 2016
L. Thomas van Binsbergen (Speaker)11 May 2016Activity: Participating in or organising an event › Participation in conference
Poster Demo - Modular Semantics with UUAGC - TACAS 2015
L. Thomas van Binsbergen (Participant)May 2015Activity: Participating in or organising an event › Participation in conference
Principles of Programming Languages (POPL2018)
L. Thomas van Binsbergen (Participant)2018Activity: Participating in or organising an event › Participation in conference
Reachability Problems
Matthew Hague (Chair), Igor Potapov (Chair)7 Sep 2017 → 9 Sep 2017Activity: Participating in or organising an event › Participation in conference
Reachability Problems
Matthew Hague (Member of programme committee)24 Sep 2018 → 26 Sep 2018Activity: Participating in or organising an event › Participation in conference
Reachability Problems
Matthew Hague (Member of programme committee)11 Sep 2019 → 13 Sep 2019Activity: Participating in or organising an event › Participation in conference
Software Language Engineering
L. Thomas van Binsbergen (Speaker)5 Nov 2018Activity: Participating in or organising an event › Participation in conference
Statistical Learning and Data Sciences (SLDS)
Giovanni Cherubin (Speaker)2015Activity: Participating in or organising an event › Participation in conference
Strachey 100
L. Thomas van Binsbergen (Participant)19 Nov 2016Activity: Participating in or organising an event › Participation in conference
The Seventh International Conference on Computational Creativity (ICCC2016)
Claudia-Elena Chirita (Speaker)26 Jun 2016 → 1 Jul 2016Activity: Participating in or organising an event › Participation in conference
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
Twelfth International Workshop on Neural-Symbolic Learning and Reasoning
Claudia-Elena Chirita (Participant)17 Jul 2017 → 18 Jul 2017Activity: Participating in or organising an event › Participation in conference
Working Formal Methods Symposium
Claudia-Elena Chirita (Speaker)5 Jul 2017 → 8 Jul 2017Activity: Participating in or organising an event › Participation in conference
Young Researchers Workshop on Concurrency Theory
Matthew Hague (Member of programme committee)3 Sep 2018Activity: Participating in or organising an event › Participation in conference
- Participation in workshop, seminar, course
15th Computer Science Postgraduate Research Colloquium
Claudia-Elena Chirita (Speaker)1 May 2015Activity: Participating in or organising an event › Participation in workshop, seminar, course
16th Computer Science Postgraduate Research Colloquium
Claudia-Elena Chirita (Speaker)11 May 2016Activity: Participating in or organising an event › Participation in workshop, seminar, course
17th Computer Science Postgraduate Research Colloquium
Claudia-Elena Chirita (Organiser)2 Jun 2017Activity: Participating in or organising an event › Participation in workshop, seminar, course
18th Computer Science Postgraduate Research Colloquium
Claudia-Elena Chirita (Speaker)1 Jun 2018Activity: Participating in or organising an event › Participation in workshop, seminar, course
AISB Member Workshop VII
Claudia-Elena Chirita (Speaker)15 Jun 2017Activity: Participating in or organising an event › Participation in workshop, seminar, course
Automata, Logic and Games
Matthew Hague (Invited speaker)22 Aug 2016 → 25 Sep 2016Activity: Participating in or organising an event › Participation in workshop, seminar, course
British Colloquium for Theoretical Computer Science
Matthew Hague (Chair)26 Mar 2018 → 28 Mar 2018Activity: Participating in or organising an event › Participation in workshop, seminar, course
Generalised Parsing with Parser Combinators - Utrecht University MSc Colloquium
L. Thomas van Binsbergen (Speaker)5 Jan 2016Activity: Participating in or organising an event › Participation in workshop, seminar, course
Higher Order Program Analysis
Matthew Hague (Chair)4 Jul 2015Activity: Participating in or organising an event › Participation in workshop, seminar, course
Higher-Order Model Checking
Matthew Hague (Invited speaker)14 Mar 2016 → 17 Mar 2016Activity: Participating in or organising an event › Participation in workshop, seminar, course
Higher-Order Program Analysis
Matthew Hague (Chair)28 Jun 2013 → 29 Jun 2013Activity: Participating in or organising an event › Participation in workshop, seminar, course
Highlights of Games, Logic and Automata
Matthew Hague (Organiser), Nikos Tzevelekos (Organiser)12 Sep 2017 → 15 Sep 2017Activity: Participating in or organising an event › Participation in workshop, seminar, course
Highlights of Logic, Games and Automata
Matthew Hague (Member of programme committee)6 Sep 2016 → 9 Sep 2016Activity: Participating in or organising an event › Participation in workshop, seminar, course
IFIP WG1.3 Foundations of System Specification Meeting
Claudia-Elena Chirita (Organiser)5 Jul 2018 → 7 Jul 2018Activity: Participating in or organising an event › Participation in workshop, seminar, course
INFINITY
Matthew Hague (Chair), Anthony Lin (Chair)26 Aug 2016Activity: Participating in or organising an event › Participation in workshop, seminar, course
INFINITY
Matthew Hague (Invited speaker)15 Dec 2015Activity: Participating in or organising an event › Participation in workshop, seminar, course
International Summer School on Meta-Programming
L. Thomas van Binsbergen (Participant)8 Aug 2016 → 12 Aug 2016Activity: Participating in or organising an event › Participation in workshop, seminar, course
Leverhulme School on Graph Transformation Techniques
Claudia-Elena Chirita (Organiser)29 Jun 2018 → 1 Jul 2018Activity: Participating in or organising an event › Participation in workshop, seminar, course
Logic Seminar series
Claudia-Elena Chirita (Organiser)1 Sep 2015 → 1 Jun 2016Activity: Participating in or organising an event › Participation in workshop, seminar, course
Meeting on String Constraints and Applications
Matthew Hague (Invited speaker)6 May 2019 → 9 May 2019Activity: Participating in or organising an event › Participation in workshop, seminar, course
S-REPLS 9
L. Thomas van Binsbergen (Speaker)25 May 2018Activity: Participating in or organising an event › Participation in workshop, seminar, course
- Invited talk
3rd workshop on Advances in Distributed Graph Algorithms (ADGA 2015)
Peter Robinson (Speaker)6 Oct 2015Activity: Talk or presentation › Invited talk
A transcriptomic analysis of photomorphogenesis in A. thaliana
Hugh Shanahan (Speaker)8 Dec 2008Activity: Talk or presentation › Invited talk
A transcriptomic analysis of photomorphogenesis in A. thaliana
Hugh Shanahan (Speaker)10 Nov 2008Activity: Talk or presentation › Invited talk
A transcriptomic analysis of photomorphogenesis in A. thaliana
Hugh Shanahan (Speaker)20 Nov 2008Activity: Talk or presentation › Invited talk
A transcriptomic analysis of photomorphogenesis in Arabidopsis thaliana
Hugh Shanahan (Speaker)26 Sep 2008Activity: Talk or presentation › Invited talk
A transcriptomic analysis of photomorphogenesis in Arabidopsis Thaliana
Hugh Shanahan (Speaker)19 Sep 2007Activity: Talk or presentation › Invited talk
CS3110/CS5110 Bioinformatics - Next-Gen. Sequencing and Transcriptomics
Jamie Alnasir (Speaker)16 Mar 2017Activity: Talk or presentation › Invited talk
Dealing with preferences: on constraint algebras and graded satisfaction
Claudia-Elena Chirita (Speaker)19 Dec 2014Activity: Talk or presentation › Invited talk
Enabling decentralised decision-making in AI - an agent environments perspective.
Kostas Stathis (Speaker)12 Oct 2018Activity: Talk or presentation › Invited talk
Executable Component Based Semantics - 10th PL Retreat TU Delft
L. Thomas van Binsbergen (Speaker)20 Apr 2016Activity: Talk or presentation › Invited talk
Free Jazz and Service-Oriented Improvisations
Claudia-Elena Chirita (Speaker)7 Jan 2016Activity: Talk or presentation › Invited talk
Funcons (Guest Lecture)
L. Thomas van Binsbergen (Speaker)7 Mar 2016Activity: Talk or presentation › Invited talk
Funcons: Basics of imperative programming (Guest Lecture)
L. Thomas van Binsbergen (Speaker)7 Mar 2016Activity: Talk or presentation › Invited talk
Lessons learnt from transcriptomics in A. thaliana
Hugh Shanahan (Speaker)18 Mar 2009Activity: Talk or presentation › Invited talk
New advances in algebraic circuits and proofs
Iddo Tzameret (Speaker)May 2016Activity: Talk or presentation › Invited talk
Reaching Agreement in a Dynamic Distributed System
Peter Robinson (Speaker)26 Sep 2016 → 30 Sep 2016Activity: Talk or presentation › Invited talk
The detection of DNA-binding proteins by means of structural motifs
Hugh Shanahan (Speaker)28 Jan 2008Activity: Talk or presentation › Invited talk
The Fundamental Constructs of Homogeneous Generative Meta-Programming
L. Thomas van Binsbergen (Speaker)25 Jan 2018Activity: Talk or presentation › Invited talk
- Oral presentation
Funcons for HGMP
L. Thomas van Binsbergen (Speaker)6 Nov 2018Activity: Talk or presentation › Oral presentation