Recent Changes - Search:

ANR DynRes

PmWiki

edit SideBar

HomePage

Main.HomePage History

Hide minor edits - Show changes to output

June 22, 2012, at 05:03 PM EST by 138.231.176.8 -
Added line 10:
This work is supported by the ANR grant DynRes (project no. ANR-11-BS02-011).
Added lines 1-2:
----
Added lines 7-8:

----
Deleted lines 8-9:

Test
Added line 10:
Test
Changed line 1 from:
Welcome to '''ANR - DynRes''', ''''Dyn'''' ''amic Resources and Separation and Update Logics''
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''', ""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''', ''''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''', ''''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''', ''Dynamic Resources and Separation and Update Logics''
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]] Attach:irit-60.png Attach:loria-60.png Attach:lsv-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% Attach:anr-60.png Attach:irit-60.png Attach:loria-60.png Attach:lsv-60.png
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-125.png Attach:irit-125.jpg Attach:loria-125.png Attach:lsv-125.png
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

[[
Attach:irit-125.jpg]]

[[
Attach:loria-125.png]]

[[
Attach:lsv-125.png]]
to:
Attach:anr-125.png Attach:irit-125.jpg Attach:loria-125.png Attach:lsv-125.png
Changed line 8 from:
[[Attach:anr-125.png]]
to:
Attach:anr-125.png
Added lines 11-12:

[[Attach:loria-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]]
Added lines 7-8:

[[Attach:anr-125.png]]
Deleted lines 6-7:

[[nouvelle page]]
Added lines 7-8:

[[nouvelle page]]
Deleted lines 6-7:

[[uploads]].
Added lines 7-8:

[[uploads]].
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 | Irit]], the [[http://www.loria.fr | Loria]] and the [[http://www.lsv.ens-cachan.fr | LSV]].
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 ''Dynamic Resources for separation and update logics'' is introduced on the [[proposal]] web page.
to:
The topic of DynRes is introduced on the [[proposal]] web page.
Changed line 1 from:
Welcome to ANR - DynRes, '''Dynamic Resources and Separation and Update Logics'''
to:
Welcome to '''ANR - DynRes''', ''Dynamic Resources and Separation and Update Logics''
Changed line 1 from:
Welcome to ANR - DynRes, '''Dynamic Resources for separation and update logics'''
to:
Welcome to ANR - DynRes, '''Dynamic Resources and Separation and Update Logics'''
Changed line 5 from:
on the subject of ''Dynamic Resources for separation and update logics''.
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 (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''.
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''.
Added line 5:
--------
Changed lines 1-3 from:
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 [[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'''.
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 Irit and the LSV, on the subject of reachability problems in counter systems.
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 PmWiki!
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.
Edit - History - Print - Recent Changes - Search
Page last modified on June 22, 2012, at 05:03 PM EST