Events

Parallelism with shared memory : the logic of concurrent separation

VeriFast: Semi-Automated Modular Verification of Concurrent C and Java Programs Using Separation Logic

Van der Waals interaction and low-energy universality

Some extensions of the separation logic

Reasoning about time in separation logic

Quantum algorithms : when quantum physics challenges the Church-Turing thesis

Diffusion resonances

Fibrous with additional structure on a curve

Phenomenology of financial markets : statistical anomalies on all time scales

Quantum information, first computational uses : superposition, measurement, transformation, non-cloning, quantum key distribution, teleportation

The Complex Dynamics of Financial Prices

Quantum communication networks

Weakly coherent shared memory logic

Custom protocols in separation logic : ghost resources and invariants in Iris logic

Characterization of a Fano-Feshbach resonance

Moduli space of fibers and the affine Grassmannian

Ecology of financial markets : issues and challenges

Quantum cryptography and communication : Bell's inequalities, coin tosses, pawning, certification

Behavioral & Experimental Macroeconomics and Policy Analysis: A Complex Systems Approach

Certifying random number generation with quantum technology

Logics for functional and higher-order languages

Gillian: a Multi-language Platform for Compositional Symbolic Analysis

Hitchin fibration

The Hubbard fermionic model : introduction, physical realizations, symmetries

Dynamical Mean-Field Theory in Statistical Physics: Glassy Dynamics, Ecosystems and Interdisciplinary Applications

Market organization and microstructure

Quantum circuits, first algorithms : universal gates, Deutsch-Jozsa and Bernstein-Vazirani algorithms, superiority of quantum algorithms

The fragile nature of liquidity in financial markets

Graphical languages for programming and reasoning in quantum computing

Hidden symmetries of gravitation (1)