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 »

News

30/05/2018
Project Meeting
14/03/2018
Post-Doc Position
12/03/2018
Project Meeting
31/10/2017
A characterization of FAC spaces
26/10/2017
Kick-Off Meeting