Activities per year
Activities
- 1 - 50 out of 59 results
Search results
-
CSERC 2014
L. Thomas van Binsbergen (Participant)
Nov 2014Activity: Participating in or organising an event › Participation in conference
-
22nd International Workshop on Algebraic Development Techniques
Claudia-Elena Chirita (Speaker)
4 Sept 2014 → 7 Sept 2014Activity: 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
-
From Duplexes to Quadruplexes – Understanding DNA Structure and Function
Jamie Alnasir (Participant)
3 Jul 2014Activity: 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
-
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
-
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
File -
Developing data-driven Biology in Morocco, Tangier, Morocco
Jamie Alnasir (Speaker)
17 Feb 2014Activity: 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
File -
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
-
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
-
Poster Demo - Modular Semantics with UUAGC - TACAS 2015
L. Thomas van Binsbergen (Participant)
May 2015Activity: Participating in or organising an event › Participation in conference
File -
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
File -
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
File -
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
File -
Statistical Learning and Data Sciences (SLDS)
Giovanni Cherubin (Speaker)
2015Activity: 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
-
Strachey 100
L. Thomas van Binsbergen (Participant)
19 Nov 2016Activity: 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
File -
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
File -
23rd International Workshop on Algebraic Development Techniques
Claudia-Elena Chirita (Speaker)
21 Sept 2016 → 24 Sept 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 Sept 2016Activity: Participating in or organising an event › Participation in conference
File -
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
-
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
-
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
-
Doctoral School Summer Conference 2016 "SPACE"
L. Thomas van Binsbergen (Participant)
Jun 2016Activity: 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
-
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
File -
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
-
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
-
BCTCS 2016
L. Thomas van Binsbergen (Speaker)
22 Mar 2016Activity: Participating in or organising an event › Participation in conference
File -
Reachability Problems
Matthew Hague (Chair) & Igor Potapov (Chair)
7 Sept 2017 → 9 Sept 2017Activity: 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
-
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
-
Doctoral School Summer Conference 2017 "CHANGE"
L. Thomas van Binsbergen (Speaker)
6 Jun 2017Activity: 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
-
Generative Programming: Concepts & Experiences
L. Thomas van Binsbergen (Speaker)
6 Nov 2018Activity: Participating in or organising an event › Participation in conference
File -
Software Language Engineering
L. Thomas van Binsbergen (Speaker)
5 Nov 2018Activity: Participating in or organising an event › Participation in conference
File -
Reachability Problems
Matthew Hague (Member of programme committee)
24 Sept 2018 → 26 Sept 2018Activity: Participating in or organising an event › Participation in conference
-
Young Researchers Workshop on Concurrency Theory
Matthew Hague (Member of programme committee)
3 Sept 2018Activity: 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
-
Annual PhD Colloquium RHUL Computer Science
L. Thomas van Binsbergen (Speaker)
1 Jun 2018Activity: Participating in or organising an event › Participation in conference
File -
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
-
BCTCS 2018
L. Thomas van Binsbergen (Organiser)
Mar 2018Activity: 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
-
Principles of Programming Languages (POPL2018)
L. Thomas van Binsbergen (Participant)
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
-
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