iFM2
informal Formal Methods Meetings
iFM2 is a series of informal talks held at the University of Udine on everything about Formal Methods. The series has seen a great number of talks from people all around Italy and beyond. Here you find the slides for almost all the talks held so far.
Past talks
27 May 2026
Neural Network Verification for Certified Private Inference
5 Dec 2025
Tight Lower and Upper Bounds for the Complexity of Canonical Colour Refinement
8 Oct 2025
Definability problem and automata for first order logic over trees
25 Sep 2025
On Cascades of Reset Automata
13 Jun 2025
Time Paradoxes, Quantum Causality, and Artificial Intelligence
23 May 2025
Passive Learning of Regular Data Languages in Polynomial Time and Data
20 Nov 2024
Militarizzazione dell'IA: nuovi rischi per la pace e per il controllo umano della guerra
5 Nov 2024
Runtime monitoring for Hennessy-Milner logic with recursion over systems with data
14 Oct 2024
A computable and compositional semantics for hybrid systems
14 Jun 2024
The rational construction of a Wheeler DFA
19 Apr 2024
First-order Automata
8 Mar 2024
Learning Efficient Constraints in Answer Set Programming
16 Feb 2024
A Gentle Introduction to Epistemic Planning: Foundations and Challenges
21 Dec 2020
Mechanized proofs of security protocols with CryptoVerif
11 Dec 2020
Reactive Synthesis from Extended Bounded Response LTL Specifications
18 Sep 2020
Decidable Inductive Invariants for Verification of Cryptographic Protocols with Unbounded Sessions
7 Feb 2020
Synthesis with Binary Predicates
22 Gen 2020
Solving Infinite Games on Graphs via Quasi-Dominions
10 Dic 2019
An On-Line Algorithm for Reorientation of Graphs
5 Nov 2019
Indexing sets of strings: Wheeler languages (part II)
29 Oct 2019
Indexing sets of strings: Wheeler languages (part I)
5 Jul 2019
Rigorous continuous evolution of uncertain systems
11 Jun 2019
Non-well-founded set based multi-agent epistemic action language
10 May 2019
Assumption-based Runtime Verification with Partial Observability and Resets
12 Apr 2019
Incremental inductive verification
5 Apr 2019
Deciding weak weighted bisimulations
15 Mar 2019
On Ehrenfeucht conjecture and its applications to transducer equivalence
27 Feb 2019
Modal Separation Logics and Friends
15 Feb 2019
Parity-energy ATL for Qualitative and Quantitative Reasoning in MAS
25 Gen 2019
Model checking: The interval way