Nouveaux sujets M2

January 5, 2010 § Leave a Comment

Deux nouveaux sujets M2 pour un stage chez MLstate. Pour plus de détails, cf. le billet qui introduisait les sujets de stage précédents.

Sujet : Bases de données

Toute application web dépend d’une base de données pour le stockage des informations à long terme. Si la fiabilité du stockage lui-même, est un problème largement étudié, la fiabilité des entrées-sorties soulève de nombreuses questions qui restent à explorer. En particulier, que faut-il faire si des données manquent, si le format des données a changé, si les données ont été (re)réparties selon des critères différents des critères attendus.

Dans le cadre de ce travail, l’étudiant prendra part à la recherche et au développement de MLstate sur les questions d’interaction entre stockage et application web, notamment les notions de partage de données entre applications web et de mise-à-jour du format des données.

Ce travail sera dirigé par Louis Gesbert et impliquera de la programmation en OCaml et en OPA.

Sujet : Interaction entre bases de données relationnelles et bases de données structurées

Toute application web dépend d’une base de données pour le stockage des informations à long terme. Le paradigme de stockage employé par la majorité des applications à ce jour est une extension du modèle relationnel, au sens où les informations sont stockées dans des tables (ou “relations”), tables prévues pour être manipulées par un être humain et liées par des clés explicites. À l’inverse, un autre paradigme de bases de données, parfois appelé “structuré”, “algébrique” ou “objet”, stocke les informations sous la forme de structures de données, prévues pour être manipulées par un programme et liées par des références implicites.

Dans le cadre de ce travail, l’étudiant prendra part à la recherche et au développement de MLstate sur l’unification des modèles relationnels et structurés. En particulier, l’étudiant devra concevoir et implanter des techniques permettant d’exploiter des bases de données relationnelles et des données préexistantes dans le cadre d’un paradigme structuré, ainsi que de porter au modèle structuré les outils de consultation traditionnellement exploités dans le modèle relationnel.

Ce travail sera dirigé par Louis Gesbert et impliquera de la programmation en OCaml, en OPA et dans divers dialectes de SQL.

Stages M2 langages de programmation

November 30, 2009 § 1 Comment

Mise-à-jour:

Merci pour toutes les (très bonnes) candidatures aux stages que nous avons proposé. Tous les stages ont été pris.

À bientôt pour la prochaine version d’OPA.

« Read the rest of this entry »

Quelques nouvelles du front

April 25, 2009 § Leave a Comment

Note : Ce billet est écrit au 83ème jour de la grève des universités. Le gouvernement refuse toujours de négocier et préfère faire passer les réformes en catimini, sous la forme de décrets d’application qui ne correspondent pas aux textes prépubliés, et en les accompagnant de mensonges, d’intimidations administratives et de coups bien réels de matraques. La privatisation à l’italienne du système éducatif est en cours. Pour tous ceux qui ne sont pas d’accord, rendez-vous à Louvain, du 26 au 29 avril et dans les rues de Paris, le 28 avril. De nouvelles pétitions viennent d’être mises en ligne pour dénoncer les réformes et les mensonges du gouvernement.

Il y a quelques jours, François Fillon s’est exprimé sur France Inter, l’évènement est suffisamment rare pour être noté. C’est que Monsieur le Premier Ministre avait bien des choses à dire, en particulier sur la réforme des universités, du primaire et du secondaire publics. Malheureusement, là où l’on aurait pu espérer un brin de sérieux de la part d’un homme politique qui a la réputation de ne jamais parler pour ne rien dire, nous n’avons eu droit qu’à une nouvelle répétition des platitudes de Valérie Pécresse. Mais il faut tout de même saluer le courage de François Fillon, qui n’a pas hésité un seul instant avant de décrire la “concertation” et les mesures qui viennent de passer en décret d’application, “parfaitement conforme[s] aux aspirations des universitaires”. En guise de concertation, rappelons que le gouvernement a de nombreuses fois refusé de rencontrer les représentants syndicaux, les représentants des associations de chercheurs, d’enseignants-chercheurs, de précaires de l’université, etc. Rappelons aussi que seuls deux des 35 représentants syndicaux — ceux de deux syndicats parmi les plus petits — se sont exprimées en faveur des propositions du gouvernement. Rappelons de même que 76 des 83 universités françaises bloquent la réforme du primaire et du secondaire à force de désobéissance civile. Rappelons toujours les 100.000 manifestants, il y a quelques semaines, et la grève des universités, qui entre dans sa 12ème semaine.

