User contributions
(newest | oldest) View (newer 100 | older 100) (20 | 50 | 100 | 250 | 500)
- 19:28, 21 May 2015 (diff | hist) . . (0) . . Paris meeting 3 June 2015
- 19:28, 21 May 2015 (diff | hist) . . (+23) . . Paris meeting 3 June 2015
- 19:27, 21 May 2015 (diff | hist) . . (+4,992) . . N Paris meeting 3 June 2015 (Created page with "'''Location:''' https://www.google.fr/maps/place/46+Rue+d%27Amsterdam,+75009+Paris/@48.8785888,2.3270623,17z/data=!4m7!1m4!3m3!1s0x47e66e4a5a15ccaf:0x5cdb82160a7919b0!2s46+R...")
- 19:11, 21 May 2015 (diff | hist) . . (+41) . . Meetings
- 15:21, 1 March 2015 (diff | hist) . . (-4,968) . . Ref bib.html
- 15:20, 1 March 2015 (diff | hist) . . (-1,028) . . Publications
- 15:18, 1 March 2015 (diff | hist) . . (+8,832) . . Ref bib.html
- 15:17, 1 March 2015 (diff | hist) . . (+2,384) . . Publications
- 14:23, 1 March 2015 (diff | hist) . . (+941) . . N Ref bib.html (Created page with "<html> <head> <title>ref.bib</title> </head> <body> <h1>ref.bib</h1><a name="DBLP:journals/corr/IosifRV14a"></a><pre> @article{<a href="ref.html#DBLP:journals/corr/IosifRV14...")
- 14:19, 1 March 2015 (diff | hist) . . (-65) . . Publications
- 14:18, 1 March 2015 (diff | hist) . . (+935) . . N Publications (Created page with "<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"> <html> <head> <title>ref</title> </head> <body> <!-- This document was automatically generated with bibtex2...")
- 19:00, 19 February 2015 (diff | hist) . . (+149) . . Software
- 18:32, 19 February 2015 (diff | hist) . . (+18) . . Grenoble meeting 27 February 2015
- 18:31, 19 February 2015 (diff | hist) . . (+102) . . Grenoble meeting 27 February 2015
- 23:03, 18 February 2015 (diff | hist) . . (-3) . . News
- 23:03, 18 February 2015 (diff | hist) . . (+9) . . News
- 23:02, 18 February 2015 (diff | hist) . . (+57) . . News
- 21:13, 18 February 2015 (diff | hist) . . (+33) . . News
- 21:13, 18 February 2015 (diff | hist) . . (-2) . . News
- 21:12, 18 February 2015 (diff | hist) . . (+36) . . News
- 21:11, 18 February 2015 (diff | hist) . . (-6) . . Grenoble meeting 27 February 2015
- 21:11, 18 February 2015 (diff | hist) . . (0) . . Grenoble meeting 27 February 2015
- 21:10, 18 February 2015 (diff | hist) . . (+18) . . Grenoble meeting 27 February 2015
- 21:09, 18 February 2015 (diff | hist) . . (+23) . . Grenoble meeting 27 February 2015
- 21:09, 18 February 2015 (diff | hist) . . (-10) . . Grenoble meeting 27 February 2015
- 21:08, 18 February 2015 (diff | hist) . . (-11) . . Grenoble meeting 27 February 2015 (→=)
- 21:08, 18 February 2015 (diff | hist) . . (+4,040) . . N Grenoble meeting 27 February 2015 (Created page with "Programme ========= 9h30 Coffee+croissants '''Technical presentations''' 10h00 Marek Trtik (Verimag) Formula-based Communication Between Program Analyses A promising app...")
- 21:00, 18 February 2015 (diff | hist) . . (+47) . . Meetings
- 20:59, 18 February 2015 (diff | hist) . . (+18) . . News
- 20:56, 18 February 2015 (diff | hist) . . (+250) . . News
- 20:52, 18 February 2015 (diff | hist) . . (+281) . . News
- 17:40, 6 January 2015 (diff | hist) . . (+90) . . News
- 17:04, 6 January 2015 (diff | hist) . . (+3,032) . . N Find Ones Meditation Retreat (Created page with "Even though I had never done an educator training I knew had been all I desired to do. There was something about it that felt deeper, more truthful, and more real than anythin...") (current)
- 17:03, 6 January 2015 (diff | hist) . . (+605) . . N User:Demi70Oxircquf (Created page with "My name is Kandy Freeman though I don't really like being called like which unfortunately. Production and planning has been his employment spiritual retreats for depression ...") (current)
- 16:57, 6 January 2015 (diff | hist) . . (+1,273) . . N User:LeonelY68nsvm (Created page with "My name is Leonel from Saint-Laurent-Du-Var studying Earth Sciences. I did my schooling, secured 78% and hope to find someone with same interests in Rock climbing.<br>xunjie...") (current)
- 11:31, 30 December 2014 (diff | hist) . . (-6,283) . . Main Page (Undo revision 9175 by MaryellToussaint (talk)) (current)
- 14:49, 16 December 2014 (diff | hist) . . (+124) . . Automatic Program Verification using Separation Logic
- 10:18, 12 December 2014 (diff | hist) . . (-92) . . Automatic Program Verification using Separation Logic
- 10:17, 12 December 2014 (diff | hist) . . (+102) . . Automatic Program Verification using Separation Logic
- 10:17, 12 December 2014 (diff | hist) . . (+26) . . News
- 10:16, 12 December 2014 (diff | hist) . . (-134) . . News
- 10:02, 12 December 2014 (diff | hist) . . (+3,813) . . N Automatic Program Verification using Separation Logic (Created page with " == Automatic Program Verification via Separation Logic == A series of lectures by Prof. Chin Wei Ngan (National University of Singapore) VERIM...")
- 10:01, 12 December 2014 (diff | hist) . . (-21) . . News
- 10:00, 12 December 2014 (diff | hist) . . (-165) . . Here (current)
- 09:59, 12 December 2014 (diff | hist) . . (+3,978) . . N Here (Created page with " Automatic Program Verification via Separation Logic =================================================== A series of lectures by Prof. Chin Wei Ngan (Nat...")
- 09:59, 12 December 2014 (diff | hist) . . (-10) . . News
- 09:58, 12 December 2014 (diff | hist) . . (+73) . . News
- 09:56, 12 December 2014 (diff | hist) . . (+237) . . N News (Created page with "* Chin Wei Ngan (National University of Singapore) will give an introductory course in program verification using Separation Logic. Download the announcement here and visit th...")
- 09:54, 12 December 2014 (diff | hist) . . (+11) . . Main Page
- 18:37, 10 December 2014 (diff | hist) . . (0) . . File:Partners.001.jpg (Iosif uploaded a new version of File:Partners.001.jpg) (current)
- 18:36, 10 December 2014 (diff | hist) . . (+40) . . Partners
- 18:35, 10 December 2014 (diff | hist) . . (-48) . . Main Page (→VECOLIB (VErifying Automatically the Correct Use and Implementation of COntainer LIBraries))
- 18:35, 10 December 2014 (diff | hist) . . (+32) . . Main Page
- 18:35, 10 December 2014 (diff | hist) . . (-101) . . Main Page (→VECOLIB (VErifying Automatically the Correct Use and Implementation of COntainer LIBraries))
- 18:33, 10 December 2014 (diff | hist) . . (+7) . . Main Page (→VECOLIB (VErifying Automatically the Correct Use and Implementation of COntainer LIBraries))
- 18:33, 10 December 2014 (diff | hist) . . (+1) . . Main Page (→VECOLIB (VErifying Automatically the Correct Use and Implementation of COntainer LIBraries))
- 18:33, 10 December 2014 (diff | hist) . . (+6) . . Main Page (→VECOLIB (VErifying Automatically the Correct Use and Implementation of COntainer LIBraries))
- 18:33, 10 December 2014 (diff | hist) . . (+32) . . Main Page (→VECOLIB (VErifying Automatically the Correct Use and Implementation of COntainer LIBraries))
- 18:32, 10 December 2014 (diff | hist) . . (+35) . . Main Page (→VECOLIB (VErifying Automatically the Correct Use and Implementation of COntainer LIBraries))
- 18:32, 10 December 2014 (diff | hist) . . (-14) . . Main Page (→VECOLIB (VErifying Automatically the Correct Use and Implementation of COntainer LIBraries))
- 18:31, 10 December 2014 (diff | hist) . . (+4) . . Main Page (→VECOLIB (VErifying Automatically the Correct Use and Implementation of COntainer LIBraries))
- 18:30, 10 December 2014 (diff | hist) . . (+2) . . Main Page (→VECOLIB (VErifying Automatically the Correct Use and Implementation of COntainer LIBraries))
- 18:30, 10 December 2014 (diff | hist) . . (-2) . . Main Page (→VECOLIB (VErifying Automatically the Correct Use and Implementation of COntainer LIBraries))
- 18:30, 10 December 2014 (diff | hist) . . (+8) . . Main Page (→VECOLIB (VErifying Automatically the Correct Use and Implementation of COntainer LIBraries))
- 18:29, 10 December 2014 (diff | hist) . . (0) . . File:Partners.001.jpg (Iosif uploaded a new version of File:Partners.001.jpg)
- 18:29, 10 December 2014 (diff | hist) . . (+36) . . Main Page (→VECOLIB (VErifying Automatically the Correct Use and Implementation of COntainer LIBraries))
- 18:28, 10 December 2014 (diff | hist) . . (0) . . N File:Partners.001.jpg
- 18:25, 10 December 2014 (diff | hist) . . (+2) . . Main Page (→VECOLIB (VErifying Automatically the Correct Use and Implementation of COntainer LIBraries))
- 18:25, 10 December 2014 (diff | hist) . . (+34) . . Main Page (→VECOLIB (VErifying Automatically the Correct Use and Implementation of COntainer LIBraries))
- 18:24, 10 December 2014 (diff | hist) . . (0) . . File:Containers.001.jpg (Iosif uploaded a new version of File:Containers.001.jpg) (current)
- 18:23, 10 December 2014 (diff | hist) . . (0) . . N File:Containers.001.jpg
- 18:15, 10 December 2014 (diff | hist) . . (0) . . m Software (Protected "Software" ([Edit=Allow only autoconfirmed users] (indefinite) [Move=Allow only autoconfirmed users] (indefinite)))
- 18:15, 10 December 2014 (diff | hist) . . (0) . . m Partners (Protected "Partners" ([Edit=Allow only autoconfirmed users] (indefinite) [Move=Allow only autoconfirmed users] (indefinite)))
- 18:14, 10 December 2014 (diff | hist) . . (0) . . m Funding (Protected "Funding" ([Edit=Allow only autoconfirmed users] (indefinite) [Move=Allow only autoconfirmed users] (indefinite))) (current)
- 18:14, 10 December 2014 (diff | hist) . . (0) . . m Meetings (Protected "Meetings" ([Edit=Allow only autoconfirmed users] (indefinite) [Move=Allow only autoconfirmed users] (indefinite)))
- 18: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)))
- 17:51, 10 December 2014 (diff | hist) . . (+4) . . Software
- 17: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/...")
- 17: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...")
- 17: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]")
- 17:39, 10 December 2014 (diff | hist) . . (+2) . . Funding
- 17:39, 10 December 2014 (diff | hist) . . (+1) . . Funding
- 17:38, 10 December 2014 (diff | hist) . . (-6) . . Funding
- 17:38, 10 December 2014 (diff | hist) . . (-8) . . Funding
- 17:38, 10 December 2014 (diff | hist) . . (+26) . . Funding
- 17:37, 10 December 2014 (diff | hist) . . (+34) . . Funding
- 17:36, 10 December 2014 (diff | hist) . . (0) . . N File:Label-ANR-bleu-CMJN.png (current)
- 17: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)")
- 17:21, 10 December 2014 (diff | hist) . . (+48) . . Main Page
- 17:20, 10 December 2014 (diff | hist) . . (0) . . Main Page (→VECOLIB (Verifying Automatically the Correct Use and Implementation of Container Libraries))
- 17:19, 10 December 2014 (diff | hist) . . (+15) . . Main Page
- 17:19, 10 December 2014 (diff | hist) . . (+2) . . Main Page
- 17:18, 10 December 2014 (diff | hist) . . (+2) . . Main Page
- 17:18, 10 December 2014 (diff | hist) . . (+8) . . Main Page
- 17:17, 10 December 2014 (diff | hist) . . (+59) . . Main Page
- 17:14, 10 December 2014 (diff | hist) . . (-7) . . Main Page
- 17:14, 10 December 2014 (diff | hist) . . (+17) . . Main Page (→Verifying Automatically the Correct Use and Implementation of Container Libraries)
- 17:13, 10 December 2014 (diff | hist) . . (-6) . . Main Page
- 17:13, 10 December 2014 (diff | hist) . . (+4) . . Main Page (→Verifying Automatically the Correct Use and Implementation of Container Libraries)
- 17:12, 10 December 2014 (diff | hist) . . (+498) . . Main Page
(newest | oldest) View (newer 100 | older 100) (20 | 50 | 100 | 250 | 500)