PhD position on “Process Discovery and Analysis” at HVL, Bergen 🇳🇴 jobbnorge.no/en/available-j…

We've published the list of accepted papers at RV'22: rv22.gitlab.io/accepted/ ! Plenty of interesting talks to look forward to.

Two very exciting PhD positions in Formal Analysis for Concurrent Workflows available at HVL, Bergen, Norway. #phds #formalmethods #concurrency #workflows jobbnorge.no/en/available-j…

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. doi.org/10.1016/j.scic…

Formal Methods 2026 2023 is just around the corner. Looking forward to seeing you all next week. Check out our exciting program here: fm2023.isp.uni-luebeck.de/index.php/over… #formalmethods23 #fm23

FM’23 kicking off in Lübeck with workshops, tutorials and the PhD symposium! Smooth runnings so far for Martin Leucker and his crew, but please don’t open the emergency exit again 😀#fm23

Formal Methods 2026’23 is in full swing. The first keynote speaker Laura Kovács is going to talk about Automated Program Reasoning. #formalmethods #fm23

Congratulations to Sandrine Blazy who received the Lucas Award 2023 Formal Methods 2026 for her work with Zaynah Dargaye and Xavier Leroy on Formal Verification of a C Compiler Front-End in #fm 2006. #formalmethods

We started our day Formal Methods 2026’23 with the keynote by Harald Rueß, who told us the next big thing about embedded systems and embodied actors. #fm23 #formalmethods

Today we have Nils Jansen Nils Jansen as our third keynote speaker, who is going to tell us about Intelligent and Dependable Decision-Making Under Uncertainty. #fm23 #formalmethods

This afternoon at Formal Methods 2026’23 kicking off with Jeannette M. Wing’s luminary talk on “Trustworthy AI”. #fm23 #formalmethods

🔵 Violet Ka I Pun, 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

A very exciting PhD positions in Formal Methods for Business Process Modelling available at HVL, Bergen, Norway. #phd #formalmethods #bpm #workflows #concurrentprogramming jobbnorge.no/en/available-j…

A postdoctoral research fellow position in Formal Methods for Business Process Modelling is now available at HVL, Bergen, Norway. #formalmethods #bpm #workflows #concurrentprogramming jobbnorge.no/en/available-j…