Congratulations to @AliceMillerUoG for being awarded a one-year research fellowship by @LeverhulmeTrust for the project titled “Combinatorial solutions for maximum allocations” 🥳
https://t.co/JcvPOf05xT
Can probabilistic formal models help drone swarm operators improve performance without affecting workloads? Yes they can! Find out more: https://t.co/dKpjgk6IUZ #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! https://t.co/ZzV3RtyFOe
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 (https://t.co/lqltccdkTX).
https://t.co/KNA3hlV1xQ
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 (https://t.co/B59DBI09MG).
#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: https://t.co/wIAOV9BhQs
@tas_governance
The CP2023 best paper award was given to Matthew McIlree and Ciaran McCreesh, for their paper "Proof Logging for Smart Extensional Constraints"! Congrats!
#CP2023conf#ConstraintProgramming
Congratulation Ciaran @GlasgowCS for receiving the Association for Constraint Programming (ACP) Early Career Researcher Award! 🎉 🙌
Check out his webpage https://t.co/O1IVTwgVd3 and spread the word that he’s looking to hire a postdoc researcher https://t.co/IT5NtdfSJy!
And we are continuing our day with the ACP Early Career Researcher Award! Let's congratulate our award recipient Ciaran McCreesh!
#ACP#CP2023conf#ConstraintProgramming
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 https://t.co/CiBcfjCLSd 💻🔥
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. 🤖🛰️🚀
https://t.co/GVuf02Ue8f
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: https://t.co/h5UTtKFyP6
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” https://t.co/jNNHs3RSRb .
More details: https://t.co/fLCkyFc98C.
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:
https://t.co/FZ6CoeOZmP
(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: https://t.co/gG7lbizH1Z Contact us for zoom link.