School of Computing Science

CVAS: ICRA Poster - 3D-ADAM Dataset

Group: Computer Vision for Autonomous Systems (CVAS)
Speaker: Paul McHard
Date: 22 May, 2026
Time: 13:00 - 14:00
Location: SAWB 423, Sir Alwyn Williams Building

Surface defects are a primary source of yield loss in manufacturing, yet existing anomaly detection methods often fail in real-world deployment due to limited and unrepresentative datasets. To overcome this, we developed the 3D-ADAM dataset,  the first large-scale, industry-relevant dataset for RGB+3D surface defect detection in additive manufacturing. 3D-ADAM is the largest in its class, features the widest range of object categories and defect classes, is the first to introduce a multi-camera capturing protocol as well as allow for natural variation in conditions such as ambient lighting and background elements. The dataset itself has surpassed 500,000 total downloads on huggingface.

Our paper has been accepted to ICRA, and this weeks presentation will primarily be to present the poster for ICRA in order to gather feedback and practice defending the work ahead of the main ICRA conference, which takes place first week of June.

CVAS: ICRA Poster - 3D-ADAM Dataset

Group: Computer Vision for Autonomous Systems (CVAS)
Speaker: Paul McHard
Date: 22 May, 2026
Time: 13:00 - 14:00
Location: SAWB 423, Sir Alwyn Williams Building

Surface defects are a primary source of yield loss in manufacturing, yet existing anomaly detection methods often fail in real-world deployment due to limited and unrepresentative datasets. To overcome this, we developed the 3D-ADAM dataset,  the first large-scale, industry-relevant dataset for RGB+3D surface defect detection in additive manufacturing. 3D-ADAM is the largest in its class, features the widest range of object categories and defect classes, is the first to introduce a multi-camera capturing protocol as well as allow for natural variation in conditions such as ambient lighting and background elements. The dataset itself has surpassed 500,000 total downloads on huggingface.

Our paper has been accepted to ICRA, and this weeks presentation will primarily be to present the poster for ICRA in order to gather feedback and practice defending the work ahead of the main ICRA conference, which takes place first week of June.

Synergistic Hardware-Software Co-Design for Approximate Real-Time Systems

Group: Systems Seminars
Speaker: Shounak Chakraborty, Durham University
Date: 26 May, 2026
Time: 14:00 - 15:00
Location: Room 422, Sir Alwyn Williams Building and Zoom

Abstract: Modern data centers in hubs consume hundreds of megawatts to support global services. To address this energy crisis, we must optimize the performance-per-watt across the entire stack—from application layers down to the device level. This seminar introduces PRECIOUS, a framework designed to maximize Quality of Service (QoS) for dependent real-time tasks on heterogeneous Chip Multi-Processors (CMPs). The core of PRECIOUS is a hybrid offline-online strategy. Offline, we utilise an Integer Linear Programming (ILP) scheduling approach to optimally assign task versions and cores while satisfying power and timing constraints. Online, the framework leverages the density of Multi-Level Cell (MLC) MRAM-based Last-Level Caches (LLC). By employing novel cell-splitting and intelligent write-steering, we reduce cache miss rates by 19% and improve throughput by 5.7%. Validated on 64-core systems, PRECIOUS achieves up to 76% normalised QoS, outperforming traditional heuristic methods. Furthermore, the framework converts architectural efficiency into dynamic runtime slacks, enabling a 9.0% QoS boost and cluster power-gating without additional energy overhead. 

Speaker's Bio: Dr. Shounak Chakraborty is an Assistant Professor in the Department of Computer Science at Durham University and a member of the Scientific Computing Research Group. He also serves as a Visiting Fellow at the University of Essex and was previously a Marie Curie Postdoctoral Fellow as well as an ERCIM Postdoctoral Fellow at NTNU, Norway. Beyond his academic background, he brings two years of industry experience as a Computer System Architect at ZeroPoint Technologies AB in Sweden, where he researched memory compression mechanisms to enhance energy efficiency. His research is situated at the intersection of computer architecture and compilers, with a focus on improving the energy and thermal efficiency of modern Chip Multi-Processors. Dr. Chakraborty's recent work, which includes a project supported by APRIL AI Hub, investigates the use of emerging non-volatile memory technologies and 3D-FETs to optimize Quality of Service in time-critical systems. His research has been published in several journals such as IEEE TC, IEEE TCAD, IEEE TPDS, ACM TECS, ACM TACO, etc. some conferences including the DAC, IPDPS, CF, DATE, ASAP, etc. 

[FATA Seminar] How to Compute the Intersection of Two Commutative Regular Expressions? A Certified Solver Based on Systems of Linear Diophantine Equations.

Group: Formal Analysis, Theory and Algorithms (FATA)
Speaker: Ricardo Almeida, FATA
Date: 26 May, 2026
Time: 15:00 - 16:00
Location: Sir Alwyn Williams Building, 422 Seminar Room

