A postdoctoral research fellow position in Formal Methods for Business Process Modelling is now available at HVL, Bergen, Norway.
#formalmethods#bpm#workflows#concurrentprogramming
https://t.co/Rz3pxYWJPV
🔵 @violetpun, from @hvl_no, presents the preliminary results of the CROFLOW project, focused on decision making to optimize workflows. The goal is to automate these processes and make them less manual and more efficient.
#imdeasoftware
Today we have Nils Jansen @thesuperjansen as our third keynote speaker, who is going to tell us about Intelligent and Dependable Decision-Making Under Uncertainty. #fm23#formalmethods
We started our day @FMsymp’23 with the keynote by Harald Rueß, who told us the next big thing about embedded systems and embodied actors. #fm23#formalmethods
Congratulations to Sandrine Blazy who received the Lucas Award 2023 @FMsymp for her work with Zaynah Dargaye and Xavier Leroy on Formal Verification of a C Compiler Front-End in #fm 2006. #formalmethods
FM’23 kicking off in Lübeck with workshops, tutorials and the PhD symposium! Smooth runnings so far for @ISPMartin and his crew, but please don’t open the emergency exit again 😀#fm23
@FMSymp 2023 is just around the corner. Looking forward to seeing you all next week. Check out our exciting program here: https://t.co/T1M26mMIr1
#formalmethods23#fm23
Workflow analysis requires domain-specific knowledge, making changes in cross-organizational workflows expensive.
Ali et al. present a formal modeling language to estimate their cost and use static analysis to compute the worst execution time.
https://t.co/FTYFeFJRr2
Two very exciting PhD positions in Formal Analysis for Concurrent Workflows available at HVL, Bergen, Norway.
#phds#formalmethods#concurrency#workflows
https://t.co/x6WCWbwOd4