BraVAS

Ideal-based algorithms for VASSes and well-structured systems

BraVAS is a 3-year collaborative research project funded by ANR, the french national research agency. It gathers researchers from LaBRI, LSV and CRIStAL.

Learn more »