Commutative regular expressions describe sets of unordered words, and are used, for example, when building type systems for process calculi. In these applications, an important operation is finding the intersection of two expressions, but no algorithm existed in the literature yet. In this talk I will present the algorithm we recently proposed and formalised in Rocq, where we encode the intersection of two expressions as systems of linear Diophantine equations, and extract from their solution an intersection expression. I will also present an experimental evaluation of the OCaml-extracted solver using >50,000 random generated regular expressions. This talk will be based on our paper that was recently accepted at ITP (FLoC 2026).

Mathematical Foundations for Symmetric Programming

Group: Programming Languages at University of Glasgow (PLUG)
Speaker: Ohad Kammar, University of Edinburgh
Date: 27 May, 2026
Time: 15:00 - 16:00
Location: F121 Lilybank Gardens and Online

Joint work with Matija Pretnar.

We propose abstractions for exploiting symmetries in programming and
reasoning based on the mathematical proof principle
"without-loss-of-generality" (wlog). We decompose such arguments into
three components. The first component makes the symmetry explicit by
defining appropriate groups and their action on the input/assumptions
and output/conclusions. The second component explicates how to
canonise the input, by choosing appropriate symmetries for each
input. The third component is a core function/proof that transforms
canonical inputs into outputs. The proposed wlog construct combines
these components: given an input, calculate its canonising symmetry,
use the symmetry to canonise the input, apply the core function to the
canonical input, and apply the inverse symmetry to the output.
Here we develop the mathematical foundations for these abstractions.

We illustrate the approach on running examples: sliding-tile merges in
2048, binary-tree insertion, and Schur's inequality as a mathematical
instance of WLOG. We extend the framework to algebraic datatypes using
initial algebra semantics, showing how a G-symmetry strength on a
functor lifts group actions to inductive types and that the unique
fold into an equivariant algebra is itself equivariant, allowing us to
avoid using general recursion to define a symmetric version of tree
insertion. Finally, we develop the theory of equivariant canonisers
and explore the cases when the WLOG construction is guaranteed to
produce an equivariant function.

SICSA Seminar - Theory and Practice of Efficient Evaluation

Group: Scottish Informatics and Computer Science Alliance (SICSA)
Speaker: SICSA Event, SICSA
Date: 27 May, 2026
Time: 16:00 - 17:00
Location: https://sicsa.ac.uk/event/sicsa-seminar-theory-and-practice-of-efficient-evaluation/

Register to attend Join us on Wednesday 27 May for an AI & Data Science Seminar. Vilém Zouhar of EHT Zurich presents Theory and Practice of Efficient Evaluation Science without evaluation is limited to blind exploration, though good evaluation comes at a cost. In this session, we first cover basics of annotation protocols. We then build a formalism (based on coresets and multi-armed bandits) for choosing which models to evaluate and on which items, in order to make evaluation more efficient. Vilém Zouhar is last-year PhD at ETH Zurich and Google PhD Fellow. He works on both the practical and theoretical aspects of evaluation (human annotations, automated metrics, methods), especially in the context of multilingual NLP.

Scottish Argumentation Day 2026

Group: Scottish Informatics and Computer Science Alliance (SICSA)
Speaker: SICSA Event, SICSA
Date: 29 May, 2026
Time: 01:00 - 01:00
Location: University of Dundee

Scotland has a particularly high concentration of research groups working in the AI subfield of computational argumentation. Scottish Argumentation Day has previously been attended by researchers based both in Scotland and further afield, and has enabled the Scottish argumentation community to present their work in an informal setting, share feedback, and strengthen professional links. SAD began with Aberdeen 2011, and most recently took place in Edinburgh 2024. In continuing this series, our aim is threefold: (i) enable Scottish argumentation researchers, and especially PhD students, to mutually present their work; (ii) affirm Scottish argumentation research as a recognisable presence; (iii) provide a concrete opportunity for Scottish researchers to network. At SAD 2026 we aim to improve visibility for Scotland-based researchers, especially PhD students and early-career researchers, to encourage knowledge- and skill-exchange at all levels, and to foster cross-institution relations and collaborations. Participation is free but registration is required. ————————————————– We invite abstracts of up to 250 words to be presented as a short talk or poster. Participants at all levels are encouraged to present work, so that everyone can come away with a view of the current Scottish argumentation landscape. We invite abstracts at a range of levels, including: Overview of a specific research project or a lab’s area of work Recent work Work in progress, recent findings or initial results PhD projects and project plans PhD students are especially encouraged to present their projects and project plans to benefit from wider feedback in a supportive atmosphere. Abstract submission form: https://forms.gle/qCVGqi1sahCKATJv6 ————————————————– The day will be scaffolded by three keynote talks by John Lawrence of the University of Dundee, Elena Musi of the University of Liverpool and Henning Wachsmuth of Leibniz University Hannover. ————————————————–

