Changes between Version 13 and Version 14 of WikiStart

Timestamp:

Apr 5, 2012, 9:22:04 PM (6 years ago)

Author:

frederic.loulergue@…

Comment:

--

WikiStart

@@ -5 +5 @@
 [[Image(http://www.loiret.com/images/bandeau_h1_cg45.gif, nolink, right, width=240)]]
 
-= INEx - __I__nformatique en __N__uage: __Ex__périmentations et vérification / Cloud Computing: Experiments and Verification =
+= INEx - __I__nformatique en __N__uage: __Ex__périmentations et vérification =
+= INEx - Cloud Computing: Experiments and Verification =
 
 == Equipe / Team Members ==
@@ -18 +19 @@
  * Abdeljalil Abajjane, [http://www.univ-orleans.fr/lifo LIFO], [http://www.univ-orleans.fr Université d'Orléans] 
 
-== Events ==
+== Events / Evénements ==
 
  * September 4-7, 2012, the 1st workshop on Formal Methods and Automated Software Engineering for Cloud Computing ([http://traclifo.univ-orleans.fr/PaPDAS/wiki/ForMASECC2012 ForMASECC2012]) affiliated to [http://anss.org.au/ica3pp12 ICA3PP-12]
@@ -26 +27 @@
  * Frédéric Loulergue, Frédéric Gava, Nikolai Kosmatov, and Matthieu Lemerre. Towards Verified Cloud Computing Environments. In International Conference on High Performance Computing and Simulation (HPCS). IEEE, 2012. (à paraître / to appear) 
 
-== Funding ==
+== Funding / Financement ==
 
+The INEx project is a joint project with IBM. It is supported by the [http://www.loiret.com local government of Loiret]. [[BR]]
 Le projet INEx est un projet conjoint avec la société  IBM et est subventionné par le [http://www.loiret.com Conseil Général du Loiret].
-
-The INEx project is a joint project with IBM. It is supported by the [http://www.loiret.com local government of Loiret].