Sponsors

We acknwoledge the support of:

 

  • Agence Nationale de la Recherche (through grant ANR-21-CE48-0023)
  • Association for Symbolic Logic
  • Bordeaux-INP
  • CNRS
  • Université de Bordeaux

 

 ANR_logo

 

ASL logo

 

Bx INP

 

CNRS

 

Labri

 

UBx
Loading... Loading...