Activities per year
Activities
- 50 - 100 out of 146 results
Search results
-
Enabling decentralised decision-making in AI - an agent environments perspective.
Kostas Stathis (Speaker)
12 Oct 2018Activity: Talk or presentation › Invited talk
-
EPSRC College (External organisation)
Chris Watkins (Participant)
2010 → …Activity: Membership › Membership of peer review panel or committee
-
European Conference on Ambient Intelligence
Achilles Kameas (Chair) & Kostas Stathis (Chair)
2018Activity: Participating in or organising an event › Participation in conference
-
Executable Component Based Semantics - 10th PL Retreat TU Delft
L. Thomas van Binsbergen (Speaker)
20 Apr 2016Activity: Talk or presentation › Invited talk
File -
External Mentor for Ph.D. student at the University of Sussex
Hugh Shanahan (External Supervisor)
21 Mar 2011 → …Activity: Other › Supervision
-
-
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
-
Free Jazz and Service-Oriented Improvisations
Claudia-Elena Chirita (Speaker)
7 Jan 2016Activity: Talk or presentation › Invited talk
-
From Duplexes to Quadruplexes – Understanding DNA Structure and Function
Jamie Alnasir (Participant)
3 Jul 2014Activity: Participating in or organising an event › Participation in conference
-
Funcons: Basics of imperative programming (Guest Lecture)
L. Thomas van Binsbergen (Speaker)
7 Mar 2016Activity: Talk or presentation › Invited talk
File -
Funcons (Guest Lecture)
L. Thomas van Binsbergen (Speaker)
7 Mar 2016Activity: Talk or presentation › Invited talk
File -
Funcons for HGMP
L. Thomas van Binsbergen (Speaker)
6 Nov 2018Activity: Talk or presentation › Oral presentation
File -
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 -
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 -
Generative Programming: Concepts & Experiences
L. Thomas van Binsbergen (Speaker)
6 Nov 2018Activity: Participating in or organising an event › Participation in conference
File -
GLL Parsing with Flexible Combinators
L. Thomas van Binsbergen (Speaker)
5 Nov 2018Activity: Talk or presentation › Oral presentation
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
-
Higher Order Program Analysis
Matthew Hague (Chair)
4 Jul 2015Activity: Participating in or organising an event › Participation in workshop, seminar, course
-
Higher Order Program Analysis
Matthew Hague (Chair)
18 Jul 2014Activity: Participating in or organising an event › Participation in conference
-
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 Sept 2017 → 15 Sept 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 Sept 2016 → 9 Sept 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 (Invited speaker)
15 Dec 2015Activity: 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
-
Information Processing Letters (Journal)
Gregory Chockler (Member of editorial board)
2010 → …Activity: Publication peer-review and editorial work › Editor of research journal
-
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
-
International Joint Conferences on Ambient Intelligence (External organisation)
Kostas Stathis (Participant)
1 Jun 2010Activity: Membership › Membership of public/government advisory/policy group or panel
-
-
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 -
Introducing a Structured Approach to Online Discussion
Emma Lieu (Speaker)
27 Jun 2022Activity: Talk or presentation › Oral presentation
-
Journal of Parallel and Distributed Computing (Journal)
Gregory Chockler (Guest editor)
Jun 2011Activity: Publication peer-review and editorial work › Editor of research journal
-
Lessons learnt from transcriptomics in A. thaliana
Hugh Shanahan (Speaker)
18 Mar 2009Activity: Talk or presentation › Invited talk
-
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
-
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 -
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 -
Logic Seminar series
Claudia-Elena Chirita (Organiser)
1 Sept 2015 → 1 Jun 2016Activity: Participating in or organising an event › Participation in workshop, seminar, course
-
Lower Bounds for Maximum Weight Bisections of Graphs with Bounded Degrees
Yacong Zhou (Speaker)
20 Mar 2024Activity: Talk or presentation › Oral presentation
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
-
Mathematical Foundations in Bioinformatics (MatBio '19)
Jamie Alnasir (Participant)
5 Jul 2019Activity: Participating in or organising an event › Participation in conference
-
Mathematical Foundations of Computer Science
Matthew Hague (Member of programme committee)
24 Aug 2020 → 28 Aug 2020Activity: Participating in or organising an event › Participation in conference
-
Mathematical Reviews (AMS) (Journal)
Iddo Tzameret (Reviewer)
2015 → …Activity: Publication peer-review and editorial work › Peer review of manuscripts
-
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
-
Member of TYPES steering committee (External organisation)
Zhaohui Luo (Participant)
25 Apr 2013Activity: Membership › Membership of research network
-
New advances in algebraic circuits and proofs
Iddo Tzameret (Speaker)
May 2016Activity: Talk or presentation › Invited talk