Espace de Jean-Baptiste Joinet

Professeur de logique

Faculté de philosophie

Université Jean Moulin - Lyon 3


Accueil      Recherche      Enseignement      Coordonnées

Recherche

COLLOQUES ORGANISÉS  (accès aux sites des colloques)


     (version imprimable de cette liste  - format pdf)
  1. LES FORMES DE LA RATIONALITÉ
    Journées de l'Ecole Doctorale de Philosophie Université Paris 1 (Panthéon-Sorbonne) 6-7 février 1998, centre Sorbonne. Pas d'archives.

  2. RENCONTRES DE LOGIQUE PARIS 1 - ROMA TRE - UTRECHT
    Convention Erasmus-Socrates en Logique et Philosophie Université Paris 1 (Panthéon-Sorbonne) Octobre 1999, centre Sorbonne. Pas d'archives

  3. RENCONTRES DE LOGIQUE ET PHILOSOPHIE DES SCIENCES PARIS 1 - KEIO
    Université Paris 1 (Panthéon-Sorbonne) 30 et 31 mars 2000 (centre Sorbonne) (archives)

  4. LOGIQUE MATHÉMATIQUE, INFORMATIQUE ET PHILOSOPHIE
    Université Paris 1 (Panthéon-Sorbonne) 24-26 avril 2003 (centre Panthéon) (archives)

  5. LE LOGIQUE ET LE BIOLOGIQUE
    Université Paris 1 (Panthéon-Sorbonne) 22 avril 2005 (centre Panthéon, salle 1) (version pdf des pages web du colloque)

  6. LOGIQUE, SCIENCES ET PHILOSOPHIE (Ecole thématique du CNRS) : LOGIQUE ET INTERACTION - GÉOMÉTRIE DE LA COGNITION
    Centre Culturel International - Cerisy-la-Salle 19-26 septembre 2006 (archives)

  7. OUVRIR LA LOGIQUE AU MONDE
    Rencontres du "Collectif Histoire, Philosophie, Science" (CHPS) Coordination Giuseppe Longo, Thierry Paul, Jean-Baptiste Joinet. Ecole Normale Supérieure, 29 septembre 2006 (pages web de la journée). Vidéo accessible en ligne sur le site web de l'ENS

  8. LA THÈSE DE CHURCH: HIER, AUJOURD'HUI, DEMAIN.
    Colloque de philosophie de l'informatique. Coordination: Jean-Baptiste Joinet. Sorbone, 11 avril 2008. Organisé gràce au soutien de l'équipe EXeCO (EA Philosophies contemporaines, Paris 1) et du CHPS (Collectif Histoire, Philosohie, Sciences - ENS Paris). (pages web de la journée)

  9. ÉGALITÉ, IDENTITÉ, ISOMORPHISME.
    Colloque du Groupe LIGC. Coordination: Jean-Baptiste Joinet. Villa Finaly (Universités de Paris), Firenze, Italie, 17-20 septembre 2009. Organisé grâce au soutien du CHPS (Collectif Histoire, Philosophie, Sciences - ENS Paris),
    de l'Ambassade de France à Rome, de l'Ecole Doctorale de Philosophie de Paris 1, du Conseil Scientifique de Paris 1. (pages web du colloque)

  10. SÉMANTIQUE, SÉMANTIQUES.
    Rencontre de philosophie de la logique. Coordination: Jean-Baptiste Joinet. UFR de Philosophie, Université Paris 1, 16 octobre 2010. (pages web du colloque)

  11. LA QUESTION DES FONDEMENTS À L'ÈRE POST-FONDATIONNELLE. Colloque du groupe LIGC Coordination: Giuseppe Longo, Jean-Baptiste Joinet, Thierry Paul, Giulia Frezza. Institut Henri Poincaré, Amphi Darboux Organisé grâce au soutien du CHPS (Collectif Histoire, Philosophie, Sciences, Cirphles - CNRS et ENS Paris). (pages web du colloque)

  12. NEW SEMANTICAL ISSUES
    Organisé à l'Ecole Normale Supérieure de Paris (Cirphles), le 5 décembre 2011, en lien avec l'action Capes-Cofecub "Théories contemporaines de la logique et philosophie du langage: enjeux épistémologiques et sémantiques". Coordination: Jean-Baptiste Joinet (archives web : voir l'agenda 2011 de action Capes-Cofecub "Théories contemporaines de la logique et philosophie du langage: enjeux épistémologiques et sémantiques")

  13. EPISTEMOLOGICAL ASPECTS OF COMPUTING
    Ecole Normale Sup\'erieure, Paris (Cirphles), 10 décembre 2011. Organisée dans le cadre de l'action Capes-Cofecub "Théories contemporaines de la logique et philosophie du langage: enjeux épistémologiques et sémantiques"Coordination: Jean-Baptiste Joinet. (archives web : voir l'agenda 2011 de action Capes-Cofecub "Théories contemporaines de la logique et philosophie du langage: enjeux épistémologiques et sémantiques")

  14. ON NEGATION
    École Normale Sup\'erieure, Paris (Cirphles), 10 décembre 2011. Organisé dans le cadre l'action Capes-Cofecub "Théories contemporaines de la logique et philosophie du langage: enjeux épistémologiques et sémantiques"Coordination: Jean-Baptiste Joinet. (archives web : voir l'agenda 2011 de action Capes-Cofecub "Théories contemporaines de la logique et philosophie du langage: enjeux épistémologiques et sémantiques")

  15. INTENSIVE SCHOOL "LINEAR LOGIC, LUDICS AND GEOMETRY OF INTERACTION"
    Paraty (Rio de Janeiro, Brazil), 28 august-2 september 2012. Organisation: J.-Y.\,Girard (UMR 6206, CNRS-Université de la Méditerranée), J.-B. Joinet (Cirphles), L.C. Pereira (Dép. de philosophie, PUC-Rio) dans le cadre de l'action Capes-Cofecub "Théories contemporaines de la logique et philosophie du langage: enjeux épistémologiques et sémantiques").
    Accès direct aux pages web de l'École.

  16. JOURNÉE LYON 1-LYON 3 EN "PHILOSOPHIE DE LA PHYSIQUE"
    Journée programmée le 3 avril 2013, à l'université Lyon 1, à l'initiative du S2HEP-Lyon 1 (Hughes Chabobt, Nicolas Lechopier) et de l'IRPhil-Lyon 3 (J-B. Joinet et Élodie Giroux )

  17. WORKSHOP "PROOFS AND PROGRAMS"
    Journée organisée du 16 au 18 mai 2013, à l'Université Jean Moulin-Lyon~3, par JB Joinet, dans le cadre de l'IRPhil, avec le soutien du programme ANR-DFG Hypothetical reasoning

  18. HISTORY AND PHILOSOPHY OF COMPUTING (COLLOQUIUM HAPOC 2013)
    Organisé sous la responsabilité de Maarten Buillynck (univ. Paris 8) et J-B. Joinet à l'ENS-Paris et à l'ENSAD (Paris), du 28 au 31 octobre 2013 (Page Web)

  19. WORKSHOP "ANALYTICITY AND COMPLEXITY"
    2-3 décembre 2013, organisé par JB Joinet à l'université Jean Moulin-Lyon 3 (IRPhil)

  20. COLLOQUE "LE CALCUL ET LE TEMPS"
    Colloque de philosophie de l'informatique
    6-7 novembre 2014, organisé par JB Joinet à l'université Jean Moulin-Lyon 3 (IRPhil)
    Programme des exposés
  21. COLLOQUE "MODELING HYPOTHETICAL REASONING: VALIDITY, INFERENCE AND PARADOXES"
    IHPST-Université Paris 1
    19-20 février 2015, organisé par Mattia Petrolo (avec JB Joinet et J. Fichot)
    Programme des exposés
  22. JOURNÉE "FONDEMENTS ET INTERPRÉTATIONS DE LA THÉORIE QUANTIQUE"
    Université Lyon 1
    24 mars 2015, Sabine Rabourdin et Adrien Vila-Valls (S2HEP, Lyon~1 et ENS~Lyon) et J-B.~Joinet (IRPhiL, Lyon~3)
    Programme des exposés
  23. COLLOQUE "COMPUTING, LOGIC AND TYPES"
    IRPhiL (Université Jean Moulin Lyon  3)
    12-13 novembre 2015, Org. J-B.~Joinet (IRPhiL, Lyon~3)
    Programme des exposés
  24. EVENT "LINEAR LOGIC: PROOFS, COMPUTING, INTERACTION"
    07-10 novembre 2016
    IRPhiL (Université Jean Moulin Lyon  3)
    • 07-08 November : Autumn school in Linear Logic;
    • 08 November (afternoon): Workshop "Linear Logic and Philosophy";
    • 09-10 November : "Workshop "Linear Logic : types, semantics and complexity".
    Org. : P. Baillot (LIP, Plume, ENS Lyon), J-B.~Joinet (IRPhiL, Lyon~3), O. Laurent (LIP, Plume, ENS Lyon$)
    Site web
  25. (Version imprimable de cette liste  - format pdf)

Accueil      Recherche      Enseignement      Coordonnées