"RML: Theory and practice of a domain specific language for runtime verification", new journal paper available at authors.elsevier.com/a/1cP%7ELc7X4-…

VORTEX 2021, online Workshop at ECOOP/ISSTA 2021, Monday 12 July International Workshop on Verification and mOnitoring at Runtime EXecution (conf.researchr.org/track/ecoop-is…) CfP available at vortex2021.github.io/cfp.txt

At ECOOP we see reviews as collaborations. Papers that are not accepted/rejected outright will be given suggestions for improvements and should be resubmitted in subsequent rounds with the same reviewers attached. Our goal is to gradually improve everyone's work 💪🏼

Call for Papers: VORTEX 2022, Workshop co-located with ECOOP 2022, Berlin International Workshop on Verification and mOnitoring at Runtime EXecution (2022.ecoop.org/home/vortex-20…) Submission deadline: Apr 18, 2022

New upgrade of the #RML compiler: 'null' values are supported to match events, Gradle upgraded to 7.0

Call for Papers: VORTEX 2022, Workshop co-located with #ECOOP22, Berlin International Workshop on Verification and mOnitoring at Runtime EXecution (2022.ecoop.org/home/vortex-20…) Submission deadline extended: Apr 24, 2022 AoE

The JOT special issue including the workshop #VORTEX 2021 on runtime monitoring and verification is now available at jot.fm/contents/issue…

the 5th edition of the workshop on runtime monitoring and verification (VORTEX 2022) will take place in Berlin, June 6 2022.ecoop.org/home/vortex-20…

A PhD position is open at Chalmers University of Technology, Gothenburg, Sweden, on the topic of Smart Contract Verification. The title of the position is: "Formal Verification of Blockchain Applications" chalmers.se/en/about-chalm…

Dahl-Nygaard Prizes 2023: please contribute by sending your nominations by December 15, more details at sites.google.com/aito.org/home/…

CORE, (the peak body for Australasian Computer Science academics) invites submissions from the community to ensure conference rankings are kept up to date. People willing to volunteer can fill in the Expression of Interest at forms.gle/8uXxuBED7nq6wf…

📢 We are happy to announce that ECOOP/ISSTA 2023 will feature the following exciting workshops: 🔸 FTfJP 🔸 FUZZING 🔸 VORTEX 🔸 ICOOOLPS 🔸 DEBT 👇🏼 2023.ecoop.org/track/ecoop-is…

VORTEX 2023 call for papers: conf.researchr.org/track/vortex-2…

While we are reviewing the second round of submissions, we invite you to look at the list of accepted papers at #ECOOP23 in the first round: 2023.ecoop.org/track/ecoop-20… Congrats to the authors! 🎊 Many thanks to our PC and AEC! 😀

VORTEX submission deadline has been extended to *May 22* conf.researchr.org/track/ecoop-is…

You might want to have a look at our paper recently published on TCS authors.elsevier.com/c/1hbwx15DaIEg…

Interested in submitting to the 7th Workshop on Verification and Monitoring at Runtime Execution and attending ECOOP/ISSTA24 in Vienna? The deadline is June 24, 2024 don't miss it! conf.researchr.org/home/issta-eco…

I am very glad to confirm that the VORTEX24 proceedings will be published in the ACM Digital Library. conf.researchr.org/home/issta-eco…

if you are interested in corecursion, you might have a look at our new TCS paper "Checking equivalence of corecursive streams: An inductive procedure" with Pietro Barbieri and Elena Zucca. doi.org/10.1016/j.tcs.…

The submission deadlines of #vortex VORTEX '24 have been extended to July 1st AoE (abstract) and July 8th AoE (paper)