@S4programme profile picture
S4 Programme Grant @S4programme

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

Joined December 2015
  • Tweets 191
  • Following 39
  • Followers 61
25 Photos and videos
S4 Programme Grant retweeted
UofG News@UofGNews
7 Jun 2023
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: gla.ac.uk/news/headline_9708…
Left to right: Marion Oswald - lawyer and Senior Research Associate at The Alan Turing Institute; Muffy Calder of the University of Glasgow - Senior Research Consultant; Ardi Janjeva - lead author and Research Associate at CETaS

ALT Left to right: Marion Oswald - lawyer and Senior Research Associate at The Alan Turing Institute; Muffy Calder of the University of Glasgow - Senior Research Consultant; Ardi Janjeva - lead author and Research Associate at CETaS
10
15
1,605
S4 Programme Grant retweeted
Peter Mann@PMannStAndrews
7 Oct 2022
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! arxiv.org/abs/2210.02528

Mixing patterns in graphs with higher-order structure

In this paper we examine the percolation properties of higher-order networks that have non-trivial clustering and subgraph-based assortative mixing (the tendency of vertices to connect to other...

arxiv.org
1
1
S4 Programme Grant retweeted
Michele Sevegnani@michele_seve
19 Jul 2022
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: bit.ly/3IMH6Yl #AmazonResearchAwards

75 Amazon Research Awards recipients announced

The awardees represent 52 universities in 17 countries. Recipients have access to more than 300 Amazon public datasets, and can utilize AWS AI/ML services and tools.

amazon.science
1
7
18
S4 Programme Grant retweeted
Formal Methods at Glasgow Uni@FormalMethodsGU
20 Jun 2022
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
Yue Gu@YueGu_UofG
20 Jun 2022
Replying to @YueGu_UofG
@YueGu_UofG presented our ongoing work FARM at @PETRASiot 2022 Academic Conference, focusing on the improved dairy farm management with formal methods.
6
6
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 discotec.org/2022/invited#mu… @FATAglasgow @FormalMethodsGU @GlasgowCS

DisCoTec - the International Federated Conference on Distributed Computing Techniques

The website of DisCoTec - the International Federated Conference on Distributed Computing Techniques

discotec.org
6
9
S4 Programme Grant retweeted
FMASWorkshop@FmasWorkshop
21 Oct 2021
Day One of #FMAS2021 is go. First, we have our invited talk from Clare Dixon (research.manchester.ac.uk/po…) @AandVNetwork She's talking about a variety of projects (@RAIN_hub @FAIR_SPACE_Hub @ORCA_Hub @S4programme ) working towards verifying robotic and autonomous systems.

Clare Dixon

research.manchester.ac.uk
2
6
S4 Programme Grant retweeted
Blair Archibald@Blair_Archibald
15 Oct 2021
New paper "Practical Bigraphs via Subgraph Isomorphism" showing how we can improve the efficiency of bigraph rewriting algorithms is online drops.dagstuhl.de/opus/vollt… and will be presented at CP2021; See our trailer: youtu.be/77TyPOG_1Uw with @michele_seve and others!

2
6
10
S4 Programme Grant retweeted
Formal Methods at Glasgow Uni@FormalMethodsGU
15 Oct 2021
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 dcs.gla.ac.uk/~michele/paper…

SEFM Conference@sefm_conf
12 Oct 2021
The papers accepted for presentation at SEFM 2021 are now listed under sefm-conference.github.io/ac… We decided to accept 22 full papers and 4 tool papers out of the 86 submissions (25.58% full paper acceptance rate).
2
4
4
S4 Programme Grant retweeted
Formal Methods at Glasgow Uni@FormalMethodsGU
15 Oct 2021
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 dcs.gla.ac.uk/~michele/paper… @PETRASiot @S4programme [3/3]
9
11
S4 Programme Grant retweeted
A and V Network@AandVNetwork
23 Sep 2021
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: jobs.manchester.ac.uk/displa… @S4programme #FormalMethodsJobs #FormalMethodsJobs

1
5
2
S4 Programme Grant retweeted
Blair Archibald@Blair_Archibald
6 Sep 2021
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 link.springer.com/article/10…

A tale of two graph models: a case study in wireless sensor networks

Formal Aspects of Computing - Designing and reasoning about complex systems such as wireless sensor networks is hard due to highly dynamic environments: sensors are heterogeneous, battery-powered,...

link.springer.com
1
5
12
S4 Programme Grant retweeted
Michele Sevegnani@michele_seve
14 Jul 2021
We are looking for a Research Associate to join the team working on the PETRAS FARM project (petras-iot.org/project/forma…). More details👇 jobs.ac.uk/job/CHG655/resear… @PETRASiot @FATAglasgow @GlasgowCS
8
7
S4 Programme Grant retweeted
A and V Network@AandVNetwork
6 Jul 2021
We have two Research Associate jobs available @csmcr in our Autonomy and Verification group (cs.manchester.ac.uk/research…) * Closing date (DD/MM/YYYY): 14/07/2021 * Fixed term from 1 Sept 2021 * £32,816-£40,322 jobs.manchester.ac.uk/displa… #FormalMethodsJobs #FormalMethods @S4programme
4
1
S4 Programme Grant retweeted
A and V Network@AandVNetwork
25 Jun 2021
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): lancasterleipzig.de/events/l… #ML #AI #AutonomousSystems

