February 2015 - Gdtlogprog

[TT in Coq] TP
by Micaela Mayero 13 Feb '15

13 Feb '15

Bonsoir, Comme promis, pour faire suite au GT de ce matin et pour ceux qui veulent, je viens de mettre sur ma page les énoncés de TP correspondant aux cours: https://lipn.univ-paris13.fr/~mayero/?content=master à bientôt, /MM. ---------------------------------------- Micaela.Mayero(a)lipn.univ-paris13.fr http://www-lipn.univ-paris13.fr/~mayero/

1 0

[TT in Coq demain] RV 9h demain : Touchez pas à nos postes !
by Micaela Mayero 12 Feb '15

12 Feb '15

Bonjour, même si ce n'est pas la révolution du siècle, cette action, couplée au communiqué de presse en préparation, a le mérite de sortir de P13 (les membres extérieurs du CA etc.). Je vais donc y aller, ce qui fait que je serai peut-être en retard pour notre groupe de travail de 10h. Mais comme j'espère que certains parmi vous y serez, je ne serai pas la seule... (à être en retard) Pour en revenir à notre session de demain, cela serait bien que vous veniez avec un portable. Si vous n'avez pas Coq installé dessus, ce n'est pas grave; si vous avez une connexion, nous pourrons utiliser http://proofweb.cs.ru.nl/ . à demain, /MM. ---------------------------------------- Micaela.Mayero(a)lipn.univ-paris13.fr http://www-lipn.univ-paris13.fr/~mayero/ ---------- Forwarded message ---------- Date: Thu, 12 Feb 2015 17:12:11 +0100 From: Françoise Gayral <fg(a)lipn.univ-paris13.fr> To: syndicat <SyndicatsP13_L(a)univenlutte.lautre.net>, ens <ens(a)iutv.univ-paris13.fr>, pers <pers(a)iutv.univ-paris13.fr>, lipn <lipn(a)lipn.univ-paris13.fr> Subject: RV 9h demain : Touchez pas à nos postes ! Pour dire "ne touchez pas à nos postes", tous-toutes allons nous faire entendre au CA demain RV vendredi 13/2 9h devant la AP201. >From Geetha Ganapathy-Doré Une assemblée générale du personnel enseignant, administratif et des étudiants (environ une centaine de personnes) s'est tenue sur le campus de Villetaneuse aujourd'hui 12 février (amphi 2 de l'IUTV). Les collègues syndiqués de l'IUT de Villetaneuse dont deux membres du CA de l'Université Paris 13 sont montés à la tribune pour expliquer les raisons de cet émoi. Chaque année le ministère affiche un certain nombre de postes attribués à l'université au titre de création. Il s'agit essentiellement d'une opération de communication sur les 1000 d'enseignants promis dans le cadre électoral. Mais ils ne sont jamais véritablement crées, car le montant alloué sert à absorber le glissement vieillesse technicité dans les universités en déficit. Le président d'université avait cependant annoncé en décembre la sortie de quatre années de tutelle rectorales de l'université et dit que quelques 36 postes vacants seront renouvelés et d'autres crées. Adieu vache, cochon, couvée en février, suite à la restriction budgétaire annoncé par le gouvernement. Les collègues qui sont allés jusqu'à l'étape de composition des comités de sélection n'en reviennent pas. Sur une liste classée A et B présentée au conseil académique restreint, il y avait question de 24 postes. Les collègues à la faculté de droit avaient souligné la disparition d'au moins un poste déjà vacant cette année sans parler d'un autre qui sera sûrement libéré l'année prochaine de cette liste. Néanmoins, à la réunion du conseil des directeurs de composantes, une liste de 17 postes était présentée, différente de celle discutée au CAC. L'assemblée générale avait pour but de décider l'action à entreprendre avant le CA de demain. Des différentes interventions qui se sont succédé, il apparaît clairement que la non-publication des postes vacants s'avère insupportable. Les collègues administratifs sont en première ligne. Sans moyens adéquats, ils doivent répondre aux sollicitations des étudiants qui sont dans une situation d'incompréhension. En l'absence du personnel en nombre suffisant, ils sont surchargés de travail. La rotation des précaires nuit à la qualité d'accueil des étudiants et de soutien aux enseignants. Les IUTS et les composantes travaillent déjà à flux tendu. Le taux de vacataires dans certaines composantes est à 40%. La souffrance au travail (collègues en congé maladie pour cause de dépression) est le signe premier de cette dégradation. Les élus des différents conseils peinent à disposer des renseignements précis et fiables pour prendre les décisions informées. Le service public est démantelé (moins de postes de fonctionnaires) au profit des contrats sur appels d'offres (type Labes, Idex). Un sentiment de ras le bal a émergé dans la salle au-delà de la question de savoir qui est l'adversaire. Pour dire ne touchez pas à nos postes, les personnes présentes ont voté à l'unanimité l'invasion du CA demain. Les étudiants en ont assez du discours vide sur la priorité accordée à la jeunesse et la réussite sans que de véritables mesures suivent. Ils se tiennent prêts à mobiliser plus largement.

1 0

Théorie des types en Coq
by Damiano Mazza 09 Feb '15

09 Feb '15

Bonjour, Nous commencerons ce vendredi un cycle de groupes de travail sur la théorie des types, expliquée à partir d'exemple en Coq. Le but est d'apprendre un peu de Coq et de déboucher sur une séance ou deux sur HoTT. Nous avons prévu pour le moment 3 séances, animées par Micaela, dont la première aura lieu justement ce vendredi (en B107) : 13 février, 10h-11h15 20 mars, 10h-11h15 27 mars, 10h30-12h Attention : les premières 2 séances seront suivies par un séminaire (Nicolas de Rugy ce vendredi, Charles Grellois le 20 mars). C'est pour cela que l'on commencera un peu plus de bonne heure que d'habitude (10h) et que le séminaire commence un peu plus tard (11h30). On a prévu une pause d'un quart d'heure entre GdT et séminaire, j'espère que ça va aller. Enfin, on ne fera ça que deux fois, c'est promis. Amicalement, Damiano PS : on inaugure aussi en l'occurrence la mailing list du GdT Log&Prog. Voici l'adresse pour configurer vos préférences (muni simplement de votre adresse mail, vous pouvez rajouter un mot de passe si vous le souhaitez) : https://www-lipn.univ-paris13.fr/mailman/listinfo/gdtlogprog

1 0