Activities per year
Activities
- 50 - 100 out of 146 results
Search results
-
17th Computer Science Postgraduate Research Colloquium
Claudia-Elena Chirita (Organiser)
2 Jun 2017Activity: Participating in or organising an event › Participation in workshop, seminar, course
-
CS3110/CS5110 Bioinformatics - Next-Gen. Sequencing and Transcriptomics
Jamie Alnasir (Speaker)
16 Mar 2017Activity: Talk or presentation › Invited talk
-
The Operational Semantics of Programs - Cake Talk CS Department
L. Thomas van Binsbergen (Speaker)
15 Mar 2017Activity: Other › Public engagement, outreach and knowledge exchange - Public Lecture/debate/seminar
File -
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 -
Reaching Agreement in a Dynamic Distributed System
Peter Robinson (Speaker)
26 Sept 2016 → 30 Sept 2016Activity: Talk or presentation › Invited talk
-
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
-
Highlights of Logic, Games and Automata
Matthew Hague (Member of programme committee)
6 Sept 2016 → 9 Sept 2016Activity: Participating in or organising an event › Participation in workshop, seminar, course
-
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 -
INFINITY
Matthew Hague (Chair) & Anthony Lin (Chair)
26 Aug 2016Activity: Participating in or organising an event › Participation in workshop, seminar, course
-
Automata, Logic and Games
Matthew Hague (Invited speaker)
22 Aug 2016 → 25 Sept 2016Activity: 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
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
-
16th Computer Science Postgraduate Research Colloquium
Claudia-Elena Chirita (Speaker)
11 May 2016Activity: Participating in or organising an event › Participation in workshop, seminar, course
-
New advances in algebraic circuits and proofs
Iddo Tzameret (Speaker)
May 2016Activity: 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
File -
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 -
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
-
Funcons (Guest Lecture)
L. Thomas van Binsbergen (Speaker)
7 Mar 2016Activity: Talk or presentation › Invited talk
File -
Funcons: Basics of imperative programming (Guest Lecture)
L. Thomas van Binsbergen (Speaker)
7 Mar 2016Activity: Talk or presentation › Invited talk
File -
Free Jazz and Service-Oriented Improvisations
Claudia-Elena Chirita (Speaker)
7 Jan 2016Activity: Talk or presentation › Invited talk
-
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
File -
17th International Conference on Distributed Computing and Networking (ICDCN 2016) (External organisation)
Peter Robinson (Chair)
4 Jan 2016 → 7 Jan 2016Activity: Membership › Membership of peer review panel or committee
-
Postgraduate Representative BCTCS (External organisation)
L. Thomas van Binsbergen (Participant)
2016 → 2017Activity: Membership › Membership of peer review panel or committee
-
Theoretical Computer Science (Journal)
Peter Robinson (Guest editor)
2016 → …Activity: Publication peer-review and editorial work › Editor of research journal
-
23rd International Colloquium on Structural Information and Communication Complexity (External organisation)
Peter Robinson (Participant)
2016Activity: Membership › Membership of peer review panel or committee
-
28th ACM Symposium on Parallelism in Algorithms and Architectures (External organisation)
Peter Robinson (Participant)
2016 → …Activity: Membership › Membership of peer review panel or committee
-
INFINITY
Matthew Hague (Invited speaker)
15 Dec 2015Activity: Participating in or organising an event › Participation in workshop, seminar, course
-
Alice in Logicland
Claudia-Elena Chirita (Speaker)
27 Nov 2015Activity: Other › Public engagement, outreach and knowledge exchange - Public Lecture/debate/seminar
-
3rd workshop on Advances in Distributed Graph Algorithms (ADGA 2015)
Peter Robinson (Speaker)
6 Oct 2015Activity: Talk or presentation › Invited talk
-
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 -
Logic Seminar series
Claudia-Elena Chirita (Organiser)
1 Sept 2015 → 1 Jun 2016Activity: Participating in or organising an event › Participation in workshop, seminar, course
-
Postgraduate staff-student committee Chair/PhD student representative (External organisation)
Jamie Alnasir (Chair)
1 Aug 2015 → 1 Aug 2016Activity: Membership › Membership of peer review panel or committee
-
Data Science Journal (Journal)
Hugh Shanahan (Member of editorial board)
31 Jul 2015Activity: Publication peer-review and editorial work › Editor of research journal
-
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
-
Higher Order Program Analysis
Matthew Hague (Chair)
4 Jul 2015Activity: Participating in or organising an event › Participation in workshop, seminar, course
-
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
-
15th Computer Science Postgraduate Research Colloquium
Claudia-Elena Chirita (Speaker)
1 May 2015Activity: Participating in or organising an event › Participation in workshop, seminar, course
-
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