🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

Tiziana Margaria starts with an energizing talk at iFM: "The Digital Thread in Industry 4.0" ifm2019.hvl.no/keynotes/

Impressions from the iFM session on testing.

Part of our local crew: Rabbi, Alex, Ángela and (Violet). All participants accounted for a iFM!

Challenge accepted.

VMCAI 2020 Winter School (colo with POPL, New Orleans) can still accept a few applicants. Please inform your PhD students. popl20.sigplan.org/home/VMCAI-202…

Our researcher cesar_sanchez and Jacopo Mauro SDU Science as co-chairs of the PhD-iFM’19 Symposium about Formal Methods: Algorithms, Tools and Applications, held in Bergen, with Debasmita Lohar, one of the members of the winning paper: “Sound Probabilistic Numerical Error Analysis”

Jean-Christophe Filliâtre 🇫🇷 giving his keynote on "Deductive Verification of OCaml Libraries" ifm2019.hvl.no/keynotes/ with impressive live coding/proving during iFM here at Høgskulen på Vestlandet 🇳🇴

Corina Pasareanu from CMU & NASA Ames on “Safe Deep Neural Networks” at iFM held at Høgskulen på Vestlandet. Final keynote, and another scientific session. ifm2019.hvl.no/keynotes/

The submission deadline has been extended to 11 February 2022 23:59 AoE. Abstract submission is no longer required. We're looking forward to reading all your papers.

So you missed NFM's, FormaliSE's, and ISSTA's deadlines (oops...) and now your groundbreaking FM research is sitting there waiting to be published? Don't worry, iFM 2022 got you covered: the submission deadline is 11 February! iFM ifm22.si.usi.ch/pages/dates/

10 days left to submit your paper! This year, in addition to regular (16 pages) and short (6 pages) papers, the journal-first (4 pages) submissions are back. All page limits exclude the references. ifm22.si.usi.ch/pages/calls/

The PhD Symposium iFM is accepting extended abstracts of 2-3 pages from PhD students (and those up to 2 years post completion)! Deadline: 1st of March 2022 Details: ifm22.si.usi.ch/pages/phd/ Co-Chairs: Marie Farrell João F. Ferreira #iFM22 #PhDiFM22

2 days left! We're almost there. Time to polish your papers. We are looking forward to read them.

Tomorrow is the deadline for submissions to the PhD symposium at iFM! Looking forward to co-organising the symposium with João F. Ferreira and to lots of interesting submissions: ifm22.si.usi.ch/pages/phd/ #formalmethods #ifm #phd

The next AGM of FME Formal Methods Europe will take place next week, 9th June, 16:00-17:30 CET, during iFM. You will also be able to attend the meeting online using Zoom as usual. #formalmethods

After giving an inspiring mentoring talk at yesterday's PhD symposium, Louise Dennis opens iFM 2022 with a keynote on formally verifying autonomous systems. #ifm22 iFM

Roderick Bloem opening the second day of iFM 2022 by showing the public some embedded devices that we want to keep safe from side-channel attacks iFM #ifm22

A reminder that Formal Methods Europe FME's AGM is taking place later today 16:00-17:30 CEST during iFM. You can join via Zoom as usual. #formalmethods

The third, and last, day of iFM 2022 begins with a sweeping talk by Yamine Aït-Ameur about adding external reusable theories to the Event-B method. #ifm22 iFM