User contributions
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 17:36, 10 December 2014 (diff | hist) . . (+40) . . Partners
- 17:35, 10 December 2014 (diff | hist) . . (-48) . . Main Page (→VECOLIB (VErifying Automatically the Correct Use and Implementation of COntainer LIBraries))
- 17:35, 10 December 2014 (diff | hist) . . (+32) . . Main Page
- 17:35, 10 December 2014 (diff | hist) . . (-101) . . Main Page (→VECOLIB (VErifying Automatically the Correct Use and Implementation of COntainer LIBraries))
- 17:33, 10 December 2014 (diff | hist) . . (+7) . . Main Page (→VECOLIB (VErifying Automatically the Correct Use and Implementation of COntainer LIBraries))
- 17:33, 10 December 2014 (diff | hist) . . (+1) . . Main Page (→VECOLIB (VErifying Automatically the Correct Use and Implementation of COntainer LIBraries))
- 17:33, 10 December 2014 (diff | hist) . . (+6) . . Main Page (→VECOLIB (VErifying Automatically the Correct Use and Implementation of COntainer LIBraries))
- 17:33, 10 December 2014 (diff | hist) . . (+32) . . Main Page (→VECOLIB (VErifying Automatically the Correct Use and Implementation of COntainer LIBraries))
- 17:32, 10 December 2014 (diff | hist) . . (+35) . . Main Page (→VECOLIB (VErifying Automatically the Correct Use and Implementation of COntainer LIBraries))
- 17:32, 10 December 2014 (diff | hist) . . (-14) . . Main Page (→VECOLIB (VErifying Automatically the Correct Use and Implementation of COntainer LIBraries))
- 17:31, 10 December 2014 (diff | hist) . . (+4) . . Main Page (→VECOLIB (VErifying Automatically the Correct Use and Implementation of COntainer LIBraries))
- 17:30, 10 December 2014 (diff | hist) . . (+2) . . Main Page (→VECOLIB (VErifying Automatically the Correct Use and Implementation of COntainer LIBraries))
- 17:30, 10 December 2014 (diff | hist) . . (-2) . . Main Page (→VECOLIB (VErifying Automatically the Correct Use and Implementation of COntainer LIBraries))
- 17:30, 10 December 2014 (diff | hist) . . (+8) . . Main Page (→VECOLIB (VErifying Automatically the Correct Use and Implementation of COntainer LIBraries))
- 17:29, 10 December 2014 (diff | hist) . . (0) . . File:Partners.001.jpg (Iosif uploaded a new version of File:Partners.001.jpg)
- 17:29, 10 December 2014 (diff | hist) . . (+36) . . Main Page (→VECOLIB (VErifying Automatically the Correct Use and Implementation of COntainer LIBraries))
- 17:28, 10 December 2014 (diff | hist) . . (0) . . N File:Partners.001.jpg
- 17:25, 10 December 2014 (diff | hist) . . (+2) . . Main Page (→VECOLIB (VErifying Automatically the Correct Use and Implementation of COntainer LIBraries))
- 17:25, 10 December 2014 (diff | hist) . . (+34) . . Main Page (→VECOLIB (VErifying Automatically the Correct Use and Implementation of COntainer LIBraries))
- 17:24, 10 December 2014 (diff | hist) . . (0) . . File:Containers.001.jpg (Iosif uploaded a new version of File:Containers.001.jpg) (current)
- 17:23, 10 December 2014 (diff | hist) . . (0) . . N File:Containers.001.jpg
- 17:15, 10 December 2014 (diff | hist) . . (0) . . m Software (Protected "Software" ([Edit=Allow only autoconfirmed users] (indefinite) [Move=Allow only autoconfirmed users] (indefinite)))
- 17:15, 10 December 2014 (diff | hist) . . (0) . . m Partners (Protected "Partners" ([Edit=Allow only autoconfirmed users] (indefinite) [Move=Allow only autoconfirmed users] (indefinite)))
- 17:14, 10 December 2014 (diff | hist) . . (0) . . m Funding (Protected "Funding" ([Edit=Allow only autoconfirmed users] (indefinite) [Move=Allow only autoconfirmed users] (indefinite))) (current)
- 17:14, 10 December 2014 (diff | hist) . . (0) . . m Meetings (Protected "Meetings" ([Edit=Allow only autoconfirmed users] (indefinite) [Move=Allow only autoconfirmed users] (indefinite)))
- 17:13, 10 December 2014 (diff | hist) . . (0) . . m Main Page (Protected "Main Page" ([Edit=Allow only autoconfirmed users] (indefinite) [Move=Allow only autoconfirmed users] (indefinite)))
- 16:51, 10 December 2014 (diff | hist) . . (+4) . . Software
- 16:51, 10 December 2014 (diff | hist) . . (+221) . . N Software (Created page with "* [http://www.fit.vutbr.cz/research/groups/verifit/tools/slide/ SLIDE]: solver for Separation Logic with Inductive Definitions * [http://www.liafa.univ-paris-diderot.fr/spen/...")
- 16:45, 10 December 2014 (diff | hist) . . (+368) . . N Partners (Created page with "* [http://www-verimag.imag.fr/ VERIMAG Grenoble] (Radu Iosif, Sylvain Boulme, Nicolas Halbwachs, Cristina Serban) * [http://www.liafa.jussieu.fr/ LIAFA Paris] (Mihaela Sighire...")
- 16:40, 10 December 2014 (diff | hist) . . (+141) . . N Meetings (Created page with "* Kick-off meeting (20 November 2014, Liafa) [https://docs.google.com/document/d/12li2f5zCRL0R21vE91zrxvoiXvA52UXmGw2rnPL41BE/edit programme]")
- 16:39, 10 December 2014 (diff | hist) . . (+2) . . Funding
- 16:39, 10 December 2014 (diff | hist) . . (+1) . . Funding
- 16:38, 10 December 2014 (diff | hist) . . (-6) . . Funding
- 16:38, 10 December 2014 (diff | hist) . . (-8) . . Funding
- 16:38, 10 December 2014 (diff | hist) . . (+26) . . Funding
- 16:37, 10 December 2014 (diff | hist) . . (+34) . . Funding
- 16:36, 10 December 2014 (diff | hist) . . (0) . . N File:Label-ANR-bleu-CMJN.png (current)
- 16:26, 10 December 2014 (diff | hist) . . (+119) . . N Funding (Created page with "The VECOLIB project is funded by the French National Research Agency (ANR) as grant number ANR-14-CE28-0018 (2014-2018)")
- 16:21, 10 December 2014 (diff | hist) . . (+48) . . Main Page
- 16:20, 10 December 2014 (diff | hist) . . (0) . . Main Page (→VECOLIB (Verifying Automatically the Correct Use and Implementation of Container Libraries))
- 16:19, 10 December 2014 (diff | hist) . . (+15) . . Main Page
- 16:19, 10 December 2014 (diff | hist) . . (+2) . . Main Page
- 16:18, 10 December 2014 (diff | hist) . . (+2) . . Main Page
- 16:18, 10 December 2014 (diff | hist) . . (+8) . . Main Page
- 16:17, 10 December 2014 (diff | hist) . . (+59) . . Main Page
- 16:14, 10 December 2014 (diff | hist) . . (-7) . . Main Page
- 16:14, 10 December 2014 (diff | hist) . . (+17) . . Main Page (→Verifying Automatically the Correct Use and Implementation of Container Libraries)
- 16:13, 10 December 2014 (diff | hist) . . (-6) . . Main Page
- 16:13, 10 December 2014 (diff | hist) . . (+4) . . Main Page (→Verifying Automatically the Correct Use and Implementation of Container Libraries)
- 16:12, 10 December 2014 (diff | hist) . . (+498) . . Main Page
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
