Hubert Godfroy

Équipe CARTE

• Contact
• Enseignements
• Communications

• A taste of soft-linear logic for self-modification, GDR-LL, Bologne

  jeu. 04 février 2016

  Présentation

• A taste of soft-linear logic for self-modification, Geocal, Nancy

  mer. 14 octobre 2015

  Présentation

• A taste of soft-linear logic for self-modification, Elica, Lyon

  mer. 30 septembre 2015

  Présentation

• Abstract Self Modifying Machines, Lola, Vienne

  lun. 14 juillet 2014

  Présentation