The abstracts are available at the HAL repository.
Probabilistic logic programming with multiplicative modules
Geometry of Interaction for ZX-Diagrams
Parametrised Functional Interpretation of Affine Logic
Click and coLLecT: An Interactive Linear Logic Prover
A gentle introduction to Girard's Transcendental Syntax
Evaluation and convergence in the computational calculus
Toward a Curry-Howard Equivalence for Linear, Reversible Computation.
Proof-nets as graphs
Parallelism in Soft Linear Logic
Principal Types as Lambda Nets
Linear Exponentials as Graded Modal Types
Towards Unifying (Co)induction and Structural Control
A bunched logic for l^p spaces
Totally Linear Proofs