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, LMF and CRIStAL.

Learn more »

News

11/04/2022: Project Meeting
26/04/2021: The Reachability Problem for Petri Nets is Not Primitive Recursive
12/04/2021: Project Meeting
04/09/2019: Project Meeting
25/06/2019: STOC Best Paper Award
20/05/2019: Reachability in Vector Addition Systems is Primitive-Recursive in Fixed Dimension
21/03/2019: Project Meeting
08/10/2018: Project Meeting
19/09/2018: The Reachability Problem for Petri Nets Is Not Elementary
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