S4 Programme Grant

S4 is an @EPSRC programme grant working on a unifying science for smarter sensor based systems. Tweets by @OanaMAndrei.

[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

[Peter Mann @PMannStAndrews]

Our new arXiv pre-print examines the role of different mixing patterns between vertices in higher-order networks. Applying our model to empirical networks, we found some pretty cool results - beyond dyadic interactions are really important! https://t.co/ytlK0T1IqU

[Michele Sevegnani @michele_seve]

I am happy to announce @Blair_Archibald and I have received an Amazon Research Award for our project “From Whiteboards to Models: Diagrammatic Formal Modelling for Everyone”. Learn more about the program on the @AmazonScience website: https://t.co/inHKr8Z1X0 #AmazonResearchAwards

[Formal Methods at Glasgow Uni @FormalMethodsGU]

Exciting new area for applying #FormalMethods in our group - modelling resilience for #Agritech using #DigitalTwins, #UPPAAL and timed automata. Very well done 👏 @YueGu_UofG, @Blair_Archibald, @michele_seve and Muffy Calder!
@GlasgowCS @UofGSciEng
@PETRASiot

[S4 Programme Grant @S4programme]

Our own Muffy Calder gave a #DisCoTec2022 keynote today on her 30+ years of FORTE research: a personal perspective on the evolution of her research in fundamental theory, models, and tools for distributed systems https://t.co/skO4asmevO

@FATAglasgow @FormalMethodsGU @GlasgowCS

[FMASWorkshop @FmasWorkshop]

Day One of #FMAS2021 is go.

First, we have our invited talk from Clare Dixon (https://t.co/bvoe8ryj6H) @AandVNetwork

She's talking about a variety of projects (@RAIN_hub @FAIR_SPACE_Hub @ORCA_Hub @S4programme )
working towards verifying robotic and autonomous systems.

[Blair Archibald @Blair_Archibald]

New paper "Practical Bigraphs via Subgraph Isomorphism" showing how we can improve the efficiency of bigraph rewriting algorithms is online https://t.co/Vy4Tx135kK and will be presented at CP2021; See our trailer: https://t.co/av4fQ4g8Ac with @michele_seve and others!

[Formal Methods at Glasgow Uni @FormalMethodsGU]

Congratulations to @Blair_Archibald, Muffy Calder, @michele_seve & Mengwei Xu for their @sefm_conf paper “Probabilistic BDI Agents: Actions, Plans, and Intentions” - a probabilistic extension of the Conceptual Agent Notation w/#Bigraphs #PRISMmodelchecker
https://t.co/bBOLhOLyov

[Formal Methods at Glasgow Uni @FormalMethodsGU]

one paper by @Blair_Archibald, Muffy Calder, @michele_seve and Mengwei Xu on “Observable and Attention-Directing BDI Agents for Human-Autonomy Teaming” featuring unmanned aerial vehicles, #BigraphER, and #PRISMmodelchecker

https://t.co/SSvtCoz3dP
@PETRASiot @S4programme
[3/3]

[A and V Network @AandVNetwork]

Two Research Associate jobs in VERIFICATION FOR SENSOR SYSTEMS SOFTWARE @csmcr

Apply By: 18th Oct 2021
Salary: £33,309-£40,927/year
Duration: Fixed Term, until 31st Dec 2022
Apply: https://t.co/uUgm0Y006B

@S4programme

#FormalMethodsJobs #FormalMethodsJobs

[Blair Archibald @Blair_Archibald]

Latest paper comparing the practical modelling styles/ability of bigraphs and graph transformation systems applied to sensor networks. With @michele_seve and Géza Kulcsár @S4programme
https://t.co/bi5dPeqmdM

[Michele Sevegnani @michele_seve]

We are looking for a Research Associate to join the team working on the PETRAS FARM project (https://t.co/9HzF10y4v2). More details👇 https://t.co/flifODidzV

@PETRASiot @FATAglasgow @GlasgowCS

[A and V Network @AandVNetwork]

We have two Research Associate jobs available @csmcr in our Autonomy and Verification group (https://t.co/qUVpaocRYX)

* Closing date (DD/MM/YYYY): 14/07/2021
* Fixed term from 1 Sept 2021
* £32,816-£40,322

https://t.co/gy6UOeUa7D

#FormalMethodsJobs #FormalMethods
@S4programme

[A and V Network @AandVNetwork]

The Leipzig Symposium on Intelligent Systems

Online 22nd July, 14:00 to 20:00 (CET)

A programme of talks including:
* #MachineLearning
* #Logic
* Cognitive Systems
* #FormalMethods

Details & Registration (free): https://t.co/37KyS7v1Zs

#ML #AI #AutonomousSystems

[S4 Programme Grant @S4programme]

#NewPaper by Sven Linker (Lancaster University Leipzig), Fabio Papacchini @LivUni_CompSci, @michele_seve @GlasgowCS on “Finite Models for a Spatial Logic with Discrete and Topological Path Operators” - accepted at Int. Symp. on
Mathematical Foundations of Computer Science 2021 👏

[Formal Methods at Glasgow Uni @FormalMethodsGU]

Congratulations to @michele_seve (PI) and Prof Muffy Calder (co-I) @UofGSciEng for their @PETRASiot project FARM 👏��👏

[A and V Network @AandVNetwork]

#NewPaper!

"An Overview of Verification and Validation Challenges for Inspection Robots"
in @RoboticsMDPI

based on work during @FAIR_SPACE_Hub @ORCA_Hub and @RAIN_hub projects, plus @S4programme and @RAEngNews

https://t.co/KD91iMLQhB

#HazardousHubs

(Author list to follow!)

[Dr Matt Webster @DrMattWebster]

A new paper we wrote about verification and validation of inspection robots for @ORCA_Hub @RAIN_hub @FAIR_SPACE_Hub @S4programme @RAEngNews w/ @louiseadennis @drmikejump @farrell_marie @xiaoweih @mountluoupc @MattLuckcuck @dreccollins

[A and V Network @AandVNetwork]

Research Associate in Verification of Trustworthy Autonomous Systems @csmcr

Working with @louiseadennis and Michael Fisher (https://t.co/y3BPEiNoUu) on formal verification for symbolic agents as part of @tas_verif

Details: https://t.co/l91gCg3YK7

@FormalMtds
#JobSearch

[A and V Network @AandVNetwork]

Our own @farrell_marie and @MattLuckcuck are running the Formal Methods for Autonomous Systems workshop again this year. #FMAS2021

It aims to be a hybrid event (online+Maynooth, Ireland).

Deadline: 30th July 2021
Workshop: 21st Oct 2021

Details: https://t.co/5xmQwgZBm4
#cfp