Le gouvernement a décidément une définition particulière de “concertation” et d’”aspirations”, et ce d’autant plus que les décrets qui viennent de passer ne sont pas les mêmes que ceux qui avaient été donnés à lire aux universitaires.  Rien de surprenant de la part d’un gouvernement qui appelle “autonomie” une bureaucratie aussi rigide que complexe et qui donne la part belle aux pleins pouvoirs, “faire confiance aux universités” le déluge impressionnant de directives ministérielles qui ne cesse de tomber depuis des mois, “organisme indépendant” une agence dont tous les membres sont nommés par le ministre, etc.

Pour ceux qui ne sont pas encore au courant, quatre décrets d’application et trois arrêtés ont été publiés cette semaine  sans affichage préalable des textes. Parmi les décrets, citons-en deux qui sont au cœur du mouvement de contestation universitaire :

  • le nouveau statut des enseignants-chercheurs, dans un texte qui ne reprend aucune des trois versions préalables présentées par le gouvernement, et qui réintroduit notamment la possibilité d’infliger à tout enseignant-chercheur jusqu’à 1607 heures supplémentaires non-payées, que ce soit pour faire des économies ou pour lui faire payer un engagement politique ou des recherches qui fâchent ;
  • la réforme du statut des doctorants, qui semble notamment supprimer le monitorat et les allocations couplées (il faut que je vérifie plus en détails) et permettre de confier absolument n’importe quelle tâche supplémentaire aux doctorants, en plus de la Recherche.

Au passage, l’État Français vient d’accorder aux établissements appartenant au Vatican la possibilité de délivrer des diplômes, y compris, semble-t-il, les futurs master enseignement qui remplaceront le CAPES, l’Agrégation et le concours de Professeur des Écoles, le tout financé par les deniers publics.

Voici des mois, voire des années, que la communauté universitaire s’élève contre ces réformes mais aussi contre la méthode du gouvernement, qui vote les lois pendant les vacances et sans les annoncer, prépare leur application à coups de statistiques fausses et de contre-vérités, et tente de faire taire la contestation à coups de propagande, d’intimidations administratives et d’interventions policières. À présent, le gouvernement prétend que les universitaires sont pour la plupart d’accord avec ces mesures, depuis la suppression de l’indépendance de la recherche jusqu’à la liquidation du primaire et du secondaire public. Si vous êtes un universitaire et si vous souhaitez prendre la parole pour contester cette soi-disant unanimité, un groupe de cinq pétitions a été ouvert, chacune sur un des points contestés — à toutes signer, donc. En moins de 24h, la première de ces pétitions a récolté près de 700 signatures, à comparer aux 327 signatures récoltées en plus d’un an par la pétition opposée.

Et qui que vous soyez, rendez-vous est pris le 28 avril, dans les rues de France, pour manifester le mécontentement de la société française face à la liquidation de l’enseignement public, de la recherche et de l’hôpital.

Fin des cours

April 23, 2009 § 2 Comments

Note : Ce billet est écrit au 80ème jour de grève des universités. Malgré l’opposition de la quasi-totalité de la communauté universitaire, le gouvernement vient de faire passer les décrets d’application qui permettent de transformer arbitrairement et sans justifications un enseignant-chercheur en enseignant pur. Manifestement, le gouvernement n’arrive pas à comprendre le danger pour le monde de la Recherche en France. Simultanément, le gouvernement vient d’annoncer que, puisqu’il était impossible de procéder à la réforme de l’enseignement primaire et secondaire sans violer ses propres décrets, il allait les ignorer totalement. Une fois que le choc sera passé, attendez-vous à des réactions. Attendez-vous à une grève de la Recherche, des publications, des brevets, des contrats, des évaluations. Attendez-vous à des difficultés lors des examens et du baccalauréat.

Là où les chasseurs de tête avaient échoué, le gouvernement vient de réussir : j’ai donné hier mon dernier cours.

