Formal Analysis, Theory & Algorithms

Congratulations to @AliceMillerUoG for being awarded a one-year research fellowship by @LeverhulmeTrust for the project titled “Combinatorial solutions for maximum allocations” 🥳 leverhulme.ac.uk/listings?field…

Huge congratulations @davexparker @gethinnorman @GlasgowCS and Marta Kwiatkowska @CompSciOxford for the 2024 @ETAPSconf Test-of-Time Tool Award #PRISMmodelchecker 👏👏👏

Congratulations @ygiannak for being appointed Turing Fellow @turinginst 🥳

Can probabilistic formal models help drone swarm operators improve performance without affecting workloads? Yes they can! Find out more: dl.acm.org/doi/10.1145/36… #formalmethods #drones #swarms #uavs

Dive into 30+ years of modelling communicating systems in a functional style with Dame Muffy Calder! In her keynote talk, she will reflect on how her research has evolved, lessons from the past and future challenges. Book your spot and see you in Kraków! lambdadays.org

Making a rare temporary return to Twitter to say: We at @GlasgowCS are looking for a research associate to work on the design and implementation of programming languages in association with the STARDUST project (epsrc-stardust.github.io). jobs.ac.uk/job/DFG143/res…

Making a rare temporary return to “X” to say: We at @GlasgowCS are looking for a research associate to work on the design and implementation of programming languages in association with the STARDUST project (epsrc-stardust.github.io).

GReTA seminar, Friday January 26, 2024, 15:00 CET: "In the Groove" by A. Rensink irif.fr/~greta/event/2…

#FMAS2023 has two invited speakers: * @AliceMillerUoG "Formal methods within the TAS Regulation node" * Erika Ábrahám "SMT: Something you Must Try" (A Joint talk with #iFM23) Details and registration: fmasworkshop.github.io/FMAS2023/ @tas_governance

Congratulation Matthew and Ciaran on receiving CP2023 best paper award! 🙌 @GlasgowCS ciaranm.github.io/papers/cp2023-…

Congratulation Ciaran @GlasgowCS for receiving the Association for Constraint Programming (ACP) Early Career Researcher Award! 🎉 🙌 Check out his webpage ciaranm.github.io and spread the word that he’s looking to hire a postdoc researcher jobs.ac.uk/job/DBO798/res…!

Social, economic and contact networks are all vulnerable to contagion. Dr Jess Enright @researcherjess explains how to use #algorithms to defend them against infection in her #STEMin10 lecture on the firefighting game. Watch in full youtube.com/watch?v=IuolDb… 💻🔥

We’re welcoming @farrell_marie this week on Friday 4 August to give a talk on “Strong Software Reliability for Autonomous Space Robotics” as part of the Understandable Autonomous Systems seminar. 🤖🛰️🚀 gla.ac.uk/schools/comput…

Many thanks to the @SICSA_Scotland Theory, Modelling and Computation Theme for sponsoring the Joint @GlasgowCS-@InfAtEd Algorithms workshop today. A great programme of talks and hopefully the start of more collaborations to come!

Prof Dame Muffy Calder of @UofGSciEng and @GlasgowCS is the co-author of a new report from @turinginst on privacy intrusion and national security in the age of AI. Read more here: gla.ac.uk/news/headline_…

Welcome @ygiannak! 👋

Kidney Exchange Programmes play a vital role in saving lives, providing a lifeline for patients with #RenalDisease. We hear from Prof David Manlove at @GlasgowCS to learn how COST Action ENCKEP & #COST_CIGs KEP-SOFT helped increase opportunities for recipients awaiting a #kidney.

#FATAseminar on Tue 16 May 2023 by Gergely Csáji from Eötvös Loránd University, Budapest, on “A simple 3/2-approximation algorithm for a wide range of MAX-SMTI problems” arxiv.org/pdf/2304.02558… . More details: samoa.dcs.gla.ac.uk/events/viewtal…. Contact us for zoom link.

Full-time, fixed-term (one year) lecturer post in the School of Computing Science @GlasgowCS at @UofGlasgow, teaching on our Graduate Apprenticeship in Software Engineering: jobs.ac.uk/job/CZG280/lec… (algorithms, computer architecture, OS & network systems, discrete maths)

#FATAseminar on Tue 25 April 2023 by Simon Fowler @Simon_JF @GlasgowCS about “Special Delivery: Programming with Mailbox Types” 📬 📨 joint work with Duncan Paul Attard, Franciszek Sowul, Simon J. Gay, and Phil Trinder. Abstract: samoa.dcs.gla.ac.uk/events/viewtal… Contact us for zoom link.