Nel contesto del progetto di ricerca NiRvAna si terranno giovedì 29/05/2025 pomeriggio i seguenti seminari:
14:30-15:30 Proved Reversible Process Calculus: Semantics, Logics, Axioms
15:30-16:30 Noninterference in Reversible Systems: Nondeterminism, Probability, Time
17:00-17:30 Algorithmic Stablecoins: A Simulator for the Dual-Token Model in Normal and Panic Scenarios
17:30-18:00 An Entropy-Based Approach to Evaluating the Economic Efficiency of Cryptocurrencies
Negli ambiti reversible computing, information-flow security analysis, blockchain e cryptocurrency sono disponibili diverse tesi di laurea sia triennale che magistrale.