UMR 8590 - IHPST - Institut d'Histoire et de Philosophie des Sciences et des Techniques
13, rue du Four - 75006 PARIS *Séminaire général* Chères et chers collègues, La prochaine séance du *séminaire général de l'IHPST* se tiendra le *lundi 30 mai 2022 de 12h30 à 14h00*, en *salle de conférences *de l'IHPST (*en mode hybride*). Nous aurons le plaisir d’écouter *Cyrille Imbert*, directeur de recherche CNRS aux Archives Poincaré. La communication sera en anglais ou en français en fonction du public. Voici le titre et le résumé de sa communication : *"Formal verification, scientific code, and the epistemological heterogeneity of computational science"* *Various errors can affect scientific code and detecting them is a central concern within computational science. Could formal verification methods, which are now available tools, be widely adopted to guarantee the general reliability of scientific code? After discussing their benefits and drawbacks, we claim that, absent significant changes as regards features like their user-friendliness and versatility, these methods are unlikely to be adopted throughout computational science, beyond certain specific contexts for which they are well-suited. This issue exemplifies the epistemological heterogeneity of computational science: profoundly different practices can be appropriate to meet the reliability challenge that rises for scientific code.* *La séance se tiendra en mode hybride*. *Veuillez s'il vous plaît utiliser le lien Zoom suivant pour vous connecter :* https://zoom.univ-paris1.fr/j/91503618246?pwd=eFc4Q0NwSC9MQmhHMnVKc2thZmFIUT09 ID de réunion : 915 0361 8246 Code secret : 371868 Au plaisir de vous voir. Amicalement, Vincent Ardourel (Comité d'organisation : Vincent Ardourel, Jean-Baptiste Joinet, Laurent Loison, Alexandra Soulier, Marion Vorms) -- https://www.vidal-rosset.net/mailing_list_educasupphilo.html