Baptiste Mélès

Identifiants chercheurs

IdHAL :

baptiste-meles

IdRef :

170123855

Présentation

Publications

Article dans une revue (30)

Every file is a program, but not the reverse Baptiste Mélès European Mathematical Society Magazine, 2024, 133, pp.5-11. ⟨10.4171/mag/205⟩ Article dans une revue halshs-04876214v1
Préserver et rendre identifiables les logiciels de recherche avec Software Heritage Frédéric Santos,Baptiste Mélès,Sabrina Granger The programming historian en français, 2024, 6, ⟨10.46430/phfr0034⟩ Article dans une revue halshs-04876066v1
Tout fichier est un programme... et non l’inverse Baptiste Mélès La Gazette de la Société mathématique de France, 2023, 176 Article dans une revue halshs-04385961v1
Jules Vuillemin, disciple hétérodoxe de Martial Gueroult Baptiste Mélès Revue internationale de philosophie, 2020, 291 (1), pp.63-76. ⟨10.3917/rip.291.0063⟩ Article dans une revue halshs-03097148v1
Lectures et postérités de La Philosophie de l’algèbre de Jules Vuillemin. Introduction Sébastien Maronne,Baptiste Mélès Philosophia Scientiae, 2020, 24-3, pp.3-16. ⟨10.4000/philosophiascientiae.2502⟩ Article dans une revue halshs-03097003v2
Regards croisés sur l’histoire et la philosophie de l’informatique Florian Vetter,Baptiste Mélès,Camille Paloque-Bergès,Loic Petitgirard,Valérie Schaferet al. Cahiers François Viète, 2020, 3 (9), pp.177-195. ⟨10.4000/cahierscfv.532⟩ Article dans une revue hal-04081200v1
Structure et évolution de La Philosophie de l’algèbre de Jules Vuillemin (tomes I et II) Baptiste Mélès Philosophia Scientiae, 2020, 24-3, pp.17-42. ⟨10.4000/philosophiascientiae.2512⟩ Article dans une revue halshs-03096996v2
Le tome II de La Philosophie de l’algèbre. Dossier documentaire Jules Vuillemin,Gudrun Vuillemin-Diem,Simon Decaens,Sébastien Maronne,Baptiste Mélès Philosophia Scientiae, 2020, Lectures et postérités de La Philosophie de l’algèbre de Jules Vuillemin, 24 (3), pp.219-235. ⟨10.4000/philosophiascientiae.2472⟩ Article dans une revue halshs-03097308v2
Les langages de Turing Baptiste Mélès Intellectica - La revue de l’Association pour la Recherche sur les sciences de la Cognition (ARCo), 2020, Retour à Turing : son héritage aujourd’hui, 72, pp.81-110. ⟨10.3406/intel.2020.1947⟩ Article dans une revue halshs-03097129v1
Présentation du texte de Jules Vuillemin « De la connaissance sensible et de la parité qu’elle manifeste entre l’homme et l’animal » Baptiste Mélès,Renan Strauss Philosophia Scientiae, 2019, Les circulations scientifiques internationales depuis le début du XXe siècle, 23 (3), pp.109-118. ⟨10.4000/philosophiascientiae.2093⟩ Article dans une revue hal-02431039v1
Les langages du web Baptiste Mélès Textes et documents pour la classe, 2018, Réseaux, 1116, pp.40-43 Article dans une revue halshs-01975025v1
Sommes-nous libres ? Baptiste Mélès,Julien Borgeon Philosophia Scientiae, 2017, Raymond Ruyer, 21 (2), pp.163-174. ⟨10.4000/philosophiascientiae.1285⟩ Article dans une revue hal-01679656v1
Effets moraux de l’accélération de l’histoire Baptiste Mélès,Raphaël Derobe Philosophia Scientiae, 2017, 21 (2), pp.149-161. ⟨10.4000/philosophiascientiae.1283⟩ Article dans une revue hal-01679658v1
Forme et matière informatiques Le concept de mémoire et ses réalisations physiques Didier Lommelé,Baptiste Mélès Cahiers philosophiques, 2017, La mémoire, 149 (2), pp.61-77. ⟨10.3917/caph1.149.0061⟩ Article dans une revue hal-01679677v1
Deux textes politiques de Jules Vuillemin Baptiste Mélès,Julien Borgeon,Raphaël Derobe Philosophia Scientiae, 2017, 21 (2), pp.141-147. ⟨10.4000/philosophiascientiae.1280⟩ Article dans une revue hal-01529028v1
Temps et activité selon Unix Baptiste Mélès Réseaux : communication, technologie, société, 2017, Décoder les programmes, 206 (6), pp.125-153. ⟨10.3917/res.206.0125⟩ Article dans une revue hal-01679647v1
Approche philologique des langages de programmation Baptiste Mélès Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2016, 35 (2), pp.237-254. ⟨10.3166/TSI.35.237-254⟩ Article dans une revue hal-01425868v1
Comment le scepticisme est devenu un système. La classification de Jules Vuillemin et ses transformations Baptiste Mélès Philosophia Scientiae, 2016, Le scepticisme selon Jules Vuillemin, 20 (3), pp.91-107. ⟨10.4000/philosophiascientiae.1204⟩ Article dans une revue hal-01413928v1
Présentation Baptiste Mélès Les études philosophiques, 2015, Comment lire « L'Archéologie du savoir » de Michel Foucault ?, 3 (114), pp.323-326. ⟨10.3917/leph.153.0323⟩ Article dans une revue hal-01224075v1
La classification cubique des systèmes philosophiques par Jules Vuillemin Baptiste Mélès Les études philosophiques, 2015, Jules Vuillemin et les systèmes philosophiques, 153 (1), pp.51-64. ⟨10.3917/leph.151.0051⟩ Article dans une revue hal-01224080v1
L’informatique sans ordinateur Baptiste Mélès Images des mathématiques, 2015, ⟨10.60868/26e5-jq91⟩ Article dans une revue hal-05589962v1
Présentation Thomas Bénatouïl,Baptiste Mélès Les études philosophiques, 2015, Jules Vuillemin et les systèmes philosophiques, 112 (1), pp.3-8. ⟨10.3917/leph.151.0003⟩ Article dans une revue hal-01224078v1
La comptine des neuf divisions Baptiste Mélès Images des mathématiques, 2015, ⟨10.60868/0ejh-2103⟩ Article dans une revue hal-05589959v1
Un Français peut-il encore comprendre les philosophes d’outre-Manche ? Présentation Baptiste Mélès Les études philosophiques, 2015, Jules Vuillemin et les systèmes philosophiques, 112 (1), pp.9-30. ⟨10.3917/leph.151.0009⟩ Article dans une revue hal-01224079v1
Les « règles de formation » comme catégories foucaldiennes Baptiste Mélès Les études philosophiques, 2015, Comment lire « L'Archéologie du savoir » de Michel Foucault ?, 3 (114), pp.391-412. ⟨10.3917/leph.153.0391⟩ Article dans une revue hal-01224074v1
Thématisation et philosophie de l'informatique Baptiste Mélès Revue de l'EPI (Enseignement Public et Informatique), 2014 Article dans une revue hal-01224082v1
Unix selon l’ordre des raisons : la philosophie de la pratique informatique Baptiste Mélès Philosophia Scientiae, 2013, 17 (3), pp.181-198. ⟨10.4000/philosophiascientiae.897⟩ Article dans une revue hal-01224091v2
Fragments de mathématiques existentielles Baptiste Mélès,Laurent Derobert Revue de synthèse, 2013, 134 (3), pp.406-408 Article dans une revue hal-01224106v1
Pastore ou l'élégance, fille de la paresse Baptiste Mélès Cahiers du football, 2013 Article dans une revue hal-01224109v1
Pratique mathématique et lectures de Hegel, de Jean Cavaillès à William Lawvere Baptiste Mélès Philosophia Scientiae, 2012, From Practice to Results in Logic and Mathematics, 16 (1), pp.153-182. ⟨10.4000/philosophiascientiae.725⟩ Article dans une revue hal-01224100v2

