<div dir="ltr"><br><div class="gmail_quote">
En partenariat avec le séminaire “Codes Sources”<br>
<br>
Institut de Mathématiques de Toulouse Salle de conférence Bât 1R3, 1er étage<br>
17-18 septembre 2015<br>
<br>
/////<br>
<br>
Jeudi 17 septembre, 14h-15h30, Damiano Mazza (CNRS, LIPN), « Voyage à<br>
travers les virus MS-DOS »<br>
<br>
Entre la fin des années 1980 et la première moitié des années 1990,<br>
MS-DOS domine la scène des systèmes d'exploitation<br>
pour PC. Sa structure extrêmement simple, voire naïve, vis-à-vis de la<br>
gestion de la mémoire, des droits d'accès aux fichiers et des mesures de<br>
protection en générale (pratiquement inexistantes) fait de MS-DOS un<br>
terrain extraordinairement fertile pour le développement des virus<br>
informatiques dans le sens primordial (biologique) du terme : un morceau<br>
de code ne constituant pas en soi un programme mais s'appuyant à<br>
d'autres programmes pour s'exécuter et s'auto-répliquer, entraînant<br>
éventuellement des effets secondaires néfastes (la grande majorité de ce<br>
que l'on appelle « virus » informatiques aujourd'hui en effet ne le sont<br>
pas en ce sens).<br>
Dans cet exposé, nous analyserons quelques exemplaires de ces organismes<br>
informatiques désormais éteints, en montrant<br>
leurs principes de fonctionnement et, pour certains, leur sophistication.<br>
<br>
/////<br>
<br>
Jeudi 17 septembre, 15h45-17h15, Jacques Sauloy (IMT, Picard), « Le plus<br>
beau zoom du monde »<br>
<br>
C'est un projet de fin d'année en "architecture" et "hard" sous la<br>
direction de Jean Conter qui avait une prédilection pour l'assembleur<br>
68000 de Motorola. J'ai adoré l'assembleur 68000 et ce programme est,<br>
parmi ceux que j'ai écrits ces trente dernières années, l'un de mes deux<br>
ou trois préférés.<br>
<br>
/////<br>
<br>
Vendredi 18 septembre, 10h30-12h, Baptiste Mélès (CNRS, AHP), « Spinoza<br>
en Coq : démonstration complète des premières propositions de l'Éthique »<br>
<br>
L'Éthique de Spinoza est un traité philosophique écrit « à la manière<br>
des géomètres » : les théorèmes y sont démontrés à<br>
partir de définitions et d'axiomes initialement posés. Peut-on garantir<br>
la validité de démonstrations de Spinoza, et si oui, à quelles conditions ?<br>
La tâche a été entreprise « à la main » par l'historien de la<br>
philosophie Martial Gueroult au tournant des années 1970. Pour emporter<br>
l'adhésion, ce travail devrait être vérifié ligne à ligne par un lecteur<br>
parfaitement rigoureux, hélas inexistant. Or depuis quelques décennies,<br>
les « assistants à la démonstration » tels que Coq sont des logiciels<br>
qui permettent de produire des démonstrations mathématiques complètes et<br>
certifiées. Nous présenterons donc la démonstration en Coq des premières<br>
propositions de l'Éthique de Spinoza.<br>
Cette méthode présente un réel intérêt pour l'historien de la<br>
philosophie : elle permet non seulement de montrer certains<br>
détours « inutiles » dans les démonstrations de Spinoza, mais aussi de<br>
mettre au jour certains axiomes implicites de l'Éthique.<br>
Ces axiomes n'ayant métaphysiquement rien de trivial, on gagnerait à les<br>
expliciter. Par ce cas concret, on verra une fois de plus ce que les<br>
sciences formelles peuvent apporter à l'histoire « structurale » de la<br>
philosophie, qui, dans la lignée de Martial Gueroult et de Jules<br>
Vuillemin, travaille à reconstituer l'architecture interne des systèmes<br>
philosophiques.<br>
<br>
<br>
Contact : Sébastien Maronne (IMT, Picard), <a href="mailto:smaronne@math.univ-toulouse.fr">smaronne@math.univ-toulouse.fr</a><br>
<span class="HOEnZb"><font color="#888888"><br>
<br>
<br>
--<br>
"On ne peut pas vivre dans un monde où l'on croit que l'élégance exquise<br>
du plumage de la pintade est inutile. Ceci est tout à fait à part. J'ai<br>
eu envie de le dire, je l'ai dit." Jean Giono, Un roi sans divertissement.<br>
_______________________________________________<br>
Tetalab mailing list<br>
<a href="mailto:Tetalab@lists.tetalab.org">Tetalab@lists.tetalab.org</a><br>
<a href="http://lists.tetalab.org/cgi-bin/mailman/listinfo/tetalab" rel="noreferrer" target="_blank">http://lists.tetalab.org/cgi-bin/mailman/listinfo/tetalab</a><br>
</font></span></div><br></div>