Puisque le gouvernement préfère manifestement économiser sur le dos de la Recherche, j’ai fini par accepter un poste dans le secteur privé, poste dans lequel je devrais être en mesure de poursuivre mes travaux sur les liens entre sémantique informatique, sûreté, sécurité, langages fonctionnels et parallélisme.

Si ce nouveau poste devrait m’apporter plus de liberté, ainsi que des étudiants et des ingénieurs pour participer à mes recherches, j’ai le cœur lourd d’avoir été contraint à quitter le système universitaire, auquel je suis profondément attaché, pour pouvoir faire mon travail.

Sauf accident, à partir du premier septembre 2009, vous pourrez me trouver chez MLState.

Universités : Ce printemps, la mode est à la grève

April 9, 2009 § 3 Comments

Note Ce billet est écrit au 67ème jour de grève des universités. Le gouvernement refuse toujours de négocier et s’avère de plus en plus violent : dernièrement, on a vu les forces de police charger violemment des étudiants et des enseignants-chercheurs parfaitement pacifiques pour les empêcher de sortir de leur campus et de rejoindre une manifestation. On a aussi vu le gouvernement proclamer le résultat d’un vote universitaire électronique près d’une semaine avant que le vote n’ait lieu. De nouvelles formes de contestation continuent à voir le jour. Attendez-vous à de la musique de rue, à du théâtre de rue, attendez-vous à des cours universitaires dans le métro, à des fausses contre-manifs et à des oraisons en grec. Attendez-vous aussi à des blocages de baccalauréat.

Il y a bientôt deux mois, l’université d’Orléans introduisait une collection peut-être un peu osée pour l’hiver, avec notamment des pancartes, des banderoles et quelques T-Shirts tels que :

Voici maintenant le grand début de la collection printemps :front1back

La ligne est prévue pour être portée tous les jours, dans la rue, dans les transports, dans les gares et peut-être même en cours. Des défilés de mode seront aussi organisés, à raison de un par semaine jusqu’à ce que le gouvernement accepte de négocier.

Vous aussi, vous souhaitez porter ces T-Shirts ? Alors voici tous les fichiers nécessaires pour pouvoir les imprimer. Vous pouvez les considérer étant dans le domaine public.

Les tubes d’avril

April 7, 2009 § Leave a Comment

Note Ce billet est écrit au 65ème jour de grève des universités. Le gouvernement refuse toujours toute négociation et préfère les calomnies et les menaces administratives et physiques. Ceci est un appel au gouvernement : pour le moment, le mouvement est tenu par les pacifistes. Plus vous ignorez leurs revendications, plus vous les insultez, plus vous les humiliez, plus ils vont se retirer et céder la place à ceux qui sont prêts à faire ressortir leur frustration d’une manière beaucoup moins contenue que la nôtre. Nous tiendrons jusqu’au bout de nos forces mais il faudrait que vous preniez conscience de ce qui attend les rues de France lorsque vous serez arrivés à tous nous arrêter, nous envoyer à l’hôpital ou tout simplement à l’étranger.

Dans le domaine de la contestation, il y a de nombreuses manières de jouer l’escalade. Il y a ceux qui envoient quelques compagnies de Gendarmes Mobiles, de CRS voire d’agents de la Brigade Anti-Criminalité pour ouvrir le feu sur quelques étudiants en train d’organiser un happening dans un supermarché toulousain avec l’accord du gérant. Et il y a ceux qui préfèrent jouer ça en musique.

LRU, Le Rap Universitaire

Au bout de 65 jours, vous avez fini par oublier pourquoi les universités étaient en grève ? Alors jetez un œil à cette video et vous vous en souviendrez. Vidéo due aux étudiants de Marne La Vallée.

Princess of Clèves — Fac off

Vous aussi, vous trouvez que la Princesse de Clèves n’a pas assez souffert et qu’il faut en plus que notre Bien-Aimé Président de La République la mette à la rue et à l’alcool ? Alors faites ça en musique. Vidéo due aux enseignants-chercheurs de la Sorbonne, si j’ai bien compris.

Princess of Clèves — Paroles, Paroles

Une fois à la rue, que faire de la Princesse de Clèves ? Il faut lui promettre des Rolex, bien entendu, et sur un air de Dalida.

La Sorbonne en musique

