[Educasup] S�minaire s Codes sources : programme 2023

2023-01-09 Par sujet Baptiste Mélès
. Organisateurs : - Raphaël Fournier (CNAM) - Baptiste Mélès (CNRS, Archives Henri-Poincaré) - Lionel Tabourier (LIP6). Site : http://codesource.hypotheses.org/ Contact : Baptiste Mélès (baptiste.me...@univ-lorraine.fr) Twitter : https://twitter.com/SemCodesSources Liste de diffusion : https

[Educasup] Remise du Prix Jean-Cavaill �s à Dominique Pradelle, 19 novembre 2022

2022-11-07 Par sujet Baptiste Mélès
://cavailles.hypotheses.org/societe-des-amis-de-jean-cavailles/prix-jean-cavailles. Très cordialement, Baptiste Mélès. -- Baptiste Mélès Secrétaire de la société Les Amis de Jean Cavaillès http://cavailles.hypotheses.org/ -- No attachments (even text) are allowed -- -- Type: application/pgp-signature -- File

[Educasup] Conf�rence Jean-Cavaill �s : S�bastien Maronne, 19 novembre 2022

2022-11-07 Par sujet Baptiste Mélès
éprouvées ». -- Baptiste MÉLÈS CNRS, Chargé de recherche / Researcher | http://baptiste.meles.free.fr/ Université de Lorraine, Université de Strasbourg, CNRS, AHP-PReST UMR 7117 91 avenue de la Libération, 54000 Nancy, France Secrétaire des Amis de Jean Cavaillès | http

[Educasup] Prix Jean-Cavaill� s 2022 : Dominique Pradelle

2022-09-06 Par sujet Baptiste Mélès
Jean-Cavaillès est décerné depuis 1950. Vous trouverez son historique à l'adresse https://cavailles.hypotheses.org/societe-des-amis-de-jean-cavailles/prix-jean-cavailles. Très amicalement, Baptiste Mélès Secrétaire de la société Les Amis de Jean Cavaillès http://cavailles.hypotheses.org

[Educasup] [Codes Sources] 50 ans de Prolog (Laurent Cervoni, 9 juin 2022)

2022-05-17 Par sujet Baptiste Mélès
ensuite discuté avec l'auditoire. Organisateurs : - Raphaël Fournier (CNAM) - Baptiste Mélès (CNRS, Archives Henri-Poincaré) - Lionel Tabourier (LIP6). Site : http://codesource.hypotheses.org/ Contact : Baptiste Mélès (baptiste.me...@univ-lorraine.fr) Twitter : https://twitter.com

[Educasup] [Codes Sources] Ethnographie de l'intelligence artificielle (Lucie Conjard, 12 mai 2022)

2022-05-10 Par sujet Baptiste Mélès
mmentaires compris. Le code est ensuite discuté avec l'auditoire. Organisateurs : - Raphaël Fournier (CNAM) - Baptiste Mélès (CNRS, Archives Henri-Poincaré) - Lionel Tabourier (LIP6). Site : http://codesource.hypotheses.org/ Contact : Baptiste Mélès (baptiste.me...@univ-lorraine.fr) Twitt

[Educasup] [Codes Sources] Ethnographie de l'intelligence artificielle (Lucie Conjard, 12 mai 2022)

2022-04-08 Par sujet Baptiste Mélès
mmentaires compris. Le code est ensuite discuté avec l'auditoire. Organisateurs : - Raphaël Fournier (CNAM) - Baptiste Mélès (CNRS, Archives Henri-Poincaré) - Lionel Tabourier (LIP6). Site : http://codesource.hypotheses.org/ Contact : Baptiste Mélès (baptiste.me...@univ-lorraine.fr) Twitt

[Educasup] [Codes Sources] Lien � di stance pour la s�ance � Algol, 60 ans apr�s � (Thierry Dumont, 7 avril 2022)

2022-04-06 Par sujet Baptiste Mélès
anisateurs : - Raphaël Fournier (CNAM) - Baptiste Mélès (CNRS, Archives Henri-Poincaré) - Lionel Tabourier (LIP6). Site : http://codesource.hypotheses.org/ Contact : Baptiste Mélès (baptiste.me...@univ-lorraine.fr) Twitter : https://twitter.com/SemCodesSources Liste de diffusion : https://groups.google

[Educasup] [Codes Sources] Algol, 60 a ns apr�s (Thierry Dumont, 7 avril 2022)

