Formal Analysis, Theory & Algorithms

Formal Analysis, Theory & Algorithms research section @GlasgowCS @UofGlasgow (tweets by @OanaMAndrei)

[Formal Analysis, Theory & Algorithms @FATAglasgow]

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

[Formal Methods at Glasgow Uni @FormalMethodsGU]

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

[Formal Analysis, Theory & Algorithms @FATAglasgow]

Congratulations @ygiannak for being appointed Turing Fellow @turinginst 🥳

[Blair Archibald @Blair_Archibald]

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

[Lambda Days @LambdaDays]

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

[Simon Fowler @Simon_JF]

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

[Simon Fowler @Simon_JF]

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).

[GReTA international online seminar series @GReTAseminars]

GReTA seminar, Friday January 26, 2024, 15:00 CET: "In the Groove" by A. Rensink

https://t.co/Gpq6hRR5kI

[FMASWorkshop @FmasWorkshop]

#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

[Formal Analysis, Theory & Algorithms @FATAglasgow]

Congratulation Matthew and Ciaran on receiving CP2023 best paper award! 🙌 @GlasgowCS https://t.co/e8JCTfi0bc

[cp2023conf @cp2023conf]

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

[Formal Analysis, Theory & Algorithms @FATAglasgow]

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!

[cp2023conf @cp2023conf]

And we are continuing our day with the ACP Early Career Researcher Award! Let's congratulate our award recipient Ciaran McCreesh!

#ACP
#CP2023conf
#ConstraintProgramming

[UofG Computing Science @GlasgowCS]

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 💻🔥

[Formal Methods at Glasgow Uni @FormalMethodsGU]

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

[David Manlove @davidmanlove1]

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!

[UofG News @UofGNews]

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

[Formal Analysis, Theory & Algorithms @FATAglasgow]

Welcome @ygiannak! 👋

[COST @COSTprogramme]

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.

[Formal Analysis, Theory & Algorithms @FATAglasgow]

#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.

[Matthew Barr @hatii_matt]

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)

[Formal Analysis, Theory & Algorithms @FATAglasgow]

#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.