Juste un peu de musique ? D’accord, écoutez-ça ici. Profitez-en pour compter le nombre d’agents de police et de gendarmerie qui tournent.

Sans musique cette fois

Si vous avez l’âme d’un latiniste, j’espère que vous avez déjà écouté les Darcolinaires de la Sorbonne.

Pourquoi les université sont (toujours) en grève

April 4, 2009 § 6 Comments

Note Ce billet est écrit au 63ème jour de grève des universités. Le gouvernement refuse toujours de négocier sur les questions de fond, préfère toujours recourir aux tours de passe-passe et aux insultes pour faire passer ses réformes, quand ce n’est pas directement aux coups de matraque.  D’après mes comptes, nous en sommes à 5 contestataires hospitalisés et une quarantaine arrêtés de manière semble-t-il arbitraire par les forces de l’ordre. À l’heure actuelle, le gouvernement joue le pourrissement et compte sur le sens de la responsabilité des enseignants-chercheurs pour arrêter la grève et permettre aux examens, au concours et au baccalauréat de se dérouler correctement. Ne soyez pas certains que cela arrivera.

Il y a pas loin de deux mois, j’écrivais un billet pour expliquer pourquoi les universités étaient en grève. Depuis, de l’eau a coulé sous les ponts. Le gouvernement a même, à un moment, fait semblant de négocier et de revenir en arrière sur certains des points parmi les plus choquants de ses réformes. Et nous sommes toujours en grève, même si ce n’est pas toujours pour les mêmes raisons qu’en février.

Pourquoi ?

« Read the rest of this entry »

Le gouvernement décide de ne pas saborder l’Enseignement et la Recherche. Poisson d’avril.

April 1, 2009 § 2 Comments

Note Ce billet est écrit au 59ème jour de grève des universités. La grève va s’arrêter. Il ne reste d’ailleurs plus que quelques gauchistes obstinés. Le gouvernement n’est pas aveuglé par l’idéologie de l’affairisme. D’ailleurs, le gouvernement est prêt à négocier avec les enseignants-chercheurs et les personnels techniques sur les questions de fond. De toute manière, une majorité écrasante des enseignants, des chercheurs et des étudiants est pour la sélection par l’argent, la suppression de l’indépendance de la Recherche et surtout la bureaucratisation à tous les étages. Quant à la grève, il s’agit d’un phénomène franco-français. Enfin, il n’y a pas eu d’universitaires ni de collégiens arrêtés arbitrairement, brutalisés ou menacés, les chercheurs ne vivent pas quelque part entre la terreur d’être arrêtés, passés à tabac, ou juste interdits de Recherche et la colère à force d’être ignorés, insultés, menacés. Tout va bien. Poisson d’avril.