2022-03-29 Par sujet Baptiste Mélès
ue langage que ce soit. Le commentaire peut être algorithmique, stylistique, historique ou philosophique, et porter sur tous les aspects du code, commentaires compris. Le code est ensuite discuté avec l'auditoire. Organisateurs : - Raphaël Fournier (CNAM) - Baptiste Mélès (CNRS, Archives Henr

[Educasup] [Codes Sources] Algol, 60 a ns apr�s (Thierry Dumont, 7 avril 2022)

2022-03-12 Par sujet Baptiste Mélès
phique, et porter sur tous les aspects du code, commentaires compris. Le code est ensuite discuté avec l'auditoire. Organisateurs : - Raphaël Fournier (CNAM) - Baptiste Mélès (CNRS, Archives Henri-Poincaré) - Lionel Tabourier (LIP6). Site : http://codesource.hypotheses.org/ Contact : Bapt

[Educasup] Colloque ��N�cessit� ou contingence�� de Jules Vuillemin, 7-8 mars (visio)

2022-03-07 Par sujet Baptiste Mélès
La manifestation est organisée par Gerhard Heinzmann, Baptiste Mélès et David Thomasette dans le prolongement du projet ANR VUILLEMIN (2017-2020). -- Baptiste MÉLÈS CNRS, Chargé de recherche / Researcher | http://baptiste.meles.free.fr/ Archives Henri-Poincaré—PReST (CNRS UMR 7117, Université de

[Educasup] [Codes Sources] Coder la loi (Denis Merigoux, 10 mars 2022, hybride)

2022-03-03 Par sujet Baptiste Mélès
. Organisateurs : - Raphaël Fournier (CNAM) - Baptiste Mélès (CNRS, Archives Henri-Poincaré) - Lionel Tabourier (LIP6). Site : http://codesource.hypotheses.org/ Contact : Baptiste Mélès (baptiste.me...@univ-lorraine.fr) Twitter : https://twitter.com/SemCodesSources Liste de diffusion : https

[Educasup] Re: [Codes Sources] Humanit �s num�riques et histoire litt�raire (Marine Rigue t, 17 f�vrier 2022)

2022-02-16 Par sujet Baptiste Mélès
lien suivant : https://univ-tlse3-fr.zoom.us/j/92039418126 Très cordialement, Baptiste Mélès. Le mercredi 09 févr. 2022 à 12:03:49 (+0100), Baptiste Mélès a écrit : > Séminaire « Codes sources » > > L'objectif du séminaire Codes sources est de présenter la pensée > informatiqu

[Educasup] [Codes Sources] Humanit�snum�riques et histoire litt�raire (Marine Riguet, 17 f�vrier 2022)

2022-02-09 Par sujet Baptiste Mélès
(CNAM) - Baptiste Mélès (CNRS, Archives Henri-Poincaré) - Lionel Tabourier (LIP6). Site : http://codesource.hypotheses.org/ Contact : Baptiste Mélès (baptiste.me...@univ-lorraine.fr) Twitter : https://twitter.com/SemCodesSources Liste de diffusion : https://groups.google.com/forum/#!forum/codes

[Educasup] Colloque Albert Lautman, ENS Paris, 27-29 octobre 2021

2021-10-18 Par sujet Baptiste Mélès
-Jacques Szczeciniarz, Christophe Eckes, Baptiste Mélès et Bertrand Rémy, le Comité organisateur du colloque. --- Colloque « Albert Lautman : philosophie, mathématiques, Résistance », 27-29 octobre 2021. Lieu : École normale supérieure de Paris

[Educasup] [Codes Sources] Textes d'algorithmes sanskrits concis (Agathe Keller, 17 juin 2021)

2021-06-09 Par sujet Baptiste Mélès
peut être algorithmique, stylistique, historique ou philosophique, et porter sur tous les aspects du code, commentaires compris. Le code est ensuite discuté avec l'auditoire. Organisateurs : - Raphaël Fournier (CNAM) - Baptiste Mélès (CNRS, Archives Henri-Poincaré) - Lionel Tabourier (LIP6). Site

[Educasup] [Codes Sources] Pens�e ab strait e et diagrammatisation (Valeria Giardino, 20 mai 2021)

2021-05-20 Par sujet Baptiste Mélès
, dans quelque langage que ce soit. Le commentaire peut être algorithmique, stylistique, historique ou philosophique, et porter sur tous les aspects du code, commentaires compris. Le code est ensuite discuté avec l'auditoire. Organisateurs : - Raphaël Fournier (CNAM) - Baptiste Mélès (CNRS,

