S4 Programme Grant
@S4programme
Followers
63
Following
126
Media
25
Statuses
191
S4 is an @EPSRC programme grant working on a unifying science for smarter sensor based systems. Tweets by @OanaMAndrei.
Joined December 2015
RT @UofGNews: Prof Dame Muffy Calder of @UofGSciEng and @GlasgowCS is the co-author of a new report from @turinginst on privacy intrusion a….
0
10
0
RT @PMannStAndrews: Our new arXiv pre-print examines the role of different mixing patterns between vertices in higher-order networks. Apply….
arxiv.org
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...
0
1
0
RT @michele_seve: I am happy to announce @Blair_Archibald and I have received an Amazon Research Award for our project “From Whiteboards to….
amazon.science
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.
0
7
0
RT @FormalMethodsGU: Exciting new area for applying #FormalMethods in our group - modelling resilience for #Agritech using #DigitalTwins, #….
0
6
0
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 . @FATAglasgow @FormalMethodsGU @GlasgowCS.
discotec.org
The website of DisCoTec - the International Federated Conference on Distributed Computing Techniques
0
6
9
RT @FmasWorkshop: Day One of #FMAS2021 is go. First, we have our invited talk from Clare Dixon ( @AandVNetwork . S….
research.manchester.ac.uk
0
2
0
RT @Blair_Archibald: New paper "Practical Bigraphs via Subgraph Isomorphism" showing how we can improve the efficiency of bigraph rewriting….
0
6
0
RT @FormalMethodsGU: Congratulations to @Blair_Archibald, Muffy Calder, @michele_seve & Mengwei Xu for their @sefm_conf paper “Probabilisti….
0
4
0
RT @FormalMethodsGU: one paper by @Blair_Archibald, Muffy Calder, @michele_seve and Mengwei Xu on “Observable and Attention-Directing BDI A….
0
9
0
RT @AandVNetwork: Two Research Associate jobs in VERIFICATION FOR SENSOR SYSTEMS SOFTWARE @csmcr. Apply By: 18th Oct 2021.Salary: £33,309-£….
0
5
0
RT @Blair_Archibald: Latest paper comparing the practical modelling styles/ability of bigraphs and graph transformation systems applied to….
link.springer.com
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,...
0
6
0
RT @michele_seve: We are looking for a Research Associate to join the team working on the PETRAS FARM project (. Mo….
0
8
0
RT @AandVNetwork: We have two Research Associate jobs available @csmcr in our Autonomy and Verification group (. *….
jobs.manchester.ac.uk
0
4
0
RT @AandVNetwork: The Leipzig Symposium on Intelligent Systems . Online 22nd July, 14:00 to 20:00 (CET). A programme of talks including:. *….
0
9
0
#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 👏.
0
3
3
RT @FormalMethodsGU: Congratulations to @michele_seve (PI) and Prof Muffy Calder (co-I) @UofGSciEng for their @PETRASiot project FARM 👏👏👏.
0
5
0
RT @AandVNetwork: #NewPaper!. "An Overview of Verification and Validation Challenges for Inspection Robots".in @RoboticsMDPI. based on work….
mdpi.com
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...
0
6
0
RT @DrMattWebster: A new paper we wrote about verification and validation of inspection robots for @ORCA_Hub @RAIN_hub @FAIR_SPACE_Hub @S4p….
0
5
0
RT @AandVNetwork: Research Associate in Verification of Trustworthy Autonomous Systems @csmcr . Working with @louiseadennis and Michael Fis….
jobs.manchester.ac.uk
0
11
0
RT @AandVNetwork: Our own @farrell_marie and @MattLuckcuck are running the Formal Methods for Autonomous Systems workshop again this year.….
fmasworkshop.github.io
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...
0
7
0