Welcome to ANR - DynRes, Dynamic Resources and Separation and Update Logics
DynRes is a research project funded by the French national research agency ANR non-thematic program, starting in November 2011. It gathers researchers from three French laboratories, the IRIT, the LORIA and the LSV.
The topic of DynRes is introduced on the proposal web page. See also the context web page. The members of the project are listed on the members web page.
This work is supported by the ANR grant DynRes (project no. ANR-11-BS02-011).