Communication dans un congrès (102)

Logique et linguistique de l'informatisation du droit Baptiste Mélès Mathématiques et philosophie contemporaines XII, Sébastien Maronne, Jun 2025, Saint-Ferréol, France Communication dans un congrès halshs-05542157v1
Une technologie d'avenir pour le droit : la « bonne vieille intelligence artificielle » Baptiste Mélès Responsabilité 2.0 : quand le droit rencontre l’IA, Mar 2025, Metz, France Communication dans un congrès halshs-05542133v1
L'archivage et la citation de logiciels avec Software Heritage Baptiste Mélès Swiss Video Game Archivists, Magalie Vetter, Dec 2025, Distanciel, Suisse Communication dans un congrès halshs-05542170v1
Do computer-assisted proofs change the game for mathematical contingentism? Baptiste Mélès David Bloor and the contingency of the formal sciences, Léna Soler, Oct 2025, Nancy, France Communication dans un congrès halshs-05542160v1
La théorie des types, de Russell à Coq Baptiste Mélès Séminaire interne de philosophie des mathématiques des Archives Henri-Poincaré, May 2025, Nancy, France Communication dans un congrès halshs-05542155v1
Quelle intelligence peut-on artificialiser ? Baptiste Mélès Faut-il avoir peur de l'intelligence artificielle ?, Bruno Guillemin, Feb 2025, Nancy, France Communication dans un congrès halshs-05542127v1
L'archivage et la citation de logiciels avec Software Heritage Baptiste Mélès Dépôt party du consortium Huma-Num DISTAM, Dec 2025, Paris, France Communication dans un congrès halshs-05542166v1
Penser la programmation dans d'autres langues Baptiste Mélès Séminaire GENIC, Cécile-Marie Martin, Apr 2025, Distanciel, France Communication dans un congrès halshs-05542137v1
Programmer dans d'« autres » langues Baptiste Mélès 10 ans de séminaire Codes Sources, Emmanuel Chailloux; Raphaël Fournier-S'niehotta; Baptiste Mélès, Jan 2025, Paris, France Communication dans un congrès halshs-05542122v1
Quelle intelligence peut-on artificialiser ? Baptiste Mélès Quelle intelligence peut-on artificialiser ?, Éléonore Govilas, Oct 2025, Nancy, France Communication dans un congrès halshs-05542162v1
The Rationale of Axioms: Peano’s Arithmetic in Coq’s Standard Library Baptiste Mélès Fudan Logic Seminar, Apr 2024, Shanghai, France Communication dans un congrès halshs-04876505v1
Présentation de Software Heritage Baptiste Mélès Colloque Sciences Ouvertes 2024 – Produire, ouvrir et valoriser les logiciels de recherche à l’Université de Lorraine, Nov 2024, Nancy, France Communication dans un congrès halshs-04876680v1
Is Programming Different in Classical Chinese? Baptiste Mélès Formalization in Logic, Language, and Mathematics IV, Kai Wehmeier, May 2024, Irvine, United States Communication dans un congrès halshs-04876460v1
Que peut apporter l'histoire des sciences à la philosophie des sciences ? Baptiste Mélès Histoire et philosophie des sciences et des techniques, May 2024, Nancy, France Communication dans un congrès halshs-04876627v1
Programming in Classic Chinese: Should we read Wenyan as if it were English? Baptiste Mélès History of Science, History of Text. Tribute to Karine Chemla, Mar 2024, Paris, France Communication dans un congrès halshs-04876480v1
Tymoczko après Coq : Quid novi sub sole? Baptiste Mélès École thématique « Mathématiques et philosophie contemporaines XI », Sébastien Maronne, Jun 2024, Saint-Ferréol, France Communication dans un congrès halshs-04876656v1
La méthode scientifique en informatique Baptiste Mélès Séminaire des doctorantes et doctorants en informatique, Société informatique de France, May 2024, Nancy, France Communication dans un congrès halshs-04876639v1
Penser la programmation par la linguistique Baptiste Mélès Journées du Centre Informatique et Société, Oct 2024, Paris, France Communication dans un congrès halshs-04876663v1
Expressivité des langages de programmation et linguistique comparée Baptiste Mélès Journées du GT Notebook, Nov 2024, Paris, France Communication dans un congrès halshs-04876670v1
Réponse à Viviane Pons, « Combinatorics of the Permutahedra, Associahedra, and Friends » Baptiste Mélès Représentations exploratoires en mathématiques, Emmylou Haffner; David Waszek, Apr 2024, Paris, France Communication dans un congrès halshs-04876605v1
Programmer en chinois classique Baptiste Mélès Journée d'étude AHP / ATILF, Jun 2024, Nancy, France Communication dans un congrès halshs-04876650v1
Programmes sans algorithmes Baptiste Mélès Formalising the notion of algorithm, Alberto Naibo, May 2023, Paris, France Communication dans un congrès halshs-04385834v1
Les preuves de nécessité chez Cavaillès Baptiste Mélès Jean Cavaillès and His Intellectual Milieu, Paul Cortois; Massimiliano Simons; Marjolein Holvoet; Maarten Van Dyck, Jan 2023, Leuven (Belgique), Belgique Communication dans un congrès halshs-03950330v1
La systématicité dans les sciences formelles Baptiste Mélès Séminaire Philmath, Oct 2023, Paris & en distanciel, France Communication dans un congrès halshs-04238867v1
Jules Vuillemin philosophe Baptiste Mélès École thématique « Mathématiques et Philosophie Contemporaine X », Sébastien Maronne, Jun 2023, Saint-Ferréol, France Communication dans un congrès halshs-04385785v1
Programs Without Algorithms Baptiste Mélès Formalization in Logic, Language, and Mathematics Conference #2, Andrew Arana, Sep 2023, Nancy, France Communication dans un congrès halshs-04385896v1
Jules Vuillemin historien de la philosophie et des sciences Baptiste Mélès École thématique « Mathématiques et Philosophie Contemporaine X », Sébastien Maronne, Jun 2023, Saint-Ferréol, France Communication dans un congrès halshs-04385794v1
Défis archivistiques et philologiques de la préservation des codes sources Baptiste Mélès Aspects ontologiques et épistémiques des sources et des ressources textuelles, Pierre Willaime; Andrei Rodin, Jul 2023, Nancy, France Communication dans un congrès halshs-04385767v1
How programming languages rehabilitate morphology Baptiste Mélès Nancy-Irvine Workshop on Formalization in Logic, Language, and Mathematics, Kai Wehmeier, Apr 2023, Irvine, CA (USA), France Communication dans un congrès halshs-04385863v1
When analytic languages were the future of programming Baptiste Mélès Future visions on computing and programming then and now, Liesbeth De Mol, Jun 2023, Lille, France Communication dans un congrès halshs-04385817v1
Les langages de programmation à la lumière de la linguistique comparée Baptiste Mélès Les Jeudis de l'Histoire et de la philosophie des sciences, Sophie Roux; Mathias Girel, Dec 2023, Paris, France Communication dans un congrès halshs-04385926v1
Philosophical Uses of Software Archive Baptiste Mélès Preserving our Landmark Legacy Software: Collect, Archive, Display, Software Heritage, Oct 2022, Paris, France Communication dans un congrès halshs-03828120v1
Systèmes philosophiques et paradigmes de programmation Baptiste Mélès Séminaire Gallinette, Guillaume Munch-Maccagnoni, Nov 2019, Nantes, France Communication dans un congrès hal-02431223v1
Les codes sources comme textes Baptiste Mélès Énonciation et langages de programmation, Sémir Badir; Maria Giulia Dondero; François Provenzano; Stéphane Polis, Nov 2019, Liège, Belgique Communication dans un congrès hal-02431211v1
Which Artificial Intelligence for Philosophical Research? Baptiste Mélès Global Forum on AI for Humanity, Oct 2019, Paris, France Communication dans un congrès hal-02431217v1
From Abstraction To Philosophical Systems : Abstraction and Generalization in Jules Vuillemin Baptiste Mélès The Theory of definitions by abstraction : roots, history, contemporary developments, Jean-Baptiste Joinet, Feb 2019, Lyon, France Communication dans un congrès hal-02431057v1
Nécessité et contingence en histoire des sciences Baptiste Mélès L’épistémologie historique, hier et aujourd’hui, Sébastien Maronne, Jun 2019, Toulouse, France Communication dans un congrès hal-02431064v1
Christine Proust, âme du projet MesoCalc Baptiste Mélès À propos de figure fondamentale : Christine Proust, Dec 2019, Paris, France Communication dans un congrès hal-02431225v1
Turing languages Baptiste Mélès Informatique et Philosophie : interactions contemporaines, Jean-Baptiste Joinet; Luiz Carlos Pereira, Aug 2019, Ilha Grande, Brazil Communication dans un congrès hal-02431071v1
Turing languages : Theory and Practice Baptiste Mélès Autumn workshop II: Programming Languages and Notations, Liesbeth De Mol, Oct 2019, Bertinoro, Italy Communication dans un congrès hal-02431074v1
Unix Ontology : Time and First Mover in Unix v6 Baptiste Mélès Formalisms at the interface with machines, languages and systems, Oct 2018, Bertinoro, Italy Communication dans un congrès halshs-01975098v1
Structures et morphismes en histoire de la philosophie Baptiste Mélès La Philosophie ventriloque, Feb 2018, Aix-en-Provence, France Communication dans un congrès halshs-01975085v1
L’introduction de redondances dans un langage formel : les &quot;parties du discours&quot; dans le langage Java Baptiste Mélès Philosophie scientifique et philosophie pour l’âge de la science. Gilles Gaston Granger et Jules Vuillemin, Sep 2018, Marseille, France Communication dans un congrès halshs-01975093v1
Classification des systèmes et paix perpétuelle en philosophie Baptiste Mélès Séminaire Epistemon, Oct 2017, Montpellier, France Communication dans un congrès hal-01679892v1
Les nouvelles voies de l’anachronisme en histoire et philosophie des sciences formelles Baptiste Mélès Journée de réflexion sur l’histoire et la philosophie des sciences et des techniques en France, à l’occasion du 60e anniversaire du Comité National Français d’Histoire et de Philosophie des Sciences et des Techniques, Mar 2017, Paris, France Communication dans un congrès hal-01679885v1
Historique de la société Les Amis de Jean Cavaillès Baptiste Mélès Séminaire d'histoire des mathématiques, Apr 2017, Nancy, France Communication dans un congrès hal-01679888v1
Styles de programmation informatique et formes de prédication vuilleminiennes Baptiste Mélès Épistémologie comparative et philosophie du style : l’œuvre de Gilles Gaston Granger, Nov 2017, Clermont-Ferrand, France Communication dans un congrès hal-01679893v1
Les Amis de Jean Cavaillès : historique Baptiste Mélès Journées en l’honneur d’Hourya Benis Sinaceur, Jun 2017, Paris, France Communication dans un congrès hal-01679891v1
L’histoire structurale de la philosophie, de Martial Gueroult à Victor Goldschmidt Baptiste Mélès L’histoire structurale de la philosophie, Baptiste Mélès, Dec 2016, Nancy, France Communication dans un congrès hal-01428813v1
On formulas for computing both the volume of a truncated pyramid and the circumference of hermeneutic circles Pierre Chaigneau,Baptiste Mélès 2016-10-25, Karine Chemla, Oct 2016, Paris, France Communication dans un congrès hal-01428807v1
Which mathematics was used to read ancient texts, and which impact had the mathematics used on the reading and interpretation of the ancient texts? Pierre Chaigneau,Baptiste Mélès séminaire SAW-ERC, Karine Chemla, Sep 2016, Paris, France Communication dans un congrès hal-01428799v1
MesoCalc, la calculatrice mésopotamienne en JavaScript Baptiste Mélès,Christine Proust Séminaire Codes sources, Baptiste Mélès, Jan 2016, Paris, France Communication dans un congrès hal-01267562v1
Présentation du tome II de la Philosophie de l’algèbre de Jules Vuillemin Baptiste Mélès La Philosophie de l’algèbre de Jules Vuillemin (tomes I et II), David Thomasette, Dec 2016, Nancy, France Communication dans un congrès hal-01428819v1
L’Histoire de la raison pure de Kant Baptiste Mélès La Méthodologie transcendantale de Kant, Baptiste Mélès; Ayşe Yuva, Mar 2016, Nancy, France Communication dans un congrès hal-01428777v1
Le chaînon manquant : le tome 2 de la Philosophie de l’algèbre de Jules Vuillemin Baptiste Mélès Grandes conférences des Archives Henri-Poincaré, Apr 2016, Nancy, France Communication dans un congrès hal-01428788v1
Spinoza en Coq : démonstration complète des premières propositions de l’Éthique Baptiste Mélès séminaire Philosophie, Mathématiques, Neurosciences, Mar 2016, Besançon, France Communication dans un congrès hal-01428781v1
Réseaux informatiques et logique dialogique Baptiste Mélès Interaction entre logique, langage et informatique, Alberto Naibo; Liesbeth de Mol; Shahid Rahman; Mark van Atten, Mar 2015, Paris, France Communication dans un congrès hal-01224204v1
Spinoza en Coq : démonstration complète des premières propositions de l’Éthique Baptiste Mélès Mathématiques, Informatique et Philosophie, Sébastien Maronne, Sep 2015, Toulouse, France Communication dans un congrès hal-01224195v1
Philosophie de l’informatique concrète. I : Langages théoriques et langages concrets en programmation. II : Ontologies des langages de programmation. III : Le Temps selon Unix Baptiste Mélès École thématique « Mathématique, informatique et philosophie contemporaines III », Sébastien Maronne, Mar 2015, Toulouse, France Communication dans un congrès hal-01224199v1
Le concept d’objet en programmation informatique Baptiste Mélès séminaire MathObRe, Gerhard Heinzmann, Feb 2015, Nancy, France Communication dans un congrès hal-01224207v1
En quel sens les démonstrations assistées par ordinateur sont-elles formelles ? Baptiste Mélès Rhétorique en mathématiques, Caroline Jullien, Nov 2015, Nancy, France Communication dans un congrès hal-01250747v1
Early relations between analytic and French philosophy of science Baptiste Mélès French and analytic approaches to science in the 20th century and today, Léna Soler, Jun 2015, Nancy, France Communication dans un congrès hal-01224137v1
Upgrade Your Abacus : Computing Tool Extensions Baptiste Mélès Computability in Europe 2015, Jun 2015, Bucarest, Romania Communication dans un congrès hal-01224132v1
Le rêve de Gueroult : Spinoza en Coq Baptiste Mélès Journées scientifiques des Archives Henri-Poincaré, Jun 2015, Nancy, France Communication dans un congrès hal-01224197v1
Approche philologique des langages de programmation Baptiste Mélès Séminaire d'informatique de Paris XIII, Jan 2015, Villetaneuse, France Communication dans un congrès hal-01224209v1
Approche philologique des langages de programmation Baptiste Mélès Groupe de travail Sémantique du laboratoire Preuves, Programmes et Systèmes, Feb 2014, Paris, France Communication dans un congrès hal-01225088v1
Espace et temps informatiques : l’Esthétique transcendantale de Kant à l’épreuve de la complexité algorithmique Baptiste Mélès Le Calcul et le temps, Jean-Baptiste Joinet, Nov 2014, Lyon, France Communication dans un congrès hal-01225028v1
Le langage et le réel Baptiste Mélès Journée de formation continue des professeurs de philosophie d’Auvergne, Dec 2014, Clermont-Ferrand, France Communication dans un congrès hal-01225016v1
Une hiérarchie de sémantiques : le concept de machine dans la pratique de la programmation Baptiste Mélès La Logique en question IV, May 2014, Paris, France Communication dans un congrès hal-01225059v1
Systèmes philosophiques et langages de programmation Baptiste Mélès Séminaire de l’ISCC, Oct 2014, Paris, France Communication dans un congrès hal-01225035v1
Le langage et l'individuel selon Jean-Claude Pariente et Jules Vuillemin Baptiste Mélès Approche de l’individuel : hommage à Jean-Claude Pariente, Frédéric Worms, Dec 2014, Paris, France Communication dans un congrès halshs-03850874v1
Une science a priori : l’informatique Baptiste Mélès Table ronde de la session « Les mathématiques face à l’ordinateur », Liesbeth De Mol; Maarten Bullynck, May 2014, Paris, France Communication dans un congrès hal-01225052v1
L’invention des concepts en informatique Baptiste Mélès Séminaire Complex Networks, Jun 2014, Paris, France Communication dans un congrès hal-01225038v1
Victor Goldschmidt avait-il une théorie des systèmes ? Baptiste Mélès Les questions platoniciennes de Victor Goldschmidt (1914-1981), David Lefebvre, Dec 2014, Clermont-Ferrand, France Communication dans un congrès hal-01225009v1
La science et le réel Baptiste Mélès Journée de formation continue des professeurs de philosophie de Lorraine, Nov 2014, Clermont-Ferrand, France Communication dans un congrès hal-01225018v1
Thématisation et philosophie de l’informatique Baptiste Mélès Journée commémorative de la mort il y a 70 ans de Jean Cavaillès (1903-1944), Philosophe et Résistant., Feb 2014, Paris, France Communication dans un congrès hal-01225086v1
Les dispositifs de calcul : théorie et pratique Baptiste Mélès Groupe de travail de l'IREM, Paris-Diderot, Dec 2013, Paris, France Communication dans un congrès hal-01225093v1
Peut-on classer les langages de programmation ? Baptiste Mélès Séminaire Philosophie de l’informatique, de la logique et de leurs interfaces, Jean-Baptiste Joinet, Mar 2013, Paris, France Communication dans un congrès hal-01225100v1
Les langages de programmation : des codes sources aux programmes Baptiste Mélès Groupe de travail Mathématiques et Philosophie, XIXe et XXe siècles de SPHERE, Sylvain Cabanacq; Emmylou Haffner; David Rabouin, Dec 2013, Paris, France Communication dans un congrès hal-01225090v1
Des catégories faisons table rase ! Les formations discursives Baptiste Mélès Comment lire L'Archéologie du savoir de Michel Foucault ?, Thomas Bénatouïl; Baptiste Mélès, Feb 2013, Nancy, France Communication dans un congrès hal-01225103v1
Le vrai est-il toujours démontrable ? Kant, l’intuitionnisme, Gödel Baptiste Mélès Journée de formation continue des professeurs de philosophie de l’académie de Clermont-Ferrand, Jan 2013, Clermont-Ferrand, France Communication dans un congrès hal-01225106v1
How to Program an Abacus Baptiste Mélès Cultures of computation and quantification in the ancient world, Mar 2013, Paris, France Communication dans un congrès hal-01224162v1
Instruments de calcul et propriétés arithmétiques Baptiste Mélès Cinquième rencontre française de philosophie des mathématiques — Fifth French Philosophy of Mathematics Workshop, Oct 2013, Clermont-Ferrand, France Communication dans un congrès hal-01224159v1
Unix selon l’ordre des raisons : la philosophie de la pratique informatique Baptiste Mélès Informatique, Philosophie, Mathématiques, Sébastien Maronne, Nov 2013, Toulouse, France Communication dans un congrès hal-01225098v1
Algorithms as texts Baptiste Mélès La variété des sources mathématiques et la question de leur interprétation, Karine Chemla; Renaud Chorlay; Baptiste Mélès, Nov 2013, Luminy, France Communication dans un congrès hal-01224149v1
Philology of Programming Languages Baptiste Mélès History and Philosophy of Computing 2013, Maarten Bullynck; Jean-Baptiste Joinet, Oct 2013, Paris, France Communication dans un congrès hal-01224156v1
Logique hegelienne et théorie des catégories Baptiste Mélès Groupe de Travail Logique, École Normale Supérieure de la rue d’Ulm, May 2012, Paris, France Communication dans un congrès hal-01225115v1
Does Lawvere’s concept of Aufhebung lead to an algebra of Hegelian Dialectics? Baptiste Mélès Formalization and Dialectics, Zachary Luke Fraser, Jun 2012, Maastricht, Netherlands Communication dans un congrès hal-01224172v1
Les classifications des systèmes philosophiques, d’Emmanuel Kant à Jules Vuillemin Baptiste Mélès Journée des Jeunes chercheurs, Université d’Aix-Marseille, Jun 2012, Aix-en-Provence, France Communication dans un congrès hal-01225111v1
Programming Languages for Pre-Mechanical Calculating Tools Baptiste Mélès Cultures of Mathematics and Logic, Ju Shier; Benedikt Löwe; Thomas Müller; Yun Xie, Nov 2012, Guangzhou, China Communication dans un congrès hal-01224165v1
Cavaillès et les « moments de la conscience » Baptiste Mélès Groupe de travail Mathématiques et Philosophie, XIXe et XXe siècles de SPHERE, Mar 2012, Paris, France Communication dans un congrès hal-01225118v1
Classifications kantiennes et classification vuilleminienne dans L’Intuitionnisme kantien Baptiste Mélès L’Intuitionnisme kantien de Jules Vuillemin, Joseph Vidal-Rosset, Dec 2012, Nancy, France Communication dans un congrès hal-01225110v1
Les ordinateurs peuvent-ils penser ? Baptiste Mélès Cycle de conférences L’Homme et la machine, lycée Charles-et-Adrien-Dupuy, Le Puy-en-Velay, Albane Susanna, Mar 2011, Le Puy-en-Velay, France Communication dans un congrès hal-01225124v1
Éclectisme et problèmes classificatoires en philosophie Baptiste Mélès Le Syncrétisme au carrefour des sciences humaines, May 2011, Clermont-Ferrand, France Communication dans un congrès hal-01225121v1
Nominalism of Things and Nominalism of Events, from Turing Machines to Functional Programming Baptiste Mélès 14th Congress of Logic, Methodology and Philosophy of Science, Jul 2011, Nancy, France Communication dans un congrès hal-01224174v1
Logique hegelienne et théorie des catégories chez William Lawvere Baptiste Mélès Modèles mathématiques pour la philosophie, Baptiste Mélès, Mar 2011, Clermont-Ferrand, France Communication dans un congrès hal-01225125v1
Panorama philosophique pascalien Baptiste Mélès Séminaire du centre de recherches Philosophies et rationalités, Apr 2010, Clermont-Ferrand, France Communication dans un congrès hal-01225138v1
Jean Cavaillès entre Hegel et la théorie des catégories Baptiste Mélès Colloque « Concepts purs, concepts appliqués » du groupe PHENOMATH, Dec 2010, Nice, France Communication dans un congrès hal-01225129v1
One and a Half Square of Opposition in Linear Logic Baptiste Mélès Square of Opposition 2010, Jean-Yves Beziau, Jun 2010, Corte, France Communication dans un congrès hal-01224178v1
La Négation en théorie de la démonstration, de Gerhard Gentzen à Jean-Yves Girard Baptiste Mélès Séminaire du centre de recherches Philosophies et rationalités, May 2009, Clermont-Ferrand, France Communication dans un congrès hal-01225141v1
Experience and Subjectivity: François Jullien and Jean François Billeter Baptiste Mélès Personality and Subjectivity, East and West, Dec 2009, Clermont-Ferrand, France Communication dans un congrès hal-01224181v1
Systems and Teaching in Stoic and Confucian Philosophies Baptiste Mélès Thinking, Doing, Teaching, Jul 2009, Tokyo, Japan Communication dans un congrès hal-01224187v1

