School of Computing Science

[FATA Seminar] Mathematical models for the kidney exchange problem with reserve arcs

Group: Formal Analysis, Theory and Algorithms (FATA)
Speaker: Maxence Delorme, Tilburg University
Date: 01 April, 2025
Time: 15:00 - 16:00
Location: Sir Alwyn Williams Building, 422 Seminar Room

Abstract: Kidney exchange programmes allow a set of (usually incompatible) recipient-donor pairs registered in the system to exchange their donor kidneys. The swaps are typically determined by a centralised matching algorithm that solves a tailored kidney exchange problem at regular intervals. One of the main inputs of such a problem is a directed compatibility graph, where an arc is drawn from one pair to another if the donor of the first pair is compatible with the recipient of the second pair. The kidney exchange problem with reserve arcs (KEP-RA) is an extension of the classical kidney exchange problem in which one is allowed to select in the solution a limited number of arcs that do not belong to the compatibility graph. This problem is motivated by recent breakthroughs in the field of kidney transplantation involving immunosuppressants that have allowed certain donors to give their kidney to an incompatible recipient.

 
After showing that existing integer linear programming formulations for the kidney exchange problem can easily be extended to KEP-RA, we demonstrate that there always exists an optimal KEP-RA solution in which every cycle contains at most one reserve arc, and we use that property to develop effective variable reduction procedures and new ad hoc modelling structures. Empirical experiments show that trivial model extensions are not able to cope with medium size instances, whereas the enhanced models are able to solve instances with up to a thousand recipient-donor pairs. We also extend our approaches to handle two extensions of the problem: (i) the case in which some of the arcs that do not belong to the compatibility graph cannot be selected in the solution and (ii) the case in which non-directed donors are taken into account.

--------

This event is part of the FATA Weekly Seminar, which takes place every Tuesday from 3:00 - 4:00 PM in Room 422, Sir Alwyn Williams Building and on Zoom https://uofglasgow.zoom.us/j/83611964233?pwd=CgRyzxK8Z9fP2ULTb5ONWZeUYx2t2E.1

Women in Data Science

Group: Scottish Informatics and Computer Science Alliance (SICSA)
Speaker: SICSA Event, SICSA
Date: 02 April, 2025
Time: 01:00 - 01:00
Location: Heriot-Watt University, United Kingdom

The event aims to tackle the underrepresentation of women in data science by creating a supportive space for them to share ideas and experiences. This event will provide a platform for: Sharing knowledge and experiences through talks and discussions Networking opportunities for women in the field Encouraging collaboration and career development The registration link will be available soon.

SICSA Pre-CHI Day 2025

Group: Scottish Informatics and Computer Science Alliance (SICSA)
Speaker: SICSA Event, SICSA
Date: 10 April, 2025
Time: 10:00 - 15:30
Location: TBA

The ACM CHI 2025 conference is the premier publication venue in the field of HCI, and Scotland-based researchers are contributing extensively to the programme for the 2025 conference which will be held in Japan in late April. The Pre-CHI day is a chance for the Scottish HCI community to see some of the world-leading research going on across Scotland, and allow those not travelling to Japan to talk to authors first-hand and hear about their work. The event will be hybrid to allow for virtual attendance. Find out more and register.

Theoretical Computer Science Education (TCSEd) in Scotland: Current Practices and Future Directions

Group: Scottish Informatics and Computer Science Alliance (SICSA)
Speaker: SICSA Event, SICSA
Date: 14 April, 2025
Time: 01:00 - 01:00
Location: University of Strathclyde, United Kingdom

This one-day workshop, TCSEd: Current Practices and Future Directions, aims to bring together theoretical computer science (TCS) educators from across Scottish universities to share their experiences, reflect on challenges, and discuss the future of TCS education. The workshop will feature short, contributed talks where participants will present their teaching experiences, highlighting specific challenges and innovations related to particular TCS topics or courses. This will provide a platform for educators to engage in practical discussions about how TCS is taught as well as how emerging technologies impact pedagogy. This event is designed to facilitate reflection on both the breadth and depth of TCS topics offered across institutions, from introductory courses to advanced topics such as computational complexity theory, quantum computing, algorithmic game theory, model checking, programming language theory and semantics, to name a few. A central theme of the workshop will be exploring how TCS can continue to serve as a foundational element of computer science education. A key aspect of this workshop is its connection to the SICSA research themes “Theory, Modelling and Computation” and “Scottish Programming Language Institute”, in which many TCS educators are also active researchers. By connecting this workshop with the research themes, we aim to foster a stronger link between the theoretical foundations taught in TCS courses and their practical applications in ensuring software robustness and reliability. Some TCS courses blend theoretical foundations with practical applications, often drawn from research, while others focus on purely foundational theory. For the latter, the challenge often lies in keeping students engaged and demonstrating relevance in light of emerging technologies like generative AI. Registration links will be available soon.

