Formal Methods at Glasgow Uni

The Formal Methods Research Group is part of the @FATAglasgow research section | School of Computing Science @GlasgowCS | @UofGlasgow UK. Tweets by @OanaMAndrei

[FMASWorkshop @FmasWorkshop]

Can't make it to #FMAS2024 in Manchester? No worries! You can join us online instead.

Grab your spot here: https://t.co/rtChzFJkyQ

[Anastasia Mavridou @anmavrid]

Gwen Salaun and I are co-chairing *FormaliSE 2025*! Consider contributing your work! Abstract deadline: November 11, Paper deadline: November 18. https://t.co/n4IPbzAtO8

[Blair Archibald @Blair_Archibald]

Two @GlasgowCS PhD Opportunities within @TransitTwin Hub. Project 1️⃣: Evolving Federated Digital Twins with Symbolic Ontologies (https://t.co/651nP3Olzd); Project 2️⃣: Reconfigurable Federated Digital Twins for Resilience (https://t.co/bXwkTGMPxV) @michele_seve @jhebus @dpezaros

[Michele Sevegnani @michele_seve]

You will work with me, @Blair_Archibald , and Muffy Calder on Milner's bigraphs, probabilistic model checking, statically typed programming languages, and data-driven runtime models for digital twinning.

@GlasgowCS @TransitTwin

[Michele Sevegnani @michele_seve]

Consider applying for this position if you have some experience in formal verification, programming languages, and software engineering.

[Blair Archibald @Blair_Archibald]

Very excited to be working on this project!

One of the key challenges is understanding how we can validate and verify these digital twins, especially as we start joining the twins together. Want to help tackle this challenge (and more!)? We are hiring: https://t.co/vRLlKXOb4P

[FMASWorkshop @FmasWorkshop]

We have extended the deadline for #FMAS2024 to the 23rd of August 2024 (still Anywhere on Earth)!

This gives you all a little more time to polish your papers, if you're intending to send us some of your work.

Details https://t.co/rxVcrZWH7S

[IRIF @IRIF_Paris]

📅🎲 Mark your calendar for September 16th! The Day on Probabilities in Theoretical Computer Science is coming!

7 invited speakers will cover a wide range of areas related to TCS and probabilities, including #quantum, #crypto, #algorithms, and more.

🔗https://t.co/CosGmjdsID

[Formal Methods 2026 @FMsymp]

Looking forward to #FM2024's amazing program? 😎

➡️ Check out the list of accepted papers: https://t.co/SJlVSUPLNk

[FMASWorkshop @FmasWorkshop]

There is still time to submit a paper to our Special Issue on 'Advances in Formal Methods for Autonomous Systems' in the Science of Computer Programming journal.

Deadline: 7th of June, 2024
Details: https://t.co/XQgWDpkFfk

#FMAS

[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 👏👏👏

[Shriram Krishnamurthi (primary: Bluesky) @ShriramKMurthi]

Formal methods folks: reminder that FM 2024 has a TUTORIAL track. I'm co-editing. We have a GREAT set of reviewers to give you high-quality feedback: we want quality pedagogical work to be respected! Please spread the word! Deadline 19 April.
https://t.co/nXqBeH4YNO

[FMASWorkshop @FmasWorkshop]

Advances in Formal Methods for Autonomous Systems is a special issue with Science of Computer Programming, celebrating the first five years of #FMAS and showcasing advances of formal methods for autonomous systems.

Deadline 7th of June 2024
Details: https://t.co/XQgWDpk7pM

[ETAPS Conferences (now on other platforms) @ETAPSconf]

Interview with ETAPS 2024 invited speaker David Monniaux has just been published! Do not miss it!

https://t.co/WRQYa6JhnV

[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

[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

[FMICS 2023 @FMICS_conf]

The call for papers for FMICS 2024 is published: https://t.co/EaAXqwMhBs

[Formal Methods 2026 @FMsymp]

⏰ TAP 2024 Call for Papers is officially open ⏰

Don't miss the chance to contribute to the discussions on software testing and proofs! ⬇️

Abstracts due: May 8
Papers due: May 15
Notification: June 26
Artifacts due: July 3

➡️ CfP available at: https://t.co/Mz0U0HIcvU

#FM2024

[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

[Formal Methods Europe @FormalMtds]

In the FME Business Meeting on the 1st of Feb'24,
@smr_mousavi
from the Trustworthy Autonomous Systems Verification Node

@tas_verif
is giving a talk on 'Model learning for evolving systems'. Time 17:00 GMT Details and Zoom link: https://t.co/txhXbtoe50 #formalMethods #autonomy