WEB3, DIGITAL ASSETS, MARKET SECURITY & AUTONOMOUS INTELLIGENT SYSTEMS
10:00 – 11:30
Session D5 – Crypto Market Microstructure, Risk Models & Regulated Digital Assets
- Market liquidity modeling (stochastic processes)
- Automated market makers (AMM) mathematical models
- Smart-contract formal verification
- CBDC technical architectures
- Stablecoins: solvency, peg-stability, risk propagation
Mathematical content:
- Stochastic price impact
- Invariant functions (constant product, hybrid curves)
- Formal verification (Coq, Isabelle)
- Risk propagation PDEs
Scientific Value: the science that governs decentralized financial systems.
12:00 – 13:30
Session D6 – Autonomous Distributed Intelligence & Secure Multi-Agent Systems
- Multi-agent reinforcement learning in decentralized environments
- Reputation systems & consensus-driven trust
- Agent-based modelling for markets & mobility
- Distributed AI over blockchain (verifiable ML)
- Secure oracle systems and cross-domain data integrity
Models:
- Markov decision processes
- Agent behavioural equations
- Graph neural networks for protocol dynamics
- Verifiable ML circuits (zkML)
Scientific Value: When AI, blockchain, and physical systems become a single intelligent network.