The British Colloquium for Theoretical Computer Science (BCTCS)

Group: Scottish Informatics and Computer Science Alliance (SICSA)
Speaker: SICSA Event, SICSA
Date: 14 April, 2025
Time: 01:00 - 01:00
Location: University of Strathclyde, United Kingdom

(BCTCS) is an annual event for UK-based researchers in theoretical computer science. A central aspect of BCTCS is the training of PhD students, providing an environment for students to gain experience in presenting their work, to broaden their outlook on the subject, and to benefit from contact with established researchers. The scope of the colloquium includes all aspects of theoretical computer science, including automata theory, algorithms, complexity theory, semantics, formal methods, concurrency, types, languages and logics. There will also be TCS Education Track Talks to highlight specific challenges or innovations related to theoretical computer science topics or courses. Find out more and register to attend

Women in Data Science Edinburgh 2025: Empower, Learn and Connect

Group: Scottish Informatics and Computer Science Alliance (SICSA)
Speaker: SICSA Event, SICSA
Date: 28 May, 2025
Time: 01:00 - 01:00
Location: Heriot-Watt University, United Kingdom

Join us on 28th May 2025 at the National Robotarium at Heriot-Watt University for an inspiring and educational day as part of the Women in Data Science (WiDS) event. This independent event, aligns with the annual #WiDS conference held at #StanfordUniversity and over 200 locations worldwide, bringing together data scientists of all backgrounds to learn, grow, and connect. Event Highlights: Keynote talk by an expert in data visualisation Business Pitch workshop Panel Discussion: Career advice and pathways in data science, featuring experts from the field Poster Session: Showcase your work and innovations in data science. Prizes will be awarded to the top poster Fun Data Science Trivia Session: Test your knowledge with a chance to win exciting prizes! This is an excellent opportunity to network, get inspired, and learn – whether you are looking to change careers, advance in your current role, or just connect with like-minded professionals in data science. A more detailed agenda will be available by early April 2025. Join the LinkedIn group

SICSA PhD Conference 2025

Group: Scottish Informatics and Computer Science Alliance (SICSA)
Speaker: SICSA Event, SICSA
Date: 25 June, 2025
Time: 01:00 - 01:00
Location: Edinburgh Napier University

Join us for the SICSA PhD Conference 2025 at Edinburgh Napier University! We’re bringing you a jam packed 2 days of fantastic activities, speakers, training, workshops and a Conference Dinner and Awards Ceremony. Check our more details about the programme, accommodation and on our conference website. Register for your place today! We can’t wait to see you there :)

45th IEEE International Conference on Distributed Computing Systems

Group: Scottish Informatics and Computer Science Alliance (SICSA)
Speaker: SICSA Event, SICSA
Date: 20 July, 2025
Time: 01:00 - 01:00
Location: TBA

The annual IEEE International Conference on Distributed Computing Systems (ICDCS) is a premier international forum for researchers, developers and users to present, discuss and exchange the cutting edge ideas and latest findings on topics related to any aspects of Distributed Computing Systems. ICDCS 2025 is held in the vibrant and compact city of Glasgow, Scotland. Find out more information on the IEEE ICDS 2025 website.

24th UK Workshop on Computational Intelligence

Group: Scottish Informatics and Computer Science Alliance (SICSA)
Speaker: SICSA Event, SICSA
Date: 03 September, 2025
Time: 01:00 - 01:00
Location: Edinburgh Napier University

We invite papers on all aspects of Computational Intelligence to UKCI 2025 (The 24th UK Workshop on Computational Intelligence, first held at University of Edinburgh) which will be held in Edinburgh from the 3rd-5th September 2025 at Edinburgh Napier University We are particularly delighted to welcome this workshop back to Edinburgh – the 1st edition was held at the University of Edinburgh in 2001. UKCI 2025 welcomes original research papers (including significant work-in-progress) in the broad area of Computational Intelligence (CI). Indicative topics include but are not limited to: -Machine-Learning (including Deep Learning) -Evolutionary Computation -Fuzzy Systems -Data-Mining -Intelligent Robotics -Cognitive Computing -Explainable AI (XAI) -Trust and Ethics in AI systems -Applications Papers can cover theoretical approaches, new methods, empirical and/or benchmark studies, and applications, particularly to real-world problems. We accept long papers (12 pages) or short papers (6 pages). The latter are particularly suited to position papers or presenting early results/work in progress IMPORTANT DATES: Submission Deadline 31st May 2025 (non-extensible) Read our guidelines on paper submission. Accepted papers will be published by Springer in the Advances in Computational Intelligence Series (AISC)