1
9
8
#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 👏
3
3
S4 Programme Grant retweeted
Formal Methods at Glasgow Uni@FormalMethodsGU
9 Jun 2021
Congratulations to @michele_seve (PI) and Prof Muffy Calder (co-I) @UofGSciEng for their @PETRASiot project FARM 👏👏👏
UofG News@UofGNews
9 Jun 2021
Five new research projects from @GlasgowCS and @UofGEngineering have received funding from @PETRASiot to tackle cybersecurity issues at the edge of the internet. Read more about the projects here: gla.ac.uk/news/headline_7957…
5
14
S4 Programme Grant retweeted
A and V Network@AandVNetwork
17 May 2021
#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 mdpi.com/2218-6581/10/2/67 #HazardousHubs (Author list to follow!)

An Overview of Verification and Validation Challenges for Inspection Robots

The advent of sophisticated robotics and AI technology makes sending humans into hazardous and distant environments to carry out inspections increasingly avoidable. Being able to send a robot, rather...

mdpi.com
1
5
11
S4 Programme Grant retweeted
Dr Matt Webster@DrMattWebster
14 May 2021
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
Robotics MDPI@RoboticsMDPI
14 May 2021
🔓 New paper online in #OpenAccess journal @RoboticsMDPI "An Overview of Verification and Validation Challenges for #Inspection #Robots" by Michael Fisher, Rafael C. Cardoso, Emily C. Collins, Christopher Dadswell, @louiseadennis, et al. 👉Full paper: mdpi.com/2218-6581/10/2/67
5
7
S4 Programme Grant retweeted
A and V Network@AandVNetwork
29 Mar 2021
Research Associate in Verification of Trustworthy Autonomous Systems @csmcr Working with @louiseadennis and Michael Fisher (web.cs.manchester.ac.uk/~mic…) on formal verification for symbolic agents as part of @tas_verif Details: jobs.manchester.ac.uk/displa… @FormalMtds #JobSearch

1
11
7
S4 Programme Grant retweeted
A and V Network@AandVNetwork
26 Mar 2021
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: fmasworkshop.github.io/FMAS2… #cfp

Third Workshop on Formal Methods for Autonomous Systems

FMAS 2021 is a two-day workshop that brings together researchers working on a range of techniques for the formal verification of autonomous systems, to prese...

fmasworkshop.github.io
FMASWorkshop@FmasWorkshop
23 Mar 2021
#FMAS2021 We're running the Third Workshop on Formal Methods for Autonomous Systems this year 🎉 Scope is #FormalMethods applied to almost any kind of #Autonomous system Deadline: 30th July 2021 Workshop: 21st Oct 2021 all the details: fmasworkshop.github.io/FMAS2… #cfp
1
7
6
Load more