Ouvrages (5)

Albert Lautman philosophe. Des mathématiques à la Résistance Christophe Eckes,Frédéric Jaeck,Baptiste Mélès,Jean-Jacques Szczeciniarz Christophe Eckes; Frédéric Jaëck; Baptiste Mélès; Jean-Jacques Szczeciniarz. Éditions Rue d’Ulm / Presses de l’ENS-PSL, 2025, Actes de la recherche à l’ENS-PSL, 978-2-7288-0892-2 Ouvrages hal-05121128v1
Le juste et le bien : essais de philosophie morale et politique Jules Vuillemin,Baptiste Mélès,David Thomasette,Gerhard Heinzmann,Laurent Ménièreet al. Agone, 2022, 978-2-7489-0482-6 Ouvrages halshs-03930190v1
Hommage à Jean Cavaillès Baptiste Mélès,Jean-Jacques Szczeciniarz Hermann, 2019 Ouvrages halshs-02052075v1
Les Classifications des systèmes philosophiques Baptiste Mélès Baptiste Mélès. Vrin, pp.317, 2016, Mathesis, Hourya Benis Sinaceur, 978-2-7116-2691-5 Ouvrages hal-01413934v1
Comment lire L'Archéologie du savoir de Michel Foucault ? Baptiste Mélès , 2015 (3), 2015, Les Études philosophiques, 9782130651116 Ouvrages hal-01250637v1