[Educasup] [Codes Sources] Pens�e ab straite et comp�tence s spatiales (Valeria Giardino, 20 mai 2021)

2021-05-10 Par sujet Baptiste Mélès
historique ou philosophique, et porter sur tous les aspects du code, commentaires compris. Le code est ensuite discuté avec l'auditoire. Organisateurs : - Raphaël Fournier (CNAM) - Baptiste Mélès (CNRS, Archives Henri-Poincaré) - Lionel Tabourier (LIP6). Site : http://codesource.hypotheses

[Educasup] [Codes sources] Enregistrem ents vid�o du s�minaire

2021-03-23 Par sujet Baptiste Mélès
algorithmique, stylistique, historique ou philosophique, et porter sur tous les aspects du code, commentaires compris. Le code est ensuite discuté avec l'auditoire. Organisateurs : - Raphaël Fournier (CNAM) - Baptiste Mélès (CNRS, Archives Henri-Poincaré) - Lionel Tabourier (LIP6). Site : http

[Educasup] [Codes Sources] Jupyter (Viviane Pons, 1er avril 2021)

2021-03-20 Par sujet Baptiste Mélès
) - Baptiste Mélès (CNRS, Archives Henri-Poincaré) - Lionel Tabourier (LIP6). Site : http://codesource.hypotheses.org/ Contact : Baptiste Mélès (baptiste.me...@univ-lorraine.fr) Twitter : https://twitter.com/SemCodesSources Liste de diffusion : https://groups.google.com/forum/#!forum/codes-sources

[Educasup] Programme 2021 du s�minai re Codes sources

2021-02-16 Par sujet Baptiste Mélès
, et porter sur tous les aspects du code, commentaires compris. Le code est ensuite discuté avec l'auditoire. Organisateurs : - Raphaël Fournier (CNAM) - Baptiste Mélès (CNRS, Archives Henri-Poincaré) - Lionel Tabourier (LIP6). Site : http://codesource.hypotheses.org/ Contact : Baptiste Mélès

[Educasup] Appel � contributions : 13e Colloque fran�ais de philosophie des math�matique s (FPMW13, Nice, 7-9 octobre 2021)

2021-02-16 Par sujet Baptiste Mélès
- Christophe Eckes - Sébastien Gandon - Emmylou Haffner - Brice Halimi - Thomas Hausberger - Jean-Baptiste Joinet - Jean-Pierre Marquis - Baptiste Mélès (Président) - Marco Panza - Frédéric Patras - Jean-Jacques Szczeciniarz Comité d’organisation : - Paola Cantù - Jean-Luc Gautero

[Educasup] 11 000 sujets de dissertation de philosophie

2020-10-25 Par sujet Baptiste Mélès
 l'agrégation, au CAPES ou à l'École normale supérieure de Paris depuis 10 à 20 ans, soit en tout un peu plus de 80 concours. Vous y trouverez d'abord la liste complète des sujets, puis une classification par concours et par type de sujets. Bien cordialement, Baptiste Mélès. -- Baptiste MÉLÈS

[Educasup] Report du colloque Albert Lautman

2020-03-11 Par sujet Baptiste Mélès
nos amitiés, Jean-Jacques Szczeciniarz, Christophe Eckes, Bertrand Rémy et Baptiste Mélès. -- Baptiste MÉLÈS CNRS, Chargé de recherche / Researcher | http://baptiste.meles.free.fr/ Archives Henri-Poincaré—PReST (CNRS UMR 7117, Université de Lorraine) 91 avenue de la Libération, 54000 Nancy

[Educasup] [Codes Sources] Archiver et citer le logiciel (Roberto di Cosmo, 12 mars 2020)

2020-03-06 Par sujet Baptiste Mélès
, commentaires compris. Le code est ensuite discuté avec l'auditoire. Organisateurs : - Raphaël Fournier (CNAM) - Baptiste Mélès (CNRS, Archives Henri-Poincaré) - Lionel Tabourier (LIP6). Site : http://codesource.hypotheses.org/ Contact : Baptiste Mélès (baptiste.me...@univ-lorraine.fr) Twitter

[Educasup] [Codes Sources] CHANGEMENT DE DATE ET DE LIEU (Mich�le Soria, 4 mars 2020)

2020-02-21 Par sujet Baptiste Mélès
, stylistique, historique ou philosophique, et porter sur tous les aspects du code, commentaires compris. Le code est ensuite discuté avec l'auditoire. Organisateurs : - Raphaël Fournier (CNAM) - Baptiste Mélès (CNRS, Archives Henri-Poincaré) - Lionel Tabourier (LIP6). Site : http

