<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>
désolé pour la double réception, je me suis trompé de liste la
1ere fois ...<br>
<br>
Christophe<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
class="moz-txt-link-abbreviated"
href="mailto:smaronne@math.univ-toulouse.fr"><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>