CR rapide du 08/01/09

(rédigé par PA)

Présents : PA, CA, GA, MM, PS.

Points discutés :

• Comités de sélection CA présente les directives par établissement…
• Miles : organisation de la journée en deux parties
  • lieux
  • contenu
  • contact : membres axe IL ⇒ CA cet aprem
  • journées d'expertise en juin/juillet à préparer
• Cosmal : aider Arnaud rapidement svp
• ANR : le point par CA
• restructurations équipe : point rapide
• repas équipe : proposition jeudi 15 à 12h (mail PA pour CA)
• CVS + wiki pour PS : règlé
• installation Costolob pour PS

• discussions sur les observables et la composition Kmelia ⇒ SC
• valide celles du cr du 23/12/08
• amendement GA
  • séparer observables dans les assertions

    	Kmelia	KmeliaData	Syntaxe	commentaire
    Variables	VT	VT = VToU VTno	Var	VTo
    			VarNV ou Private	VTno
    Pre	pre	pre = preo v preno	Pre	preo
    			PreNV	preno
    Post	post	post = posto v postno	Post	posto
    			PostNV	postno
    Invt	Invt	Invt = Invto v Invtno	INVARIANT	preo
    			INVARIANTNV	Invtno

    la compatibilité ascendante de Kmelia est a priori conservée