[Educasup] [Codes Sources] Combinatoir e analytique (Mich�le Soria, 5 mars 2020)

2020-02-14 Par sujet Baptiste Mélès
discuté avec l'auditoire. Organisateurs : - Raphaël Fournier (CNAM) - Baptiste Mélès (CNRS, Archives Henri-Poincaré) - Lionel Tabourier (LIP6). Site : http://codesource.hypotheses.org/ Contact : Baptiste Mélès (baptiste.me...@univ-lorraine.fr) Twitter : https://twitter.com/SemCodesSources Liste

[Educasup] [Codes Sources] Enseigner la programmation (Laurent Bloch, 30 janvier 2020, NOUVELLE SALLE !)

2020-01-23 Par sujet Baptiste Mélès
(CNAM) - Baptiste Mélès (CNRS, Archives Henri-Poincaré) - Lionel Tabourier (LIP6). Site : http://codesource.hypotheses.org/ Contact : Baptiste Mélès (baptiste.me...@univ-lorraine.fr) Twitter : https://twitter.com/SemCodesSources Liste de diffusion : https://groups.google.com/forum/#!forum/codes

[Educasup] Colloque Albert Lautman (ENS Paris, 19-20 mars 2020)

2020-01-23 Par sujet Baptiste Mélès
Jaurès de l'École normale supérieure (24 rue Lhomond, Paris). Le comité d'organisation est composé de Jean-Jacques Szczeciniarz, Christophe Eckes, Bertrand Rémy et Baptiste Mélès. Le colloque réunira les oratrices et orateurs suivants : 1. Alya Aglan 2

[Educasup] [Codes Sources] Enseigner la programmation (Laurent Bloch, 30 janvier 2020, NOUVELLE SALLE !)

2020-01-09 Par sujet Baptiste Mélès
quelqu'un d'autre, dans quelque langage que ce soit. Le commentaire peut être algorithmique, stylistique, historique ou philosophique, et porter sur tous les aspects du code, commentaires compris. Le code est ensuite discuté avec l'auditoire. Organisateurs : - Raphaël Fournier (CNAM) - Baptiste Mélès

[Educasup] [Codes�Sources] Curry -Howard, Rust et logique lin�air e (Guillaume Munch-Maccagnoni, 13 juin 2019)

2019-06-06 Par sujet Baptiste Mélès
est ensuite discuté avec l'auditoire. Organisateurs : - Raphaël Fournier (CNAM) - Baptiste Mélès (CNRS, Archives Henri-Poincaré) - Lionel Tabourier (LIP6). Site : http://codesource.hypotheses.org/ Contact : Baptiste Mélès (baptiste.me...@univ-lorraine.fr) Twitter : https://twitter.com

[Educasup] Remise du Prix Jean-Cavaill �s à Paolo Mancosu : 4 juin 2019, 17 heures

2019-05-23 Par sujet Baptiste Mélès
Jean-Jacques Szczeciniarz, président des Amis de Jean Cavaillès, a l'honneur de vous inviter à la remise du Prix Jean-Cavaillès 2018 à Paolo Mancosu auteur de l'ouvrage /Infini, logique, géométrie/, le mardi 4 juin 2019

[Educasup] S�minaire Codes�Sources �: L'invention des liens statiques (Gauthier van den Hove, 23�mai 2019)

2019-05-21 Par sujet Baptiste Mélès
CNAM) - Baptiste Mélès (CNRS, Archives Henri-Poincaré) - Lionel Tabourier (LIP6). Site : http://codesource.hypotheses.org/ Contact : Baptiste Mélès (baptiste.me...@univ-lorraine.fr) Twitter : https://twitter.com/SemCodesSources Liste de diffusion : https://groups.google.com/forum/#!forum/c

[Educasup] [Codes Sources] L'invention des liens statiques (Gauthier van den Hove, 23 mai 2019)

2019-05-05 Par sujet Baptiste Mélès
CNAM) - Baptiste Mélès (CNRS, Archives Henri-Poincaré) - Lionel Tabourier (LIP6). Site : http://codesource.hypotheses.org/ Contact : Baptiste Mélès (baptiste.me...@univ-lorraine.fr) Twitter : https://twitter.com/SemCodesSources Liste de diffusion : https://groups.google.com/forum/#!forum/c

[Educasup] Volume d'hommage � Jean C availl�

