Changes between Version 6 and Version 7 of WikiStart

Timestamp:

Dec 4, 2009, 1:53:55 PM (9 years ago)

Author:

frederic.loulergue@…

Comment:

--

WikiStart

@@ -8 +8 @@
 == Team ==
 
-* Zhenjiang Hu, [http://www.nii.ac.jp National Institute of Informatics] and [http://www.ipl.t.u-tokyo.ac.jp IPL, The University of Tokyo]
-* Hideki Hashimoto, [http://www.ipl.t.u-tokyo.ac.jp IPL, The University of Tokyo]
-* Louis Gesbert, [http://lacl.univ-paris12.fr LACL], [http://www.univ-paris12.fr Université Paris Est Créteil] and [http://www.mlstate.com MLstate]
-* Frédéric Loulergue, [http://www.univ-orleans.fr/lifo LIFO], [http://www.univ-orleans.fr Université d'Orléans]
-* Kimironi Matsuzaki, [http://www.kochi-tech.ac.jp/gs_e/index.html Kochi University of Technology]
-* Masato Takeichi, [http://www.ipl.t.u-tokyo.ac.jp/members.html IPL, The University of Tokyo]
-* Julien Tesson, [http://www.univ-orleans.fr/lifo LIFO], [http://www.univ-orleans.fr Université d'Orléans]
+ * Zhenjiang Hu, [http://www.nii.ac.jp National Institute of Informatics] and [http://www.ipl.t.u-tokyo.ac.jp IPL, The University of Tokyo]
+ * Hideki Hashimoto, [http://www.ipl.t.u-tokyo.ac.jp IPL, The University of Tokyo]
+ * Louis Gesbert, [http://lacl.univ-paris12.fr LACL], [http://www.univ-paris12.fr Université Paris Est Créteil] and [http://www.mlstate.com MLstate]
+ * Frédéric Loulergue, [http://www.univ-orleans.fr/lifo LIFO], [http://www.univ-orleans.fr Université d'Orléans]
+ * Kimironi Matsuzaki, [http://www.kochi-tech.ac.jp/gs_e/index.html Kochi University of Technology]
+ * Masato Takeichi, [http://www.ipl.t.u-tokyo.ac.jp/members.html IPL, The University of Tokyo]
+ * Julien Tesson, [http://www.univ-orleans.fr/lifo LIFO], [http://www.univ-orleans.fr Université d'Orléans]
 
 
 == Software ==
 
-* A Coq module for Program Calculation in Coq: public release coming soon
+ * A Coq module for Program Calculation in Coq: public release coming soon
 
 
 == Publications ==
 
-* Louis Gesbert, Développement systématique et sûreté d'exécution en programmation parallèle structurée. PhD thesis, University Paris Est, LACL, 2009
+ * Louis Gesbert, Développement systématique et sûreté d'exécution en programmation parallèle structurée. PhD thesis, University Paris Est, LACL, 2009