<html>
  <head>

    <meta http-equiv="content-type" content="text/html; charset=utf-8">
  </head>
  <body text="#000000" bgcolor="#FFFFFF">
    Bonjour,<br>
    <br>
    Ci-joint une conf au labo de math de Toulouse (site UPS). C'est
    ouvert à tous.<br>
    <div class="moz-forward-container"><br>
      <br>
      -------- Forwarded Message --------
      <table class="moz-email-headers-table" border="0" cellpadding="0"
        cellspacing="0">
        <tbody>
          <tr>
            <th valign="BASELINE" nowrap="nowrap" align="RIGHT">Subject:
            </th>
            <td>Journée d'Etude "Maths-Info-Philo" en partenariat avec
              le séminaire Codes sources, Toulouse, 17-18 septembre</td>
          </tr>
          <tr>
            <th valign="BASELINE" nowrap="nowrap" align="RIGHT">Date: </th>
            <td>Mon, 14 Sep 2015 11:12:22 +0200</td>
          </tr>
          <tr>
            <th valign="BASELINE" nowrap="nowrap" align="RIGHT">From: </th>
            <td>Sébastien Maronne
              <a class="moz-txt-link-rfc2396E" href="mailto:Sebastien.Maronne@math.univ-toulouse.fr"><Sebastien.Maronne@math.univ-toulouse.fr></a></td>
          </tr>
          <tr>
            <th valign="BASELINE" nowrap="nowrap" align="RIGHT">Reply-To:
            </th>
            <td>Sébastien Maronne
              <a class="moz-txt-link-rfc2396E" href="mailto:Sebastien.Maronne@math.univ-toulouse.fr"><Sebastien.Maronne@math.univ-toulouse.fr></a></td>
          </tr>
          <tr>
            <th valign="BASELINE" nowrap="nowrap" align="RIGHT">To: </th>
            <td><a class="moz-txt-link-abbreviated" href="mailto:tous@math.univ-toulouse.fr">tous@math.univ-toulouse.fr</a>,
              <a class="moz-txt-link-abbreviated" href="mailto:sysadmin@math.univ-toulouse.fr">sysadmin@math.univ-toulouse.fr</a>,
              <a class="moz-txt-link-abbreviated" href="mailto:philomaths@math.ups-tlse.fr">philomaths@math.ups-tlse.fr</a>, <a class="moz-txt-link-abbreviated" href="mailto:theuth@listes.univ-rennes1.fr">theuth@listes.univ-rennes1.fr</a></td>
          </tr>
        </tbody>
      </table>
      <br>
      <br>
      Cher(e)s collègues,<br class="">
      <br class="">
      une <b class="">journée d’étude « Mathématiques - Informatique -
        Philosophie » en partenariat avec le séminaire « Codes Sources »</b>
      aura lieu à l<b class="">’Institut de Mathématiques de Toulouse</b>
      le <b class="">jeudi après-midi 17 septembre</b> et le <b
        class="">vendredi matin 18 septembre</b>. <br class="">
      <br class="">
      Vous trouverez ci-dessous le programme de la journée et en pièce
      jointe l’affiche. <br class="">
      <br class="">
      Avec mes excuses pour les doublons, bien cordialement, Sébastien
      Maronne. <br class="">
      <br class="">
      <blockquote type="cite" class=""><b class="">Journée
          d'Etude Mathématiques, Informatique et Philosophie<br class="">
          En partenariat avec le séminaire “Codes Sources”<br class="">
           <br class="">
          Institut de Mathématiques de Toulouse<br class="">
          Salle de conférence Bât 1R3, 1er étage<br class="">
           <br class="">
          17-18 septembre 2015</b><br class="">
         <br class="">
         <br class="">
        <b class="">Jeudi 17 septembre, 14h-15h30, Damiano Mazza (CNRS,
          LIPN), « Voyage à travers les virus MS-DOS »</b><br class="">
        Entre la fin des années 1980 et la première moitié des années
        1990, MS-DOS domine la scène des systèmes d'exploitation pour
        PC. Sa structure extrêmement simple, voire naïve, vis-à-vis de
        la gestion de la mémoire, des droits d'accès aux fichiers et
        des mesures de protection en générale (pratiquement
        inexistantes) fait de MS-DOS un terrain extraordinairement
        fertile pour le développement des virus informatiques dans le
        sens primordial (biologique) du terme : un morceau de code ne
        constituant pas en soi un programme mais s'appuyant à
        d'autres programmes pour s'exécuter et s'auto-répliquer,
        entraînant éventuellement des effets secondaires néfastes
        (la grande majorité de ce que l'on appelle « virus »
        informatiques aujourd'hui en effet ne le sont pas en ce sens).<br
          class="">
        Dans cet exposé, nous analyserons quelques exemplaires de ces
        organismes informatiques désormais éteints, en montrant leurs
        principes de fonctionnement et, pour certains, leur
        sophistication.<br class="">
        <br class="">
        <b class="">Jeudi 17 septembre, 15h45-17h15, Jacques
          Sauloy (IMT, Picard), « Le plus beau zoom du monde »</b><br
          class="">
        C'est un projet de fin d'année en "architecture" et "hard" sous
        la direction de Jean Conter qui avait une prédilection pour
        l'assembleur 68000 de Motorola. J'ai adoré l'assembleur 68000 et
        ce programme est, parmi ceux que j'ai écrits ces trente
        dernières années, l'un de mes deux ou trois préférés.<br
          class="">
         <br class="">
        <b class="">Vendredi 18 septembre, 10h30-12h, Baptiste Mélès
          (CNRS, AHP), « Spinoza en Coq : démonstration complète des
          premières propositions de l'Éthique »<br class="">
        </b>L'Éthique de Spinoza est un traité philosophique écrit « à
        la manière des géomètres » : les théorèmes y sont démontrés à
        partir de définitions et d'axiomes initialement posés. Peut-on
        garantir la validité de démonstrations de Spinoza, et si oui, à
        quelles conditions ?<br class="">
        La tâche a été entreprise « à la main » par l'historien de la
        philosophie Martial Gueroult au tournant des années 1970. Pour
        emporter l'adhésion, ce travail devrait être vérifié ligne à
        ligne par un lecteur parfaitement rigoureux, hélas inexistant.
        Or depuis quelques décennies, les « assistants à
        la démonstration » tels que Coq sont des logiciels qui
        permettent de produire des démonstrations mathématiques
        complètes et certifiées. Nous présenterons donc la démonstration
        en Coq des premières propositions de l'Éthique de Spinoza.<br
          class="">
        Cette méthode présente un réel intérêt pour l'historien de la
        philosophie : elle permet non seulement de montrer certains
        détours « inutiles » dans les démonstrations de Spinoza, mais
        aussi de mettre au jour certains axiomes implicites de
        l'Éthique. Ces axiomes n'ayant métaphysiquement rien de trivial,
        on gagnerait à les expliciter. Par ce cas concret, on verra une
        fois de plus ce que les sciences formelles peuvent apporter
        à l'histoire « structurale » de la philosophie, qui, dans la
        lignée de Martial Gueroult et de Jules Vuillemin, travaille à
        reconstituer l'architecture interne des systèmes philosophiques.<br
          class="">
         <br class="">
        <b class="">Contact : Sébastien Maronne (IMT, Picard), <a
            moz-do-not-send="true"
            href="mailto:smaronne@math.univ-toulouse.fr" class=""><a class="moz-txt-link-abbreviated" href="mailto:smaronne@math.univ-toulouse.fr">smaronne@math.univ-toulouse.fr</a></a></b></blockquote>
      <br class="">
      <br>
    </div>
    <br>
  </body>
</html>