New pages
(newest | oldest) View (newer 20 | older 20) (20 | 50 | 100 | 250 | 500)
- 03:14, 23 December 2014 SeveranceKauffman59 (hist) [3,305 bytes] SeveranceKauffman59 (Talk | contribs) (Created page with "Since the Early Roman Republic, the army was learning to be a important part of the lives of the people. Battles and wars were fought almost every year, and it absolutely was...")
- 03:06, 23 December 2014 SammyField276 (hist) [2,171 bytes] SammyField276 (Talk | contribs) (Created page with "The Romans and ancient Egyptians used rosemary for a wide number of purposes. They used it as incense to clear the mind and to revitalize the senses for religious ceremonies....")
- 02:51, 23 December 2014 HardenHart412 (hist) [593 bytes] HardenHart412 (Talk | contribs) (Created page with "Visiting [http://scriptogr.am/smallbusinessshovel smallbusinessshovel on scriptogr.am] certainly provides suggestions you might give to your pastor. For instance, a WordPress...")
- 02:50, 23 December 2014 SchuetzHylton267 (hist) [2,225 bytes] SchuetzHylton267 (Talk | contribs) (Created page with "I 've heard a lot about Vitamin C serums like Luminous Serum by Anaiti ®, however there's so much talk about many different anti-aging skin care products for women, I wasn't...")
- 02:49, 23 December 2014 DoroteyaDavy716 (hist) [1,725 bytes] DoroteyaDavy716 (Talk | contribs) (Created page with "And that means you have a website. You done it for a long time and it seems real good. Now you are ready to work online! Just one thing is missing... Traffic! An Internet Site...")
- 02:48, 23 December 2014 SolorioLubin393 (hist) [2,931 bytes] SolorioLubin393 (Talk | contribs) (Created page with "The foreign exchange marketplace is also identified as FX or it is also found to be referred to as the FOREX. All 3 of these have the very same which means, which is the trade...")
- 02:47, 23 December 2014 HeiseDelao293 (hist) [58 bytes] HeiseDelao293 (Talk | contribs) (Created page with "[http://www.feedbooks.com/user/1332755/profile visit link]")
- 02:44, 23 December 2014 GoffHulbert409 (hist) [375 bytes] GoffHulbert409 (Talk | contribs) (Created page with "A cast iron sink was frequently co... Have you ever heard that expression, They threw everything out but the kitchen sink! ?? Have you any idea why they didnt throw out the ki...")
- 01:09, 23 December 2014 MellicentMonte234 (hist) [52 bytes] MellicentMonte234 (Talk | contribs) (Created page with "[http://www.dmulheres.com/ blog sobre moda feminina]")
- 19:47, 19 December 2014 You Want Best Dating Sites (hist) [6,557 bytes] EvelynWestgarth (Talk | contribs) (Created page with "Internet dating is never a walk from the area for the majority lovers. You are likely to declined a lesser amount of self-confident and more uncomfortable over the initial day...")
- 15:05, 12 December 2014 Funded 3-year PhD position in Program Verification (hist) [1,791 bytes] 129.88.7.45 (Talk) (Created page with "'''Job Description''' The goal of this PhD is to develop new methods and tools for program verification using Separation Logic. This is a logical framework suitable for reaso...")
- 14:50, 12 December 2014 Jobs (hist) [80 bytes] 129.88.7.45 (Talk) (Created page with "* Funded 3-year PhD position in Program Verification at VERIMAG (Grenoble, France)")
- 10:02, 12 December 2014 Automatic Program Verification using Separation Logic (hist) [4,041 bytes] Iosif (Talk | contribs) (Created page with " == Automatic Program Verification via Separation Logic == A series of lectures by Prof. Chin Wei Ngan (National University of Singapore) VERIM...")
- 09:59, 12 December 2014 Here (hist) [3,813 bytes] Iosif (Talk | contribs) (Created page with " Automatic Program Verification via Separation Logic =================================================== A series of lectures by Prof. Chin Wei Ngan (Nat...")
- 09:56, 12 December 2014 News (hist) [3,965 bytes] Iosif (Talk | contribs) (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...")
- 17:51, 10 December 2014 Software (hist) [965 bytes] Iosif (Talk | contribs) (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 Partners (hist) [604 bytes] Iosif (Talk | contribs) (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 Meetings (hist) [319 bytes] Iosif (Talk | contribs) (Created page with "* Kick-off meeting (20 November 2014, Liafa) [https://docs.google.com/document/d/12li2f5zCRL0R21vE91zrxvoiXvA52UXmGw2rnPL41BE/edit programme]")
- 17:26, 10 December 2014 Funding (hist) [168 bytes] Iosif (Talk | contribs) (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:03, 10 December 2014 Main Page (hist) [1,275 bytes] MediaWiki default (Talk)