Pierre Boudes

Most recent articles

• A characterization of the Taylor expansion of lambda-terms

  23 septembre 2013, par Pierre

  CSL 2013.

• Cours 1 : architecture de von Neumann, amil

  10 septembre 2013, par Pierre

  Pour ce premier cours nous reprenons le début des supports du cours de l’année passée disponibles ici : Cours 1 : introduction.
  Le simulateur amil est disponible ici AMIL web.

• Programmation pour la robotique (ing. 2)

  1er septembre 2013, par Pierre

  Cours pour la formation d’ingénieur en informatique de seconde année.
  – Nouveau cours 24h en présentiel
  – Cours et TP partagés avec Yann Chevaleyre
  – Première session du cours : septembre 2013 - octobre 2013
  – Seconde session du cours : septembre 2014 - octobre 2014
  – Troisième session du cours : septembre 2015 - octobre 2015

• AperoTIC sur les réseaux sociaux

  25 juillet 2013, par Pierre

  [Màj 2020] La vidéo de la soirée est visible sur YouTube malheusement coupée au moment où on commençait à parler surveillance de masse. Le 22 mai 2013, c’était, il y a 7 ans, 15 jours avant les premières révélations d’Edward Snowden, un mois pile avant son inculpation. Je faisais déjà tourner un pod Diaspora* (dont l’extinction est programmée pour bientôt).
  Grâce à mon collègue Clément Aubert, j’ai participé à une soirée apéroTIC organisée par l’association de quartier la goutte d’ordinateur autour des réseaux (...)

• ADULLACT

  25 juillet 2013, par Pierre

  Pour être un peu moins seul à défendre l’usage et le développement de logiciels libres dans mon travail (et autour), j’ai adhéré à l’ADULLACT en tant que membre individuel.

• Hacker l’éducation (Open bidouille camp 2 // Fac lab de Gennevilliers)

  24 juillet 2013, par Pierre

  Le 16 février 2013, j’ai participé à une rencontre intitulée hacker l’éducation (pas vraiment une table ronde quoi qu’en dise l’annonce).
  Cette rencontre avait lieu au Fac Lab de l’université de Cergy-Pontoise, à Gennevilliers, dans le cadre du second Open Bidouille Camp en région parisienne.
  J’y ai évoqué le conditionnement scolaire à briser pour apprendre à programmer (et Mindstorms le livre de Seymour Papert qui me fit comprendre cette nécessité), la possibilité de changer nos interfaces utilisateur sur (...)

• Expo : et l’Homme… créa le robot

  23 juillet 2013, par Pierre

  Le mardi 5 février, avec un collègue, nous avons accompagné un groupe d’étudiants de deuxième et troisième année de licence informatique à une exposition temporaire du musée des arts métiers.
  Outre le fait que nous avions commis l’erreur d’accepter un rendez-vous une heure avant l’ouverture devant le musée, dans le froid, l’exposition était décevante.
  L’accent était un peu trop mis sur des robots anthropomorphes et le hall d’exposition, en cul de sac, se terminait sur la thématique des robots au cinéma. (...)

• An Abstract Approach to Stratification in Linear Logic

  17 février 2013, par Pierre

  We study the notion of stratification, as used in subsystems of linear logic with low complexity bounds on the cut-elimination procedure (the so-called light logics), from an abstract point of view, introducing a logical system in which stratification is handled by a separate modality. This modality, which is a generalization of the paragraph modality of Girard’s light linear logic, arises from a general categorical construction applicable to all models of linear logic. We thus learn that (...)

• des QCM en ligne grâce à org-mode (et jQuery, et MathJax)

  17 décembre 2012, par Pierre

  

• Révisions du b.a.-ba du langage C en ligne (qcm)

  3 décembre 2012, par Pierre

  Un questionnaire à choix multiple en ligne, pour réviser un peu le langage C [en construction].