iFM 2023

18th International Conference on integrated Formal Methods 13-15 November 2023, Leiden, the Netherlands

CONTACT
CALL FOR PAPERS iFM 2023 CALL FOR ARTIFACTS FMAS 2023 PHD SYMPOSIUM
VENUE COMMITTEES KEYNOTES REGISTRATION PROGRAM DATES
Free Stock photos by Vecteezy

Program

13 November 2023 Main conference Theater room, Scheltema Leiden
14 November 2023 Main conference Theater room, Scheltema Leiden
15 November 2023 Main conference Theater room, Scheltema Leiden
15-16 November 2023 FMAS 2023 workshop Theater, Expo 1 and Expo 2 rooms,Scheltema Leiden
16 November 2023 PhD symposium Ketelhuis room, Scheltema Leiden
     
13-16 November 2023 Social events Different locations, see here

iFM 2023 proceedings

The Springer's proceedings of iFM 2023 (volume 14300 of LNCS) are temporarily available here to all participants of the event from 14 November to 14 December, 2023.

iFM 2023 program

Monday 13 November 2023 (Theater room, Scheltema Leiden)

8:30 – 8:45 Registration
8:45 – 9:00 Opening (Marcello Bonsangue, general chair iFM 2023)
9:00 – 10:00 Keynote presentation (chair: Marcello Bonsangue)
10:00 – 10:30 Coffee/Tea break
10:30 – 12:00 Session 1: Analysis and Verification (chair: Nikolai Kosmatov)
  • Automated Sensitivity Analysis for Probabilistic Loops
    Marcel Moosbrugger, Julian Müllner and Laura Kovács
  • diffDP: Using Data Dependencies and Properties in Difference Verification with Conditions
    Marie-Christine Jakobs and Tim Pollandt
  • CHC Model Validation with Proof Guarantees (best paper award candidate)
    Rodrigo Otoni, Martin Blicha, Patrick Eugster and Natasha Sharygina
12:00 – 14:00 Lunch break
14:00 – 15:00 Session 2: Deductive Verification I (chair: Heike Wehrheim)
  • Towards Formal Verification of a TPM Software Stack (best paper award candidate)
    Yani Ziani, Nikolai Kosmatov, Frederic Loulergue, Daniel Gracia Perez and Téo Bernier
  • Reasoning About Exceptional Behavior At the Level of Java Bytecode (best paper award candidate)
    Marco Paganoni and Carlo A. Furia
15:00 – 15:30 Coffee/Tea break
15:30 – 17:00 Session 3: Artifacts and Posters
17:00 – 19:30 Reception (Ketelhuis and Foyer, Scheltema Leiden)

Tuesday 14 November 2023 (Theater room, Scheltema Leiden)

9:00 – 10:00 Keynote presentation (chair: Anton Wijs)
10:00 – 10:30 Coffee/Tea break
10:30 – 12:00 Session 4: Hardware and Memory Verification (chair: Marieke Huisman)
  • Lifting the Reasoning Level in Generic Weak Memory Verification
    Lara Bargmann and Heike Wehrheim
  • Automatic Formal Verification of RISC-V Pipelined Microprocessors with Fault Tolerance by Spatial Redundancy at a High Level of Abstraction
    Miroslav Velev
  • Refinement and Separation: Modular Verification of Wandering Trees
    Gerhard Schellhorn, Stefan Bodenmüller and Wolfgang Reif
12:00 – 14:00 Lunch break
14:00 – 15:00 Session 5: Deductive Verification II (chair: Carlo A. Furia)
  • Analysis and Formal Specification of OpenJDK’s BitSet
    Andy S. Tatman, Hans-Dieter Hiep and Stijn De Gouw
  • Joining Forces! Reusing Contracts for Deductive Verifiers through Automatic Translation
    Lukas Armborst, Sophie Lathouwers and Marieke Huisman
15:00 – 15:30 Coffee/Tea break
15:30 – 17:00 Session 6: Verify This (chair: Gidon Ernst)
  • Memcached—A Practical Long-term Challenge for the Integration of Formal Methods
    Alexander Weigl
17:00 – 22:00 Social event and dinner

Wednesday 15 November 2023 (Theater room, Scheltema Leiden)

9:00 – 10:00 Session 7: Verification and Learning (chair: Wolfgang Ahrendt)
  • Performance Fuzzing with Reinforcement-Learning and Well-Defined Constraints for the B Method
    Jannik Dunkelau and Michael Leuschel
  • Reinforcement Learning under Partial Observability Guided by Learned Environment Models
    Edi Muskardin, Martin Tappler, Ingo Pill and Bernhard K. Aichernig
10:00 – 10:30 Coffee/Tea break
10:30 – 12:00 Session 8: Temporal Logics (chair: Einar Broch Johnsen)
  • Mission-time LTL (MLTL) Formula Validation Via Regular Expressions
    Zili Wang, Chiara Travesset, Jeremy Sorkin, Jenna Elwing, Laura P. Gamboa Guzman and Kristin Yvonne Rozier
  • Symbolic Model checking of Relative Safety LTL properties
    Alberto Bombardelli, Alessandro Cimatti, Stefano Tonetta and Marco Zamboni
  • Extending PlusCal for Modeling Distributed Algorithms (TLA+)
    Horatiu Cirstea and Stephan Merz
12:00 – 14:00 Lunch break
14:00 – 15:00 Joint iFM/FMAS keynote presentation (chair: Paula Herber)
15:00 – 15:30 Coffee/Tea break
15:30 – 17:00 Joint iFM/FMAS Session: Autonomous Systems (chair: Marie Farrell)
  • A Formal Modelling and Analysis of a Self-Adaptive Robotic System
    Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, Silvia Lizeth Tapia Tarifa and Einar Broch Johnsen
  • CAN-verify: Verification Tool for BDI Agents
    Mengwei Xu, Thibault Rivoalen, Blair Archibald and Michele Sevegnani
  • Model checking for Robot Reactive Planning (FMAS 2023 paper)
    Christopher Chandler, Bernd Porr, Alice Miller, and Giulia Lafratta