Series

Distinguished Lecture Series: Computer Science and the Environment -14 March 2023

Professor Gordon Blair Prof. Gordon Blair is Head of Environmental Digital Strategy at UKCEH. He is also a Distinguished Professor of Distributed Systems at Lancaster University where he holds a part-time post (20%). He is also Co-Director of the Centre of Excellence in Environmental Data Science (CEEDS), a joint initiative between UKCEH and Lancaster University. … Distinguished Lecture Series: Computer Science and the Environment -14 March 2023

SICSA DVF Seminar – Dr André G. Pereira

We had our first School seminar of the semester today. The speaker was André G. Pereira visiting Scotland on a SICSA DVF Fellowship. André is working on AI Planning problems, an area that is closely related to the work of our own Constraint Programming research group. Title: Understanding Neuro-Symbolic Planning Abstract: In this seminar, we … SICSA DVF Seminar – Dr André G. Pereira

Systems Research Group seminars

The Systems Research Group is re-starting their seminars series from 6th May 2022. Seminars will take place every two weeks at 1pm, on Fridays. From May to July the seminars will be online (SRG Teams), while from September onward we aim to move them to a hybrid format. More information on the schedule can be … Systems Research Group seminars

Welcoming Prof. Giovanna Di Marzo Serugendo for our DLS on Tuesday 9 November

As part of the schools Distinguished Lecture Series we look forward to welcoming Prof. Giovanna Di Marzo Serugendo on Tuesday 9 November. Prof. Giovanna Di Marzo Serugendo  received her Ph.D. in Software Engineering from the Swiss Federal Institute of Technology in Lausanne (EPFL) in 1999. After spending two years at CERN (the European Center for … Welcoming Prof. Giovanna Di Marzo Serugendo for our DLS on Tuesday 9 November

Philippe Palanque (University of Toulouse): Harnessing Usability, UX and Dependability for Interactions in Safety Critical Contexts

Abstract: Innovation and creativity are the research drivers of the Human-Computer Interaction (HCI) community which is currently investing a vast amount of resources in the design and evaluation of “new” user interfaces and interaction techniques, leaving the correct functioning of these interfaces at the discretion of the helpless developers. In the area of formal methods … Philippe Palanque (University of Toulouse): Harnessing Usability, UX and Dependability for Interactions in Safety Critical Contexts

DLS: Multimodal human-computer interaction: past, present and future

Speaker: Stephen Brewster (University of Glasgow) Venue: The Byre Theatre Timetable: 9:30: Lecture 1: The past: what is multimodal interaction? 10:30 Coffee break 11:15 Lecture 2: The present: does it work in practice? 12:15 Lunch (not provided) 14:15 The future: Where next for multimodal interaction? Speaker Bio: Professor Brewster is a Professor of Human-Computer Interaction … DLS: Multimodal human-computer interaction: past, present and future

MIP Modelling Made Manageable

Can a user write a good MIP model without understanding linearization? Modelling languages such as AMPL and AIMMS are being extended to support more features, with the goal of making MIP modelling easier. A big step is the incorporation of predicates, such a “cycle” which encapsulate MIP sub-models. This talk explores the impact of such predicates … MIP Modelling Made Manageable

Distinguished Lecture Series: Formal Approaches to Quantitative Evaluation

Biography: Jane Hillston was appointed Professor of Quantitative Modelling in the School of Informatics at the University of Edinburgh in 2006, having joined the University as a Lecturer in Computer Science in 1995. She is currently Head of the School of Informatics. She is a Fellow of the Royal Society of Edinburgh and Member of … Distinguished Lecture Series: Formal Approaches to Quantitative Evaluation

SRG Seminar: “Large-Scale Hierarchical k-means for Heterogeneous Many-Core Supercomputers” by Teng Yu

We present a novel design and implementation of k-means clustering algorithm targeting supercomputers with heterogeneous many-core processors. This work introduces a multi-level parallel partition approach that not only partitions by dataflow and centroid, but also by dimension. Our multi-level ($nkd$) approach unlocks the potential of the hierarchical parallelism in the SW26010 heterogeneous many-core processor and the … SRG Seminar: “Large-Scale Hierarchical k-means for Heterogeneous Many-Core Supercomputers” by Teng Yu

SRG Seminar: “Using Metric Space Indexing for Complete and Efficient Record Linkage” by Özgür Akgün

Record linkage is the process of identifying records that refer to the same real-world entities, in situations where entity identifiers are unavailable. Records are linked on the basis of similarity between common attributes, with every pair being classified as a link or non-link depending on their degree of similarity. Record linkage is usually performed in … SRG Seminar: “Using Metric Space Indexing for Complete and Efficient Record Linkage” by Özgür Akgün