Activities per year
Activities
- 21 results
Search results
-
Soapbox Science
Hammam, K. (Advisor)
1 Jun 2024Activity: Participating in or organising an event types › Public Engagement – Public lecture/debate/seminar
-
36th Annual ACM/IEEE Symposium on Logic in Computer Science
Gorla, D. (Chair) & Libkin, L. (Chair)
29 Jun 2021 → 2 Jul 2021Activity: Participating in or organising an event types › Participation in conference
-
ACM SIGMOD/PODS International Conference on Management Data
Libkin, L. (Chair), Pichler, R. (Chair) & Guagliardo, P. (Chair)
21 Jun 2021 → 23 Jun 2021Activity: Participating in or organising an event types › Participation in conference
-
Coherence through normalisation-by-evaluation for cartesian closed bicategories
Saville, P. (Invited speaker) & Fiore, M. (Contributor)
12 Nov 2019Activity: Academic talk or presentation types › Invited talk
-
Journal of Logical and Algebraic Methods in Programming (Journal)
Galpin, V. (Guest editor), Milazzo, P. (Guest editor) & Monreale, A. (Guest editor)
25 Oct 2019Activity: Publication peer-review and editorial work types › Editorial activity
-
A type theory for cartesian closed bicategories
Saville, P. (Invited speaker) & Fiore, M. (Contributor)
8 May 2019Activity: Academic talk or presentation types › Invited talk
-
ASA2018 talk: Forging a Causal Chain Around the Circadian Clock, from Genome Sequence to Field Traits
Millar, A. (Invited speaker), Zardilis, A. (Contributor), Urquiza Garcia, J. (Contributor), Hume, A. (Contributor), Muetzelfeldt, R. (Contributor) & Plotkin, G. (Contributor)
5 Nov 2018Activity: Academic talk or presentation types › Invited talk
-
7th Workshop on Mathematically Structured Functional Programming (Event)
Atkey, R. (Editor) & Lindley, S. (Editor)
8 Jul 2018Activity: Publication peer-review and editorial work types › Editorial activity
-
22nd ACM SIGPLAN International Conference on Functional Programming (Event)
Lindley, S. (Editor) & Yorgey, B. (Editor)
2018Activity: Publication peer-review and editorial work types › Editorial activity
-
7th Workshop on Mathematically Structured Functional Programming (Event)
Atkey, R. (Editor) & Lindley, S. (Editor)
2018Activity: Publication peer-review and editorial work types › Editorial activity
-
Skew monoidal structure on categories of algebras
Saville, P. (Invited speaker) & Fiore, M. (Contributor)
28 Nov 2017Activity: Academic talk or presentation types › Invited talk
-
2nd ACM SIGPLAN International Workshop on Type-Driven Development (Event)
Lindley, S. (Editor) & Yorgey, B. (Editor)
3 Sept 2017Activity: Publication peer-review and editorial work types › Editorial activity
-
List objects with algebraic structure
Saville, P. (Invited speaker) & Fiore, M. (Contributor)
23 May 2017Activity: Academic talk or presentation types › Invited talk
-
Cyber Security Christmas Lectures
Vaniea, K. (Presenter)
15 Dec 2016Activity: Participating in or organising an event types › Public Engagement – Schools engagement
-
Information Security Awareness Week
Vaniea, K. (Presenter)
5 Oct 2016Activity: Participating in or organising an event types › Public Engagement – Public lecture/debate/seminar
-
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Journal)
Zikas, V. (Peer reviewer) & De Prisco, R. (Peer reviewer)
1 Sept 2016Activity: Publication peer-review and editorial work types › Editorial activity
-
20th Workshop on Logic, Language, Information and Computation
Libkin, L. (Chair)
20 Aug 2013Activity: Participating in or organising an event types › Participation in conference
-
Reasoning About Pattern-Based XML Queries
Libkin, L. (Member)
Jun 2013Activity: Academic talk or presentation types › Invited talk
-
Finite validity via model checking: computing certain answers
Libkin, L. (Speaker)
2013Activity: Academic talk or presentation types › Invited talk
-
Federated Logic Conference
Libkin, L. (Chair)
2010Activity: Participating in or organising an event types › Participation in conference
-
26th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems
Libkin, L. (Chair)
11 Jun 2007 → 14 Jun 2007Activity: Participating in or organising an event types › Participation in conference