En Tête Permanent

Espace de Jean-Baptiste Joinet

Professeur de logique

Faculté de philosophie

Université Jean Moulin - Lyon 3 


Accueil      Recherche      Enseignement      Coordonnées

Recherche

PROGRAMMES TEMPORAIRES DE RECHERCHE (HORS ÉQUIPES DE RATTACHEMENT)


  1. LE PRÉSENT:
    • 2015-2018 : PICS "Logic, computation and normativity"
      Programme franco-japonais du CNRS (coord. P. Wagner et M. Okada). Porté par l'Institut d'Histoire et Philosophie des Sciences et des Techniques (IHPST, UMR 8590, CNRS-Université Paris 1), le Japanese-French joint laboratory CNRS-Tokyo et le département de philosophie de l'université Keiô à Tokyo.
      Statut : membre statutaire (et correspondant pour l'IRPhiL, équipe associée)

    • 2015-2019 : GDR "PhilMaths" (Groupement de Recherche du CNRS en Philosophie des Mathématiques)
      (coord. JJ. Szczeciniarz, SPHERE, Université Paris Diderot)
      Statut : membre statutaire, coordinateur pour l'IRPhiL (équipe membre du GDR). Membre du comité de programme pour l'édition 2019 du colloque annuel du GDR

    • 2016-2019 : GDRI LL (Groupement de recherche international du CNRS : Linear Logic)
      Programme franco-italien soutenu par le CNRS
      (Site web).
      Statut : membre statutaire

    • 2017-2020 : "Philosophie et Informatique : interactions contemporaines" (CAPES-COFECUB)
      Programme franco-brésiien (action SH-873-17 du Cofecub). Porté par l'IRPhiL (Faculté de philosophie, Lyon 3) et l'Instituto de lógica e filosofia da linguagem (Dep. de filosofia, PUC-Rio).
      Statut : je suis responsable du programme du côté français (resp. côté brésilien: Luiz Carlos Pereira)

    • 2018-2022 : Programme de l'ANR "What is a (computer) program ? Philosophical and historical perspectives"
      Coord. Liesbeth de Mol (UMR "Savoirs et Textes", CNRS & Université de Lille 3) (https://programme.hypotheses.org)GDR "PhilMaths" (Groupement de Recherche du CNRS en Philosophie des Mathématiques)
      Statut : membre statutaire et correspondant pour l'IRPhiL (équipe membre du programme)
  2. LE PASSÉ:
    • 1992-1995: BRA TYPES
      "Basic Research Action" de la Communauté Européenne (programmes ESPRIT)
      Statut : membre statutaire.

    • 1998-2002 : TMR Linear
      Programme "Training and Mobility for Researchers" de la Communauté Européenne
      Statut : membre statutaire.

    • 2003-2012: GDR LIGC
      , Logique et Interaction: Géométrie de la Cognition. Groupe de recherche interdisciplinaire (Logique, Sciences, Philosophie).
      Statut: coordinateur et membre du comité scientifique (d'avril 2003 à 2012).

    • 2006: Gruppo di Logica e Geometria della Cognizione di Roma Tre
      Groupe de recherche en Logique du département de philosophie de l'Université Roma Tre.
      Statut: membre invité (un mois, en octobre-novembre).

    • 2007-2010: ANR "Prélude - vers une pragmatique théorique: ludique et continuations en linguistique computationnelle".
      Programme blanc de l'ANR dirigé par Alain Lecomte. (sites: Bordeaux, Nancy, Marseille, Paris; Londres, Rome).
      Statut : membre statutaire.

    • 2008-2014: ANR-DFG "Hypothetical Reasoning"
      Programme franco-allemand ANR-DFG porté côté français par l'IHPST (univ. Paris 1), côté allemand par l'Université de Tübingen
      (Site web).
      Statut: membre statutaire

    • 2010-2013: CAPES-COFECUB "Théories contemporaines de la logique et philosophie du langage"
      Programme de recherche franco-brésilien (CAPES-COFECUB) Statut: je suis responsable du programme côté français (resp. brésilien: Luiz Carlos Pereira)

    • 2010-2013: ANR LOCI
      Programme "Locativité et Interaction en Logique, Linguistique et Informatique"de l'Agence Nationale de la Recherche  dirigé par Alain Lecomte.
      Statut: membre statutaire

    • 2014-2017: CAPES-COFECUB "Preuves, Démonstrations et Représentation"
      Action quadriennale franco-brésilienne Sh 690/14 du CAPES-Cofecub

      Porté côté français par l'IHPST, Univ. Paris 1 (M.Panza), côté Brésilien par la PUC-Rio (O.Chateaubriand)
      Statut: membre statutaire

    • 2015-2016 : "Interactions contemporaines de l’informatique et des mathématiques - enjeux épistémologiques et fondationnels"
      Programme "Bourgeon"de l'Université Jean Moulin Lyon 3.
      Programme franco-brésilien porté par l'IRPhiL.
      Statut : je suis responsable du programme

    • 2015-2017: ANR-DFG "Beyond Logic"
      Programme franco-allemand ANR-DFG porté côté français par l'IHPST (univ. Paris 1), côté allemand par l'Université de Tübingen
      (Site web).
      Statut: membre statutaire

    • 2016 : "On Proofs Representation : texts and diagrams"
      Programme "Bourgeon" de l'Université Jean Moulin Lyon 3.
      Programme franco-japonais (Lyon 3-université Keiô, Tokyo) porté par l'IRPhiL.
      Statut : je suis responsable du programme

Accueil      Recherche      Enseignement      Coordonnées