The Formal Methods Research Group is part of the @FATAglasgow research section | School of Computing Science @GlasgowCS | @UofGlasgow UK. Tweets by @OanaMAndrei
Joined January 2019
- Tweets 496
- Following 177
- Followers 372
- Likes 403
10 Photos and videos
Formal Methods at Glasgow Uni retweeted
6 Nov 2024
Can't make it to #FMAS2024 in Manchester? No worries! You can join us online instead.
Grab your spot here: buff.ly/40uTWFC
2
2
98
Formal Methods at Glasgow Uni retweeted
31 Oct 2024
Gwen Salaun and I are co-chairing *FormaliSE 2025*! Consider contributing your work! Abstract deadline: November 11, Paper deadline: November 18. mailchi.mp/6dcb7cfdefb9/ablg…
6
7
1,031
Formal Methods at Glasgow Uni retweeted
15 Oct 2024
Two @GlasgowCS PhD Opportunities within @TransitTwin Hub. Project 1️⃣: Evolving Federated Digital Twins with Symbolic Ontologies (findaphd.com/phds/project/ph…); Project 2️⃣: Reconfigurable Federated Digital Twins for Resilience (findaphd.com/phds/project/ph…) @michele_seve @jhebus @dpezaros
8
12
1,186
Formal Methods at Glasgow Uni retweeted
12 Aug 2024
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
12 Aug 2024
Consider applying for this position if you have some experience in formal verification, programming languages, and software engineering.
6
9
686
Formal Methods at Glasgow Uni retweeted
12 Aug 2024
Consider applying for this position if you have some experience in formal verification, programming languages, and software engineering.
12 Aug 2024
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: jobs.ac.uk/job/DIW839/resear…
3
7
2,178
Formal Methods at Glasgow Uni retweeted
12 Aug 2024
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: jobs.ac.uk/job/DIW839/resear…
12 Aug 2024
£46m in new funding from @UKRI_News @EPSRC and 67 partners will allow the @TransitTwin research hub to harness the power of 'digital twins' to establish how the UK's transport systems can be decarbonised.
Read more ➡️ gla.ac/3WYdFLL
ALT White, green and blue Digital Twinning for the Decarbonisation of Transport Graphic. Featuring images and text representing road, rail, air and maritime focus areas.
5
20
1,211
Formal Methods at Glasgow Uni retweeted
5 Aug 2024
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 fmasworkshop.github.io/FMAS2…
7
4
380
Formal Methods at Glasgow Uni retweeted
11 Jul 2024
📅🎲 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.
🔗url.irif.fr/probabilitiesday
3
3
7
907
Formal Methods at Glasgow Uni retweeted
19 Jun 2024
Looking forward to #FM2024's amazing program? 😎
➡️ Check out the list of accepted papers: fm24.polimi.it/?page_id=612
3
9
641
Formal Methods at Glasgow Uni retweeted
30 Apr 2024
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: sciencedirect.com/journal/sc…
#FMAS
28 Mar 2024
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: sciencedirect.com/journal/sc…
4
4
386
12 Apr 2024
Huge congratulations @davexparker @gethinnorman @GlasgowCS and Marta Kwiatkowska @CompSciOxford for the 2024 @ETAPSconf Test-of-Time Tool Award #PRISMmodelchecker 👏👏👏
4
10
568
Formal Methods at Glasgow Uni retweeted
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.
fm24.polimi.it/?page_id=310
1
8
16
2,995
Formal Methods at Glasgow Uni retweeted
28 Mar 2024
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: sciencedirect.com/journal/sc…
5
5
1,422
Formal Methods at Glasgow Uni retweeted
Interview with ETAPS 2024 invited speaker David Monniaux has just been published! Do not miss it!
etaps.org/blog/020-david-mon…
1
8
25
1,250
Formal Methods at Glasgow Uni retweeted
16 Feb 2024
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
4
6
708
Formal Methods at Glasgow Uni retweeted
12 Mar 2024
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/36109… #formalmethods #drones #swarms #uavs
6
9
537
Formal Methods at Glasgow Uni retweeted
22 Jan 2024
The call for papers for FMICS 2024 is published: fmics.inria.fr/2024
3
4
848
Formal Methods at Glasgow Uni retweeted
27 Dec 2023
⏰ 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: tapconference.github.io/2024…
#FM2024
3
5
608
Formal Methods at Glasgow Uni retweeted
GReTA seminar, Friday January 26, 2024, 15:00 CET: "In the Groove" by A. Rensink
irif.fr/~greta/event/2024-Ja…
1
6
5
391
Formal Methods at Glasgow Uni retweeted
23 Jan 2024
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: fmeurope.org/2024/01/16/75th… #formalMethods #autonomy
4
1
333