Dans un communiqué de presse daté de 9h ce matin, Valérie Pécresse a présenté ses excuses pour sa « méthode de communication et de négociation [...] peut-être un peu rapide » . La Ministre de l’Enseignement Supérieur et de la Recherche a ajouté que, maintenant que les primaires de l’UMP étaient passées et que son avenir politique était assuré, elle aurait « enfin le temps d’étudier les dossiers [de l'Enseignement Supérieur et de la Recherche]» et de « réfléchir à des manières alternatives de faire des économies dans les universités ». Elle a aussi assuré que le nombre de postes dans l’Enseignement Supérieur et la Recherche allait être augmenté au cours de l’année 2009, notamment au moyen du recrutement de « 1.200 à 1.500 » anciens employés de Continental et de la Fnac récemment licencés, qui allaient être chargés d’établir les nouvelles maquettes d’enseignement en IUFM, puis, « après une évaluation indépendante », d’enseigner les sciences de l’éducation aux futurs enseignants du primaire et du secondaire.  Quelques précisions supplémentaires ont été apportées sur le sujet du contrat doctoral unique :  celui-ci vient d’être fusionné avec le projet de Contrat de Solidarité Active proposé par Martin Hirsch à l’horizon 2010. Enfin, Valérie Pécresse a assuré que « comme le demandaient depuis des années par les enseignants, les chercheurs et les doctorants, dont [elle comprend] les craintes », des antennes de la Gendarmerie Mobile seraient ouvertes « dans les UFR et les Écoles Doctorales  de France », Mayotte y compris, pour « garantir l’autonomie des universités » .

La majorité des syndicats a salué l’avancée notable et la « cohérence visionnaire » du projet présidentiel. Une manifestation spontanée de joie a été dispersée dans le calme à Tours.

« Read the rest of this entry »

Hadopi : Lettre à mon Député

March 30, 2009 § 2 Comments

Note Ce billet est écrit au 58ème jour de grève des Universités. La ronde des obstinés tourne depuis plus de 160 heures sans interruptions. Le gouvernement refuse toujours de négocier. Un mail circule affirmant qu’une chercheuse de 57 ans a été passée à tabac et menacée jeudi dernier, derrière les locaux du CNRS, par des individus arborant des brassards “police”. L’événement, s’il est confirmé, est particulièrement inquiétant. Indépendamment de cela, je parle avec des gens dans la rue. Je leur parle d’universités et ils me répondent que la démocratie est en danger.

Le débat sur la loi Hadopi reprend aujourd’hui. J’ai décidé d’écrire à mon Député pour lui faire part de mon avis. je vous joins le contenu du mail.

« Read the rest of this entry »

Hadopi ou la politique du pire

March 28, 2009 § Leave a Comment

Note Ce billet est écrit au 56ème jour de grève des universités. Hier, un groupe d’une trentaine d’étudiants et d’enseignants-chercheurs a été placé en garde à vue à Marseille alors qu’ils se rendaient dans un parc public à l’occasion d’une visite du Premier Ministre. Hier aussi, le rectorat d’Orléans, qui était occupé par des étudiants et des enseignants-chercheurs, a été évacué par la force. Il y a deux semaines, un étudiant toulousain avait déjà perdu un œil suite à un tir direct de  flash-ball par les forces de l’ordre. La mobilisation continue. Le gouvernement refuse toujours de négocier.

Le projet de loi Albanel Création et Internet (ou Hadopi) part d’un principe simple : nombreux sont les utilisateurs d’Internet qui, par le biais de réseaux de partage, accèdent gratuitement à des pistes musicales et à des films ou/et mettent eux-mêmes à disposition des pistes musicales ou des films, sans l’accord des éditeurs et distributeurs. C’est ce que l’industrie musicale et cinématographique appelle, avec peut-être un peu de légèreté, du “piratage”, du “vol”, voire un “crime”. Pour mémoire, jusqu’à il y a quelques années, en informatique, le terme de “piratage” désignait l’action d’entrer par effraction virtuelle dans un système mal protégé, pour s’emparer de données confidentielles, saboter le système ou simplement s’amuser. Le terme de “vol”, lui, désignait l’action de priver un individu ou une entreprise d’une de ses possessions. Quant au terme de “crime”, on en usait essentiellement lorsqu’il y avait mort d’homme.

Cela dit, et malgré les abus de langage manifestes, il est vrai que les réseaux de partage permettent à leurs utilisateurs de disposer de biens virtuels contre la volonté de leurs distributeurs et sans contrepartie financière pour les distributeurs, les interprètes ou les auteurs. Face à ce problème, deux pistes ont été explorées. D’une part, la “licence globale”, qui consiste à voir Internet comme une immense bibliothèque, dans laquelle les créateurs et distributeurs sont rémunérés par une autorité centralisée, grâce à une taxe. D’autre part, les réponses dissuasives ou répressives, dont font partie la Loi pour la Confiance dans l’Économie Numérique, votée en juin 2004 et dont l’application a été délibérément laissée floue et à l’appréciation des juges, la loi DADVSI (Droits d’Auteur, Droits Voisin dans la Société de l’Information), votée en 2005 et jamais appliquée à ce jour, et maintenant le projet de loi Création et Internet, en cours de débat à l’Assemblée Nationale.

Ne le cachons pas, je suis fortement partisan de la licence globale, qui me semble une approche à la fois pratique, raisonnablement simple et à peu près morale, trois caractéristiques dont sont dépourvues les lois dissuasives/répressives.

Pour vous en convaincre, je vous propose d’explorer, à travers une suite de billets, les difficultés techniques, légales et morales de la loi Hadopi.

« Read the rest of this entry »

Where Am I?

You are currently browsing the En français / In French category at Il y a du thé renversé au bord de la table.

Follow

Get every new post delivered to your Inbox.