Events

Europe and China : scarcity - Geopolitical exercise (2)

Some extensions of the separation logic

Due diligence and protection of human rights and health

Reasoning about time in separation logic

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

Pierre Boulez, créateur multiactif - Case study 2

Fibrous with additional structure on a curve

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

Quantum communication networks

Europe and America : loneliness - Geopolitical exercise (3)

Weakly coherent shared memory logic

Conclusions and proposals

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

Pierre Boulez, créateur multiactif - Case study 2 (continued)

Moduli space of fibers and the affine Grassmannian

The birth of public health

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

Certifying random number generation with quantum technology

Europe's entry into history : the story - Geopolitical exercise (4)

Logics for functional and higher-order languages

Gillian: a Multi-language Platform for Compositional Symbolic Analysis

Hitchin fibration

Truth in numbers

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

Graphical languages for programming and reasoning in quantum computing

Affine Springer fibers

Epistemic boundaries

Quantum Fourier Transform : implementation, phase estimation, Simon and Shor algorithms (period search and factorization) and recent generalizations

The hidden subgroup problem

Stratification of the Hitchin base