Violet Ka I Pun

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…

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…

🔵 @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

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

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

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

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: fm2023.isp.uni-luebeck.de/index.php/over… #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. doi.org/10.1016/j.scic…

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…

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

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