RetroEVAL2026: Symposium on Natural Language Generation Evaluations

Group: Scottish Informatics and Computer Science Alliance (SICSA)
Speaker: SICSA Event, SICSA
Date: 01 June, 2026
Time: 01:00 - 01:00
Location: University of Aberdeen

Evaluation in the field of Natural Language Generation (NLG) has changed considerably over the past several decades. This special symposium in honour of Prof. Ehud Reiter’s retirement provides a forum for academic and industry researchers to look back on the topic of how evaluations in the field of NLG have changed and to explore unaddressed challenges. The two day symposium will be held in-person at the Sir Duncan Rice Library in the historic University of Aberdeen, June 1-2, 2026. For this symposium, we welcome submissions of long papers, short papers, and extended abstracts. Event site – https://retroeval.github.io/ Registration – https://www.tickettailor.com/events/sicsa/2203784

TBC

Group: Networked Systems Research Laboratory (NETLAB)
Speaker: Jinming Yang
Date: 04 June, 2026
Time: 10:00 - 11:00
Location: Sir Alwyn Williams Building, 423 Seminar Room

EASE 2026: International Conference on Evaluation and Assessment in Software Engineering

Group: Scottish Informatics and Computer Science Alliance (SICSA)
Speaker: SICSA Event, SICSA
Date: 09 June, 2026
Time: 01:00 - 01:00
Location: James McCune Smith Learning Hub, University Avenue, Glasgow, G12 8QW

EASE is an internationally leading venue for academics and practitioners to present and discuss their research on evidence-based software engineering, and its implications for software practice. EASE is ranked as A conference in CORE. The 30th edition of EASE will take place in Glasgow, Scotland. EASE 2026 welcomes high-quality submissions, describing original and unpublished research for the following tracks: full research papers, short papers & emerging results, industry, posters & vision, journal-first, and a doctoral symposium. There will also be co-located events, including workshops and tutorials, and a track planned for journal-first presentations. See conference website for submission tracks and deadlines. EASE 2026

SICSA Pre-EC Day 2026

Group: Scottish Informatics and Computer Science Alliance (SICSA)
Speaker: SICSA Event, SICSA
Date: 12 June, 2026
Time: 10:00 - 15:30
Location: Robert Gordon University, United Kingdom

View programme or Register — The SICSA Pre-EC Day allows colleagues in the field of evolutionary computation the opportunity to showcase their most recent work. The conference’s primary focus is on researchers who have papers/posters accepted at upcoming 2026 conferences, giving them the chance to present their work to an expert, supportive community of EC researchers from across Scottish institutions. The event also allows colleagues who cannot attend conferences such as GECCO, CEC, PPSN, Evo* and others the opportunity to hear about the latest research being developed in Scotland. We will welcome speakers who have accepted papers across the summer 2026 conferences, as well as speakers who have field-specific or field-adjacent research that would be of interest to the EC research community that has or is targeting publication. Attendance is free for students and academics based in Scotland.

S3CIX 2026 - Symposium and Summer School on Computational Interaction

Group: Scottish Informatics and Computer Science Alliance (SICSA)
Speaker: SICSA Event, SICSA
Date: 16 June, 2026
Time: 01:00 - 01:00
Location: Sir Alwyn Williams Building, University of Glasgow, 18 Lilybank Gardens, Glasgow, G12 8QN, United Kingdom

Registration for the 10th Symposium and Summer School on Computational Interaction will open 1 February and close 14 March 2026. View programme, event details and registration process at S³CIX 2026. This year S³CIX is expanding from a Summer School format to also include a 4 day long academic Symposium. We anticipate about 30 students and 40 academics and invited speakers to attend. There will also be two workshops. Computational interaction often involves elements from machine learning, signal processing, information theory, optimisation, inference, control theory and formal modelling. Computational interaction would typically involve at least one of: an explicit mathematical model of user-system behaviour; a way of updating that model with observed data from users; an algorithmic element that, using this model, can directly synthesise or adapt the design; a way of automating and instrumenting the modelling and design process; the ability to simulate or synthesise elements of the expected user-system behaviour.”

TBC

Group: Networked Systems Research Laboratory (NETLAB)
Speaker: Muhammad Arif
Date: 18 June, 2026
Time: 10:00 - 11:00
Location: Lilybank Gardens, F121 Conference Room

10th Summer School and Symposium on Computational Interaction (S³CIX)

Group: Inference, Dynamics and Interaction (IDI)
Speaker: multiple
Date: 20 June, 2026
Time: 09:00 - 16:00
Location: Sir Alwyn Williams Building, 422 Seminar Room

Welcome to the Symposium and Summer School on Computational Interaction! This year we are expanding from a Summer School format to also include a 4 day long academic Symposium. We anticipate about 30 students and 40 academics and invited speakers to attend. There will also be two workshops.

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