Chapitre d'ouvrage (9)

La notion de nécessité historique Baptiste Mélès Pierre-Édouard Bour; Manuel Rebuschi; Laurent Rollet. Sciences, Circulations, Révolutions. Festschrift pour Philippe Nabonnand, College Publications, pp.535-543, 2023, 978-1848904255 Chapitre d'ouvrage halshs-04385990v1
Computing Tools and Representations of Arithmetic Baptiste Mélès Cultures of Computation and Quantification in the Ancient World, 6, Springer International Publishing, pp.401-431, 2023, Why the Sciences of the Ancient World Matter, 978-3-030-98360-4. ⟨10.1007/978-3-030-98361-1_7⟩ Chapitre d'ouvrage halshs-03931063v1
Thématisation et philosophie de l’informatique Baptiste Mélès Jean-Jacques Szczeciniarz; Baptiste Mélès. Hommage à Jean Cavaillès, Hermann, pp.75-85, 2019, Philosophie, Politique et Économie - Sciences et Technique, 9782705691080. ⟨10.3917/herm.szcze.2019.01.0075⟩ Chapitre d'ouvrage halshs-02431016v1
Les Amis de Jean Cavaillès, de 1947 à aujourd’hui Baptiste Mélès Jean-Jacques Szczeciniarz; Baptiste Mélès. Hommage à Jean Cavaillès, Hermann, pp.127-139, 2018, 978-2-7056-9108-0 Chapitre d'ouvrage halshs-02431009v1
Démonstration (article grand public) Baptiste Mélès L'Encyclopédie philosophique, , 2016 Chapitre d'ouvrage hal-01413616v1
Abacus as a Programming Language: Computer Science and History of Mathematics Baptiste Mélès Cultures of Mathematics and Logic. Selected Papers from the Conference in Guangzhou, China, November 9-12, 2012, , pp.43-59, 2016, Trends in the History of Science, 978-3-319-31500-3. ⟨10.1007/978-3-319-31502-7_3⟩ Chapitre d'ouvrage hal-01413931v1
Ornithorynques ou mulets ? L’éclectisme et le conflit des systèmes philosophiques Baptiste Mélès Maria Benedetta Collini; Pascale Auraix-Jonchière. Syncrétismes, mythes et littératures, Maison des Sciences de l’Homme, pp.67-83, 2014, 978-2-84516-655-4 Chapitre d'ouvrage hal-01224090v1
No Group for Constructive Logics: the Intuitionistic and Linear Cases Baptiste Mélès Jean-Yves Béziau; Dale Jacquette. Around and Beyond the Square of Opposition, Springer, pp.201-217, 2012, 978-3-0348-0378-6 Chapitre d'ouvrage hal-01224112v1
Systems and Teaching in Stoic and Confucian Philosophies Baptiste Mélès Developing International Communications Skills in Japanese Cultural Studies, Ochanomizu University, pp.54-56, 2010 Chapitre d'ouvrage hal-01224117v1

Autre publication scientifique (1)

Recension du livre d'Agnès Chalier, « Variations scientifiques. Recherches sur l'histoire et la philosophie des sciences en Europe et en Chine », Paris, Hermann, 2015 Baptiste Mélès 2017 Autre publication scientifique hal-01465889v1

Pré-publication, Document de travail (1)

Les Tables de vérité en braille Baptiste Mélès 2011 Pré-publication, Document de travail hal-01225178v1

Cours (4)

Méthode de la dissertation philosophique Baptiste Mélès Licence. France. 2020 Cours cel-01225188v2
Méthodologie du mémoire de Master Baptiste Mélès Master. France. 2020 Cours cel-01225190v2
Méthode universitaire du commentaire de texte Baptiste Mélès Licence. France. 2018 Cours cel-01225186v2
Le travail personnel en philosophie, de la licence à l'agrégation Baptiste Mélès Licence. France. 2015 Cours cel-01225184v1