2019-04-26 Par sujet Baptiste Mélès
Chers collègues, chers amis, Jean-Jacques Szczeciniarz, Président des Amis de Jean Cavaillès, a la joie de vous annoncer la parution des Actes de la journée d'hommage à Jean Cavaillès du 17 février 2014 : Jean-Jacques SZCZECINIARZ et Baptiste MÉLÈS (éd

[Educasup] S�minaire Codes sources : La machine analytique de Babbage (Marie-Jos � Durand-Richardn jeudi 11 avril 2019)

2019-04-08 Par sujet Baptiste Mélès
e ce soit. Le commentaire peut être algorithmique, stylistique, historique ou philosophique, et porter sur tous les aspects du code, commentaires compris. Le code est ensuite discuté avec l'auditoire. Organisateurs : - Raphaël Fournier (CNAM) - Baptiste Mélès (CNRS, Archives Henri-Poincaré) - Li

[Educasup] S�minaire Codes�Sources �: Org-mode (Bastien Guerry, jeudi 28�mars 2019)

2019-03-23 Par sujet Baptiste Mélès
utre, dans quelque langage que ce soit. Le commentaire peut être algorithmique, stylistique, historique ou philosophique, et porter sur tous les aspects du code, commentaires compris. Le code est ensuite discuté avec l'auditoire. Organisateurs : - Raphaël Fournier (CNAM) - Baptiste Mélès (

[Educasup] S�minaire Codes�Sources �: Org-mode (Bastien Guerry, jeudi 28�mars 2019)

2019-02-17 Par sujet Baptiste Mélès
les aspects du code, commentaires compris. Le code est ensuite discuté avec l'auditoire. Organisateurs : - Raphaël Fournier (CNAM) - Baptiste Mélès (CNRS, Archives Henri-Poincaré) - Lionel Tabourier (LIP6). Site : http://codesource.hypotheses.org/ Contact : Baptiste Mélès (baptiste.me...@univ

[Educasup] Jules Vuillemin et la philo sophie analytique, 6�f�vrier 2019 (Nancy)

2019-02-05 Par sujet Baptiste Mélès
« Jules Vuillemin et la philosophie analytique » Journée d'études organisée par Gerhard Heinzmann et Baptiste Mélès (CNRS, Archives Henri-Poincaré—PReST UMR 7117, Université de Lorraine — Université de Strasbourg) Mercredi 6 février 2019, 10h-17h Salle Internationale (324) Maison des

[Educasup] S�minaire Codes�Sources �: D�monstrations assist�es par ordinateur (Assi a Mahboubi, 7�f�vrier 2019)

2019-02-05 Par sujet Baptiste Mélès
hique, et porter sur tous les aspects du code, commentaires compris. Le code est ensuite discuté avec l'auditoire. Organisateurs : - Raphaël Fournier (CNAM) - Baptiste Mélès (CNRS, Archives Henri-Poincaré) - Lionel Tabourier (LIP6). Site : http://codesource.hypotheses.org/ Contact : Baptist

[Educasup] Jules Vuillemin et la philo sophie analytique, 6�f�vrier 2019 (Nancy)

2019-01-21 Par sujet Baptiste Mélès
« Jules Vuillemin et la philosophie analytique » Journée d'études organisée par Gerhard Heinzmann et Baptiste Mélès (CNRS, Archives Henri-Poincaré—PReST UMR 7117, Université de Lorraine — Université de Strasbourg) Mercredi 6 février 2019, 10h-17h Salle Internationale (324) Maison des

[Educasup] S�minaire Codes�Sources �: La ligne de commande (Oriane Piquer-Louis, 24 �janvier 2019)

2019-01-11 Par sujet Baptiste Mélès
, et porter sur tous les aspects du code, commentaires compris. Le code est ensuite discuté avec l'auditoire. Organisateurs : - Raphaël Fournier (CNAM) - Baptiste Mélès (CNRS, Archives Henri-Poincaré) - Lionel Tabourier (LIP6). Site : http://codesource.hypotheses.org/ Contact : Baptiste Mélès

[Educasup] Programme 2019 du s�minai re Codes sources

2019-01-11 Par sujet Baptiste Mélès
, stylistique, historique ou philosophique, et porter sur tous les aspects du code, commentaires compris. Le code est ensuite discuté avec l'auditoire. Organisateurs : - Raphaël Fournier (CNAM) - Baptiste Mélès (CNRS, Archives Henri-Poincaré) - Lionel Tabourier (LIP6). Site : http