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
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
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
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
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!
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
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
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
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
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
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
#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 👏
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
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