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.

Upcoming

Wednesday, 20th November, 2024
16:00
University of Udine
Department of Mathematics, Computer Science and Physics
"Aula Multimediale" (II floor)
Militarizzazione dell'IA: nuovi rischi per la pace e per il controllo umano della guerra
Gulielmo Tamburrini
Università degli Studi di Napoli Federico II
Abstract

Dalle armi autonome ai sistemi di supporto alle decisioni sul campo di battaglia, varie applicazioni militari dell’IA sollevano il problema di mantenere il controllo dell’azione bellica nelle mani degli esseri umani. Si affronteranno qui alcune questioni di carattere multidisciplinare che ruotano intorno a questo problema:

  • Perché è importante — da un punto di vista etico, giuridico e politico — preservare il controllo umano dell’azione bellica?
  • Quali ostacoli all’esercizio del controllo umano emergono dalle limitazioni della tecnologia e dalle caratteristiche psicologiche dell’interazione umano-macchina?
  • Le proposte di regolamentazione per il controllo umano dell'azione bellica sono ancora allineate con gli sviluppi della ricerca militare e le sperimentazioni sui campi di battaglia?
  • Quali nuove minacce alla pace possono emergere dalla perdita di controllo sull’IA bellica? E quali responsabilità informative e di whistle-blowing hanno i ricercatori del settore nei confronti dell’opinione pubblica, dei decisori politici e di altre parti interessate?

Past talks

5 Nov 2024
Runtime monitoring for Hennessy-Milner logic with recursion over systems with data
Léo Exibard
14 Oct 2024
A computable and compositional semantics for hybrid systems
Davide Bresolin
14 Jun 2024
The rational construction of a Wheeler DFA
Alberto Policriti
19 Apr 2024
First-order Automata
Nicola Gigante
8 Mar 2024
Learning Efficient Constraints in Answer Set Programming
Alice Tarzariol
16 Feb 2024
A Gentle Introduction to Epistemic Planning: Foundations and Challenges
Alessandro Burigana
21 Dec 2020
Mechanized proofs of security protocols with CryptoVerif
Nicola Vitacolonna
11 Dec 2020
Reactive Synthesis from Extended Bounded Response LTL Specifications
Luca Geatti
18 Sep 2020
Decidable Inductive Invariants for Verification of Cryptographic Protocols with Unbounded Sessions
Emanuele D'Osualdo
7 Feb 2020
Synthesis with Binary Predicates
Pietro Sala
22 Gen 2020
Solving Infinite Games on Graphs via Quasi-Dominions
Fabio Mogavero
10 Dic 2019
An On-Line Algorithm for Reorientation of Graphs
Marta Fiori Carones
5 Nov 2019
Indexing sets of strings: Wheeler languages (part II)
Giovanna D'Agostino
29 Oct 2019
Indexing sets of strings: Wheeler languages (part I)
Alberto Policriti
5 Jul 2019
Rigorous continuous evolution of uncertain systems
Davide Bresolin
11 Jun 2019
Non-well-founded set based multi-agent epistemic action language
Francesco Fabiano
10 May 2019
Assumption-based Runtime Verification with Partial Observability and Resets
Alessandro Cimatti
12 Apr 2019
Incremental inductive verification
Luca Geatti
5 Apr 2019
Deciding weak weighted bisimulations
Marino Miculan
15 Mar 2019
On Ehrenfeucht conjecture and its applications to transducer equivalence
Gabriele Puppis
27 Feb 2019
Modal Separation Logics and Friends
Stephán Demri
15 Feb 2019
Parity-energy ATL for Qualitative and Quantitative Reasoning in MAS
Dario Della Monica
25 Gen 2019
Model checking: The interval way
Angelo Montanari