Events

Explore upcoming seminars, guest lectures, workshops, and other events hosted by the School of Computing Science.
Our events bring together students, researchers, industry partners, and the wider community to share ideas, showcase research, and foster collaboration.
This Week’s EventsAll Upcoming EventsPast EventsWebapp
This Week’s Events
[FATA Internal] Section Meeting
Group: Formal Analysis, Theory and Algorithms (FATA)
Speaker: David Manlove
Date: 23 June, 2026
Time: 15:00 - 16:00
Location: Sir Alwyn Williams Building, 422 Seminar Room
Internal section meeting -- see emails.
GIST Seminar: Modelling Human Motion and Behaviour: From Human–Environment Interactions to Clinical Decision Support
Group: Human Computer Interaction (GIST)
Speaker: Dr. Edmond S. L. Ho, University of Glasgow
Date: 25 June, 2026
Time: 13:00 - 14:00
Location: SAWB 423, Sir Alwyn Williams Building
Abstract:
Upcoming events
[FATA Internal] Section Meeting
Group: Formal Analysis, Theory and Algorithms (FATA)
Speaker: David Manlove
Date: 23 June, 2026
Time: 15:00 - 16:00
Location: Sir Alwyn Williams Building, 422 Seminar Room
Internal section meeting -- see emails.
GIST Seminar: Modelling Human Motion and Behaviour: From Human–Environment Interactions to Clinical Decision Support
Group: Human Computer Interaction (GIST)
Speaker: Dr. Edmond S. L. Ho, University of Glasgow
Date: 25 June, 2026
Time: 13:00 - 14:00
Location: SAWB 423, Sir Alwyn Williams Building
Abstract:
Predicting Lakehouse Performance in Clouds AND Augur: Pre-Execution Energy Prediction for Workflow Tasks in Heterogeneous Clusters
Group: Systems Seminars
Speaker: James Nurdin & Kathleen West, University of Glasgow
Date: 30 June, 2026
Time: 14:00 - 15:00
Location: Room 422, Sir Alwyn Williams Building and Zoom
This paper addresses this gap by investigating the runtime variance observed for distributed lakehouse analytical queries and its impact on QPP. First, we quantify the run-to-run variance using Kubernetes deployments across three public clouds and one private cloud, spanning multiple database scales and three analytical benchmarks. Our results demonstrate that repeated executions of the same query can vary in runtime by nearly twofold. Second, we conduct a factor analysis study assessing key sources of this runtime variance such as data locality, co-tenant load, and caching effects. Third, we examine how variance influences state-of-the-art QPP models, revealing that addressing key sources of variance can reduce prediction error up to 80%. Finally, we demonstrate the downstream implications for low-carbon scheduling as an example of a workload management technique that relies on performance prediction, showing that accounting for runtime variance can lead to a significant reduction in carbon costs.
[FATA Seminar] Unifying Approach to Uniform Expressivity of Graph Neural Networks
Group: Formal Analysis, Theory and Algorithms (FATA)
Speaker: Huan Luo, FATA
Date: 30 June, 2026
Time: 15:00 - 16:00
Location: Sir Alwyn Williams Building, 422 Seminar Room
The expressive power of Graph Neural Networks (GNNs) is often analysed via correspondence to the Weisfeiler-Leman (WL) algorithm and fragments of first-order logic. Standard message-passing GNNs only aggregate information over immediate neighbourhoods, and are inherently limited in the substructures they can detect. To address this, a recent line of work has tried to boost expressivity by explicitly incorporating substructural information - for example, counting cycles or reasoning about particular subgraphs. In this talk, I'll introduce Template GNNs, a generalised framework that formalises this trend, and Graded Template Modal Logic, together with corresponding notions of template-based bisimulation and WL algorithm. The main result is an equivalence between the expressive power of T-GNNs and Graded Template Modal Logic. I'll show how standard AC-GNNs and several recent substructure-aware variants can be seen as instantiations of Template GNNs, giving us a clean, unified way to compare and analyse their expressivity.
SPLV’26: Scottish Programming Languages and Verification Summer School 2026
Group: Scottish Informatics and Computer Science Alliance (SICSA)
Speaker: SICSA Event, SICSA
Date: 03 August, 2026
Time: 01:00 - 01:00
Location: TBA
The 2026 edition of SPLV will be held at the University of Glasgow, with the main courses running from within the Gilbert Scott Building. The school is aimed at PhD students in programming languages, verification and related areas. Researchers and practitioners are welcome, as are strong undergraduate and masters students with the support of a supervisor. Participants should have a background in computer science, mathematics or a related discipline. Prospective students may contact the organisers if they have any concerns about background knowledge. Registration will open March 2026. View full programme at SPLV 2026 | SPLV
Past events
To view past events, please click hereEvents Webapp
- Try out the events webapp (available to staff and students).