Main /
HomePageMain.HomePage HistoryHide minor edits - Show changes to output Added line 10:
This work is supported by the ANR grant DynRes (project no. ANR-11-BS02-011). Changed line 1 from:
Welcome to '''ANR - DynRes''', '' to:
Welcome to '''ANR - DynRes''', ''Dynamic Resources and Separation and Update Logics'' Changed line 1 from:
Welcome to '''ANR - DynRes''', ''''Dyn''''''amic Resources and Separation and Update Logics'' to:
Welcome to '''ANR - DynRes''', ''''Dyn'''' ''amic Resources and Separation and Update Logics'' Changed line 1 from:
Welcome to '''ANR - DynRes''', to:
Welcome to '''ANR - DynRes''', ''''Dyn''''''amic Resources and Separation and Update Logics'' Changed line 1 from:
Welcome to '''ANR - DynRes''', to:
Welcome to '''ANR - DynRes''', ""Dyn"" amic Resources and Separation and Update Logics'' Changed line 1 from:
Welcome to '''ANR - DynRes''', ''''Dyn''''amic Resources and Separation and Update Logics'' to:
Welcome to '''ANR - DynRes''', ''''Dyn'''' amic Resources and Separation and Update Logics'' Changed line 1 from:
Welcome to '''ANR - DynRes''', '' to:
Welcome to '''ANR - DynRes''', ''''Dyn''''amic Resources and Separation and Update Logics'' Changed line 8 from:
%right% [[http://www.agence-nationale-recherche.fr | Attach:anr-60.png]] to:
%right% [[http://www.agence-nationale-recherche.fr | Attach:anr-60.png]] [[http://www.irit.fr | Attach:irit-60.png]] [[http://www.loria.fr | Attach:loria-60.png]] [[http://www.lsv.ens-cachan.fr | Attach:lsv-60.png]] Changed line 8 from:
%right% to:
%right% [[http://www.agence-nationale-recherche.fr | Attach:anr-60.png]] Attach:irit-60.png Attach:loria-60.png Attach:lsv-60.png Changed line 8 from:
Attach:anr-60.png Attach:irit-60.png Attach:loria-60.png Attach:lsv-60.png to:
%right% Attach:anr-60.png Attach:irit-60.png Attach:loria-60.png Attach:lsv-60.png Changed line 8 from:
Attach:anr- to:
Attach:anr-60.png Attach:irit-60.png Attach:loria-60.png Attach:lsv-60.png Changed lines 8-14 from:
Attach:anr-125.png [[ [[ [[ to:
Attach:anr-125.png Attach:irit-125.jpg Attach:loria-125.png Attach:lsv-125.png Changed line 8 from:
to:
Attach:anr-125.png Changed lines 8-12 from:
[[Attach:anr-125.png]] [[Attach:lsv-125.png]] to:
[[Attach:anr-125.png]] [[Attach:irit-125.jpg]] [[Attach:lsv-125.png]] Changed lines 8-9 from:
[[Attach:anr-125.png]] to:
[[Attach:anr-125.png]] [[Attach:lsv-125.png]] Changed lines 5-6 from:
The topic of DynRes is introduced on the [[proposal]] web page. The members of the project are listed on the [[members]] web page. to:
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. Deleted lines 5-18:
-------- A local copy of PmWiki's documentation has been installed along with the software, and is available via the [[PmWiki/documentation index]]. To continue setting up PmWiki, see [[PmWiki/initial setup tasks]]. The [[PmWiki/basic editing]] page describes how to create pages in PmWiki. You can practice editing in the [[wiki sandbox]]. More information about PmWiki is available from http://www.pmwiki.org. Changed line 3 from:
DynRes is a research project funded by the French national research agency [[http://www.agence-nationale-recherche.fr/ | ANR]] non-thematic program, starting in November 2011. It gathers researchers from three French laboratories, the [[http://www.irit.fr | to:
DynRes is a research project funded by the French national research agency [[http://www.agence-nationale-recherche.fr/ | ANR]] non-thematic program, starting in November 2011. It gathers researchers from three French laboratories, the [[http://www.irit.fr | IRIT]], the [[http://www.loria.fr | LORIA]] and the [[http://www.lsv.ens-cachan.fr | LSV]]. Changed lines 5-6 from:
The topic of DynRes is introduced on the [[proposal]] web page. to:
The topic of DynRes is introduced on the [[proposal]] web page. The members of the project are listed on the [[members]] web page. Changed line 5 from:
The topic of to:
The topic of DynRes is introduced on the [[proposal]] web page. Changed line 1 from:
Welcome to ANR - DynRes to:
Welcome to '''ANR - DynRes''', ''Dynamic Resources and Separation and Update Logics'' Changed line 1 from:
Welcome to ANR - DynRes, '''Dynamic Resources to:
Welcome to ANR - DynRes, '''Dynamic Resources and Separation and Update Logics''' Changed line 5 from:
to:
The topic of ''Dynamic Resources for separation and update logics'' is introduced on the [[proposal]] web page. Changed lines 3-5 from:
DynRes is a research project funded by the French national research agency to:
DynRes is a research project funded by the French national research agency [[http://www.agence-nationale-recherche.fr/ | ANR]] non-thematic program, starting in November 2011. It gathers researchers from three French laboratories, the [[http://www.irit.fr | Irit]], the [[http://www.loria.fr | Loria]] and the [[http://www.lsv.ens-cachan.fr | LSV]]. on the subject of ''Dynamic Resources for separation and update logics''. Changed lines 1-3 from:
Welcome to 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 [[http://www to:
Welcome to ANR - DynRes, '''Dynamic Resources for 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 [[http://www.loria.fr | Loria]], the [[http://www.irit.fr | Irit]] and the [[http://www.lsv.ens-cachan.fr | LSV]], on the subject of ''Dynamic Resources for separation and update logics''. Changed line 3 from:
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 [[http://www.loria.fr | Loria]], the to:
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 [[http://www.loria.fr | Loria]], the [[http://www.irit.fr | Irit]] and the [[http://www.lsv.ens-cachan.fr | LSV]], on the subject of '''Dynamic Resources for separation and update logics'''. Changed lines 1-4 from:
Welcome to to:
Welcome to DynRes 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 [[http://www.loria.fr | Loria]], the Irit and the LSV, on the subject of reachability problems in counter systems. |