New pages
(newest | oldest) View (newer 20 | older 20) (20 | 50 | 100 | 250 | 500)
- 10:36, 13 July 2017 Grenoble meeting 18 July 2017 (hist) [2,519 bytes] Iosif (Talk | contribs) (Created page with "Location: [https://goo.gl/maps/FxJavpVUULF2 IMAG] 2nd floor, room 285 10h00-10h30 '''Coffee''' 10h30-11h15 '''Raphael Cordelier (Liafa)''' ''Verification de la librairie Ad...")
- 11:52, 10 May 2016 Grenoble meeting 25 May 2016 (hist) [1,939 bytes] Iosif (Talk | contribs) (Created page with "Location: [http://www-verimag.imag.fr/How-to-reach-us.html?lang=fr Verimag] 2nd floor, room 248 10h00-10h45 '''Mihaela Sighireanu (Liafa)''' TBA 10h45-11h30 '''Boris Yakobo...")
- 11:02, 6 May 2016 Funded PhD (3 years) in Program Analysis (hist) [4,135 bytes] Sighireanu (Talk | contribs) (Created page with " == Static Analysis and Refinement of Dynamic Data Structures == Most programming languages offer Application Programming Interfaces (API) providing ready-to-use abstract d...")
- 13:54, 29 October 2015 Paris meeting 2 December 2015 (hist) [7,456 bytes] Iosif (Talk | contribs) (Created page with "Location: https://www.google.com/maps?q=Liafa+Bâtiment+Sophie+Germain,+Université+Paris+Diderot,+Place+Aurélie+Nemours,+Paris,+France Liafa")
- 19:27, 21 May 2015 Paris meeting 3 June 2015 (hist) [5,756 bytes] Iosif (Talk | contribs) (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...")
- 12:25, 27 March 2015 Related Projects (hist) [556 bytes] Sighireanu (Talk | contribs) (Created page with "* [http://www.spark-2014.org/proofinuse ProofInUse] laboratory. * [http://www.spark-2014.org/ SPARK 2014] technology for proves of Ada programs. * [http://people.cs.kuleuven.b...")
- 12:18, 27 March 2015 Kick-off meeting 20-21 November 2014 (hist) [2,084 bytes] Sighireanu (Talk | contribs) (Created page with "'''ANR Project Vecolib''' ''Kickoff Meeting, 20-21 November 2014'' Programme ''Thursday, 20th Nov 2014 in room 3058 (3rd floor)'' * 09:15 Welcome * 09:30 Mihaela Sighir...") originally created as "Meeting 2014 November 20 12"
- 11:46, 27 March 2015 Deliverables (hist) [3,891 bytes] Sighireanu (Talk | contribs) (Deliverables of the Vecolib project)
- 14:23, 1 March 2015 Ref bib.html (hist) [5,839 bytes] Iosif (Talk | contribs) (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:18, 1 March 2015 Publications (hist) [12,471 bytes] Iosif (Talk | contribs) (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...")
- 21:08, 18 February 2015 Grenoble meeting 27 February 2015 (hist) [4,413 bytes] Iosif (Talk | contribs) (Created page with "Programme ========= 9h30 Coffee+croissants '''Technical presentations''' 10h00 Marek Trtik (Verimag) Formula-based Communication Between Program Analyses A promising app...")
- 10:26, 15 January 2015 Funded Post-doc positions in Program Analysis and Verification (hist) [1,598 bytes] Sighireanu (Talk | contribs) (Created page with "A post-doc position on “program analysis and verification” is open at University of Paris Diderot (Paris 7) for joining the "Modeling and Verification" group at [LIAFA,htt...")
- 17:04, 6 January 2015 Find Ones Meditation Retreat (hist) [3,032 bytes] Demi70Oxircquf (Talk | contribs) (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...")
- 12:05, 30 December 2014 Bed Side Rails For Seniors Strategies For The Entrepreneurially Challenged (hist) [6,012 bytes] Regaloextralongbedrailinstructions (Talk | contribs) (Created page with "You’ll have a brief spot to stop, if you would like, right ahead of the first break. Bed Bath and [http://forum.ecigtv.com/entry.php?b=5356 Beyond] allows you to buy bamboo...")
- 12:04, 30 December 2014 Unanswered Questions on Home Alarm Systems Parts That You Should Know About (hist) [5,486 bytes] Homealarmsystemssanantonio (Talk | contribs) (Created page with "Often an active company using a good reputation is what you should have, and it likewise means that you will definately get after-sales support immediately. The Rear Surround...")
- 12:02, 30 December 2014 Top Three Funny Phytolacca Sore Throat Quotes (hist) [6,403 bytes] Phytolaccamastitis (Talk | contribs) (Created page with "Limestone can be subdivided into two major classifications of minerals: amphiboles and serpentines. When the catchpot is warm, it's also isolated on the vapour side and the oi...")
- 12:02, 30 December 2014 Eight Things You Didn t Know About How To Wire A Brake Light Bar (hist) [6,096 bytes] FishbeiTrumbley (Talk | contribs) (Created page with "<br><br>[http://sebastiancorreal.com/users/how-to-teach-kichler-led-under-cabinet-lighting-dimmable/ sebastiancorreal.com]Restore Option 3: Restores with all the latest i - Po...")
- 12:02, 30 December 2014 What Zombies Can Teach You About Name That Means Princess In Hebrew (hist) [6,098 bytes] Whatdoeshbumeanonfacebook (Talk | contribs) (Created page with "what does mode mean in mathematical terms A firewall can ease your security decisions: All incoming or outgoing information has to pass through a firewall understanding that m...")
- 12:01, 30 December 2014 GoodrichMeissner284 (hist) [722 bytes] GoodrichMeissner284 (Talk | contribs) (Created page with "The texture, concentration, and quality of this item is extraordinary. It's a great value and lasts me quite a long time. Click here [http://www.amazon.com/Dragontree-Peace-Sh...")
- 12:01, 30 December 2014 The Dirty Truth on Happens (hist) [3,368 bytes] Pocketpussytop (Talk | contribs) (Created page with "You can contract these infections through unprotected vaginal, oral or anal sexual intercourse having an infected partner. Hand-cranked versions became available, which presum...")