Activities per year
Activities
- 100 - 145 out of 145 results
Search results
-
On the Metatheory of Subtype Universes (TYPES23)
Felix Bradley (Speaker)
12 Jun 2023 → 15 Jun 2023Activity: Talk or presentation › Oral presentation
File -
On the Metatheory of Subtype Universes (WG6)
Felix Bradley (Speaker)
24 Apr 2023Activity: Talk or presentation › Oral presentation
File -
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 -
-
-
-
PhD Student Representative CS Department (External organisation)
L. Thomas van Binsbergen (Participant)
2015 → 2016Activity: Membership › Membership of peer review panel or committee
-
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 -
Postgraduate Representative BCTCS (External organisation)
L. Thomas van Binsbergen (Participant)
2016 → 2017Activity: Membership › Membership of peer review panel or committee
-
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
-
Postgraduate staff-student committee postgraduate student representative (External organisation)
Jamie Alnasir (Participant)
1 Aug 2013 → 1 Aug 2014Activity: Membership › Membership of peer review panel or committee
-
Principles of Programming Languages
Matthew Hague (Member of programme committee)
16 Jan 2022 → 22 Jan 2022Activity: 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 (Member of programme committee)
11 Sept 2019 → 13 Sept 2019Activity: Participating in or organising an event › Participation in conference
-
Reachability Problems
Matthew Hague (Member of programme committee)
19 Oct 2020 → 21 Dec 2020Activity: Participating in or organising an event › Participation in conference
-
Reachability Problems
Matthew Hague (Chair) & Igor Potapov (Chair)
7 Sept 2017 → 9 Sept 2017Activity: Participating in or organising an event › Participation in conference
-
Reachability Problems
Matthew Hague (Member of programme committee)
24 Sept 2018 → 26 Sept 2018Activity: Participating in or organising an event › Participation in conference
-
Reachability Problems
Matthew Hague (Member of programme committee)
25 Oct 2021 → 27 Oct 2021Activity: Participating in or organising an event › Participation in conference
-
Reaching Agreement in a Dynamic Distributed System
Peter Robinson (Speaker)
26 Sept 2016 → 30 Sept 2016Activity: Talk or presentation › Invited talk
-
-
Results on the small quasi-kernel conjecture
Yacong Zhou (Speaker)
13 Jul 2022Activity: Talk or presentation › Oral presentation
File -
-
Software Language Engineering
L. Thomas van Binsbergen (Speaker)
5 Nov 2018Activity: Participating in or organising an event › Participation in conference
File -
Some Aspects of Directed Graphs: Paths and Cycles in Digraphs (Problem Session)
Yacong Zhou (Speaker)
6 Oct 2022Activity: Talk or presentation › Oral presentation
File -
S-REPLS 9
L. Thomas van Binsbergen (Speaker)
25 May 2018Activity: Participating in or organising an event › Participation in workshop, seminar, course
File -
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
-
Teaching at Summer School "Chips, Crops and Computers"
Hugh Shanahan (Examiner)
Sept 2009 → …Activity: Examination
-
The annotation of protocol sequencing steps in the Sequence Read Archive - Cake Talk, CS Department
Jamie Alnasir (Participant)
4 Feb 2014Activity: Other › Public engagement, outreach and knowledge exchange - Public Lecture/debate/seminar
-
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
-
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)
17 Jan 2018Activity: Other › Public engagement, outreach and knowledge exchange - Public Lecture/debate/seminar
File -
The Fundamental Constructs of Homogeneous Generative Meta-Programming
L. Thomas van Binsbergen (Speaker)
25 Jan 2018Activity: Talk or presentation › Invited talk
File -
The International Conference on Networked Systems
Matthew Hague (Member of programme committee)
19 May 2021 → 21 May 2021Activity: Participating in or organising an event › Participation in conference
-
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 -
Theoretical Computer Science (Journal)
Peter Robinson (Guest editor)
2016 → …Activity: Publication peer-review and editorial work › Editor of research journal
-
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
-
The Sixteenth International Workshop on Logic and Computational Complexity (LCC 2015) (External organisation)
Iddo Tzameret (Participant)
2015 → …Activity: Membership › Membership of peer review panel or committee
-
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 -
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
-
University of Warwick
Diptapriyo Majumdar (Visiting researcher)
2 Sept 2019 → 6 Sept 2019Activity: Visiting an external institution › Visiting an external academic institution
-
Working Formal Methods Symposium
Claudia-Elena Chirita (Speaker)
5 Jul 2017 → 8 Jul 2017Activity: Participating in or organising an event › Participation in conference
-
Workshop on Homotopy Type Theory
Felix Bradley (Participant)
22 Apr 2023 → 23 Apr 2023Activity: Participating in or organising an event › Participation in workshop, seminar, course
-
Young Researchers Workshop on Concurrency Theory
Matthew Hague (Member of programme committee)
3 Sept 2018Activity: Participating in or organising an event › Participation in conference