Espace de Jean-Baptiste Joinet

Professeur de logique

Faculté de philosophie

Université Jean Moulin - Lyon 3


Accueil      Recherche      Enseignement      Coordonnées

Recherche

COMMUNICATIONS EN PHILOSOPHIE
(DE LA LOGIQUE, DE L'INFORMATIQUE, DU LANGAGE)


(Version imprimable de cette liste  - format pdf)
  1. Lieu : Université Paris 1 (Panthéon-Sorbonne), UFR de Philosophie
    Date : Mai 1996
    Cadre : Séminaire de logique de l'UFR de Philosophie (coord. S. Berestovoy et J-B. Joinet), consacré à la question: "Qu'est-ce qu'une Logique ?"
    Titre : Le calcul du sens

  2. Lieu : Université de Paris 1 (Panthéon-Sorbonne), UFR de Philosophie
    Date : 6-7 février 1998
    Cadre : Les formes de la rationalité aujourd'hui - Journées de l'Ecole doctorale de Philosophie
    Titre : Inférence et Référence

  3. Lieu : École des Hautes Etudes en Sciences Sociales, CAMS
    Date : Janvier 1999
    Cadre : Séminaire d'épistémologie des mathématiques dirigé par Jean Petitot
    Titre : Calcul et Raisonnement (exposé jumelé avec un exposé de G. Dowek sur le même thème)

  4. Lieu : Université Keiô (Tokyo, Japon)
    Date : 19 juin 1999
    Cadre : Séminaire du département de Philosophie de
    Titre : What is a logic ?

  5. Lieu : Pontifícia Universidade Católica (PUC, Rio de Janeiro, Brésil)), département de Philosophie
    Date : Juillet 2001
    Cadre : Colloque "Natural Deduction" (organisé par L-C. Pereira)
    Titre : From Natural Déduction to the Nature of Reasoning

  6. Lieu : Università Roma Tre, département de Philosophie (Rome)
    Date : Mai 2002
    Cadre : Colloque "Logique et Philosophie" (organisé par M. Abrusci)
    Titre : Démonstration et Raisonnement

  7. Lieu : école Normale Supérieure, Paris
    Date : Février 2003
    Cadre : Séminaire "Mathématiques et Philosophie" (dirigé par P. Cartier, G.  Longo, B. Tessier)
    Titre : Le temps logique

  8. Lieu : Université Paris X (Nanterre), département de Philosophie
    Date : Mars 2003
    Cadre : Séminaire de philosophie des mathématiques (resp. J-M. Salanskis, A. Benmakhlouf)
    Titre : Preuves et réfutations: sur le clivage syntaxe-sémantique

  9. Lieu : Université Paris 1
    Date : Avril 2003
    Cadre : Colloque "Logique Mathématique, Informatique et Philosophie"
    Titre : Le temps logique

  10. Lieu : Università Roma Tre, département de Philosophie
    Date : Mai 2003
    Cadre : Séminaire de Philosophie de la logique (resp. M. Abrusci)
    Titre : Il tempo logico

  11. Lieu : Buoux (Luberon)
    Date : 9-11 mai 2004
    Cadre : Rencontres "Logique et Interaction: vers une Géométrie du Cognitif" (LIGC)
    Titre : Raisonnement versus Démonstration (table-ronde avec Ali Benmakhlouf, Albert Burroni, Giuseppe Longo)

  12. Lieu : Conservatoire National des Arts et Métiers, Paris
    Date : 1er juillet 2004
    Cadre : "Journée en hommage à Francis Bailly" du Centre pour la Synthèse d'une épistémologie Formelle
    Titre : Table-ronde autour de "Causalités et symétries dans les sciences de la nature: le continu et le discret mathématiques"

  13. Lieu : Pontifícia Universidade Católica, Département de Philosophie, Rio de Janeiro, Brésil
    Date : Janvier 2005
    Cadre : Séminaire "Logique et philosophie" (dir. Luiz-Carlos Pereira)
    Titre : On logical time

  14. Lieu : Université Paris 1
    Date : 22 avril 2005
    Cadre : Colloque "Le logique et le biologique" (dir. J-B Joinet)
    Titre : Logique, processus et interaction

  15. Lieu : École Normale Supérieure, Paris
    Date : 22 avril 2005
    Cadre : Colloque "Géométrie et complexité: la logique et ses images" (dir. G. Longo)
    Titre : La logique: de l'espace au temps

  16. Lieu : Université Pierre Mendès-France, Grenoble
    Date : 26 janvier 2006
    Cadre : Séminaire "La mathématisation comme problème", organisé en commun par l'Université Pierre Mendès-France (Grenoble) et l'ENS LSH (Lyon). Coordination: Sophie Roux et Hughes Chabot.
    Titre : Mathématisabilité, Logique et Interaction

  17. Lieu : Ecole Normale Supérieure, Paris
    Date : 11 mars 2006
    Cadre : Séminaire "Musique et mathématiques", thème 2005-2006: "Logique mathématique et logique musicale". Coordination: François Nicolas (ENS) et Moreno Andreatta (IRCAM).
    Titre : Temps logique et temps musical

  18. Lieu : Ecole Normale Supérieure (Paris), Département de Philosophie
    Date : 31 mars 2006
    Cadre : Séminaire "Pensée des sciences" (coordination: Charles Alunni, ENS Ulm)
    Titre : Logique et grammaire du temps interactif

  19. Lieu : Università Roma Tre, Département de Philosophie (Rome)
    Date : 28 avril 2006
    Cadre : Incontro "Geometria della Logica", 28-29 aprile 2006 (coord. M. Abrusci et L. Tortora de Falco)
    Titre : Logica e grammatica della narrazione interattiva

  20. Lieu : Centre Culturel International de Cerisy-la-Salle
    Date : 20 septembre 2006
    Cadre : "Logique, Sciences et Philosophie" (École thématique du CNRS, coordination J-B Joinet)
    Titre : Logique et interaction

  21. Lieu : École Normale Supérieure, Paris
    Date : 29 septembre 2006
    Cadre : Journée "Ouvrir la Logique au monde" (organisée par le Groupe Histoire, Philosophie, Sciences de l'ENS)
    Titre : La Logique, le temps et l'autre

  22. Lieu : Università Roma Tre, Département de Philosophie (Rome, Italie)
    Date : 7 novembre 2006
    Cadre : Séminaire de Philosophie de la Logique (resp. M. Abrusci)
    Titre : Logica e Interazione

  23. Lieu : École Normale Supérieure, Paris
    Date : 16 mars 2007
    Cadre : Journée d'études de Prélude (groupe de recherche sur la Pragmatique théorique, Programme blanc de l'ANR, resp. A. Lecomte)
    Titre : Sur l'aspect verbal

  24. Lieu : École Normale Supérieure, Paris
    Date : 20 octobre 2007
    Cadre : Colloque "Les mutations de l'écriture: arts et sciences" (19-20 octobre 2007), organisé par C. Debru, F. Nicolas, Groupe Histoire, Philosophie, Sciences (GHPS) de l'ENS.
    Titre : La déconstruction logique de l'écriture

  25. Lieu : Sorbonne
    Date : 11 avril 2008
    Cadre : "La thèse de Church: hier, aujourd'hui, demain". Colloque de philosophie de l'informatique organisé par J-B Joinet, grâce au soutien d'EXeCO (EA "Philosophies contemporaines", UFR de Philosophie, Paris 1) et du GHPS ("Groupe Histoire, Philosophie, Sciences", ENS Paris)
    Titre : La thèse de Church à l'heure des métamorphoses du calcul et de la logique

  26. Lieu : Università Roma Tre, Département de philosophie
    Date : 18 avril 2008
    Cadre : Colloque "Dimostrazioni, polarità e cognizione"(18-19 aprile 2008), organisé par L. Tortora de Falco
    Titre : Contexte et cotexte: les critères du logique

  27. Lieu : École Normale Supérieure, Paris
    Date : 26 septembre 2008
    Cadre : Colloque "Le temps long: de la physique aux sciences humaines" (25-26 septembre 2008), organisé par le Groupe Histoire, Philosophie, Sciences de l'ENS. Colloque coordonné par Claude Debru (dép. philosophie) et Thierry Paul (dép. mathématiques).
    Titre : La logique et le temps trop long

  28. Lieu : Centre de colloques de Carry-le-Rouet, Marseille
    Date : 16-19 octobre 2008
    Cadre : Colloque "Négation, Dualité, Polarité", organisé par Myriam Quatrini de l'Université de la Méditerranée
    Titre : Négation et infini

  29. Lieu : École Normale Supérieure, Paris
    Date : 9 février 2009
    Cadre : Séminaire "Philosophie et mathématiques", ENS Paris (\url{www.di.ens.fr/users/longo/philo-math.html})
    Titre : Négation et infini

  30. Lieu : Universidade Federal do Rio Grande do Norte (Natal, Brésil)
    Date : 21 avril 2009
    Cadre : "Colóquio internacional de metafísica" (\url{www.filosofia.cchla.ufrn.br/IIICIM/})
    Titre : On logical monism

  31. Lieu : Università Roma Tre, Dipartimento di filosofia
    Date : 15 mai 2009
    Cadre : Seminario del "Gruppo di logica" (\url{http://logica.uniroma3.it/seminario})
    Titre : La metafisica aristotelica e lo statuto delle logica contemporanea: alcune considerazioni

  32. Lieu : Université Paris 1, UFR de Philosophie
    Date : 11 décembre 2009
    Cadre : Séminaire transversal (resp. B. Haas et G-F. Duportail)
    Titre : Sur la négation

  33. Lieu : Maison des sciences de l'homme, Paris
    Date : 22 mars 2010
    Cadre : "Proofs and Meaning $-$ Logical and philosophical perspectives", Colloque du Programme franco-allemand ANR-DFG: Hypothetical Reasoning (HYPO, dirigé par M. Bourdeau et P. Schröder-Heister). Coord.: F. Poggiolesi, M. Petrolo
    Titre : Protological foundations for Logic

  34. Lieu : école Normale Supérieure, Paris
    Date : 24 mars 2010
    Cadre : Ideals of proofs 7th "Fellows seminar" (coord. M. Detlefsen, ANR, Chaire d'excellence).
    Titre : Negation: from ideality to interaction

  35. Lieu : Università Roma La Sapienza, dipartemento di Filosofia, Villa Mirafiori
    Date : 18 juin 2010
    Cadre : Colloque "Logic and Knowledge", organisé par Carlo Cellucci (conférence "satellite", à l'invitation du "Gruppo di ricerca in Logica e Geometria della Cognizione”, dipartimento di filosofia, università degli studi di Roma Tre)
    Titre : Negation and protological foundations for logic

  36. Lieu : Pontifícia Universidade Católica, département de Philosophie (Rio de Janeiro)
    Date : 9 septembre 2010
    Cadre : Séminaire de Philosophie de la logique (resp. Luiz Carlos Pereira)
    Titre : On negation

  37. Lieu : Universidade do Estado do Rio de Janeiro (UERJ), Centre de colloques d'Ilha grande
    Date : 13 septembre 2010
    Cadre : Workshop "Logic and philosophy", 13-15 sept 2010 (org. Luiz Carlos Pereira)
    Titre : Toward protological foundations for logic

  38. Lieu : Université Paris 1, UFR de Philosophie
    Date : 16 octobre 2010
    Cadre : Journée "Sémantique, sémantiques", 16 octobre 2010 (org. J-B. Joinet)
    Titre : La complétude forte: au delà de la distinction syntaxe-sémantique

  39. Lieu : Institut Henri Poincaré
    Date : 18-20 novembre 2010
    Cadre : Colloque "La question des fondements à l'ère post-fondationnelle"
    Titre : Sur les fondements protologiques de la logique

  40. Lieu : University of Helsinki, Philosophy Department
    Date : 14 janvier 2011
    Cadre : Logic and Philosophy seminar
    Titre : Negation: from ideality to interaction

  41. Lieu : Università degli studi di Roma Tre, Dipartimento di filosofia
    Date : 30 mai 2011
    Cadre : Seminario del "Gruppo di logica" (\url{http://logica.uniroma3.it/seminario})
    Titre : Computazione e protologica

  42. Lieu : University of Nancy
    Date : 19-26 juillet 2011
    Cadre : Symposium "Rebuilding Logic on Interaction" (14th Congress of Logic, Methodology and Philosophy of Science, CLMPS 2011
    Titre : Toward protological foundations for logic

  43. Lieu : McGill University (Canada)
    Date : 27 octobre 2011
    Cadre : The Montreal Inter-University Workshop on the History and Philosophy of Mathematics (resp. Gregory Lavers, Concordia Univ.; Mathieu Marion, Univ. du Québec à Montréal; Jean-Pierre Marquis, Univ. de Montréal; Dirk Schlimm, McGill Univ.)
    Titre : Toward protological foundations for logic

  44. Lieu : Université du Québec à Montréal (UQAM), Canada
    Date : 28 octobre 2011
    Cadre : Département de philosophie de l’UQAM et Chaire de recherche du Canada en philosophie de la logique et des mathématiques
    Titre : Calcul, sens et référence

  45. Lieu : Institut d'Histoire et Philosophie des Sciences et des Techniques, Paris
    Date : 28 novembre 2011
    Cadre : Séminaire Philmath  (séance initialement prévue le 16/01/2012, remplacement improvisé d'un orateur indisponible)
    Titre : Calcul, sens et référence

  46. Lieu : école Normale Supérieure, Paris
    Date : 5 décembre 2011
    Cadre : Workshop "Semantical Issues" (Action Cofecub "Théories contemporaines de la logique et philosophie du langage : enjeux épistémologiques et sémantiques")
    Titre : Calcul, sens et référence

  47. Lieu : école Normale Supérieure, Paris
    Date : 10 décembre 2011
    Cadre : Workshop "Epistemological aspects of computation" (colloque commun de l'Action Cofecub "Théories contemporaines de la logique et philosophie du langage : enjeux épistémologiques et sémantiques" et du programme ANR-DFG "Hypothetical reasoning")
    Titre : On the epistemological status of programming languages

  48. Lieu : école Normale Supérieure, Paris
    Date : 12 décembre 2011
    Cadre : Workshop "On negation" (organisé conjointement par l'Action Cofecub "Théories contemporaines de la logique et philosophie du langage : enjeux épistémologiques et sémantiques" et le programme ANR-DFG "Hypothetical reasoning")
    Titre : On the architectonical role of negation

  49. Lieu : école Normale Supérieure, Paris
    Date : 10 décembre 2011
    Cadre : Workshop "Epistemological aspects of computation" (colloque commun de l'Action Cofecub "Théories contemporaines de la logique et philosophie du langage : enjeux épistémologiques et sémantiques" et du programme ANR-DFG "Hypothetical reasoning")
    Titre : On the epistemological status of programming languages

  50. Lieu : Institut Henri Poincaré, Nancy
    Date : 4 mai 2012
    Cadre : Workshop "Classical and intuitionistic logic" (organisé par Joseph Vidal-Rosset), du 4 au 5 mai 2012
    Titre : Metamorphosis of constructivity

  51. Lieu : Cirphles, École Normale Supérieure, Paris
    Date : 7 mai 2012
    Cadre : Séminaire "Philosophie de l'informatique, de la logique et de leurs interfaces" (coord. J-B. Joinet)
    Titre : Langages de programmation et axiomatiques de l’action

  52. Lieu : Université du Québec à Montréal (UQAM)
    Date : 2 juin 2012
    Cadre : Congrès de la "Société de philosophie des sciences"
    Titre : La distinction sens-référence revisitée par le calcul

  53. Lieu : Università degli studi di Roma Tre, Dipartimento di filosofia
    Date : 4 juillet 2012
    Cadre : Seminario del "Gruppo di logica"
    Titre : Ipotesi e negazione

  54. Lieu : Pontifícia Universidade Católica, département de Philosophie (Rio de Janeiro)
    Date : 5 septembre 2010
    Cadre : Séminaire de Philosophie de la logique (resp. Luiz Carlos Pereira)
    Titre : Introduction to Ludics

  55. Lieu : Pontifícia Universidade Católica, département de Philosophie (Rio de Janeiro)
    Date : 6 septembre 2010
    Cadre : Séminaire de Philosophie de la logique (resp. Luiz Carlos Pereira)
    Titre : Meaning Theory and Axiomatics for Action

  56. Lieu : ASMA 74, Rochebrune
    Date : 15 janvier 2013
    Cadre : Journées de Rochebrune 2013 (du 13 au 19 janvier 2013)
    Titre : Preuve naturelle et nature de la preuve, de G. Gentzen à J.-Y. Girard

  57. Lieu : Université Jean Moulin - Lyon 3
    Date : 6 mars 2013
    Cadre : Journée ``Rythmes et Complexité''
    (coord. Jean-Jacques Wunenburger, Julien Lamy et Pascal Michon),
    coorganisée par l'IRPhil (Lyon 3) et le séminaire RHUTHMOS (ENS-Lyon)
    Titre : Le temps du calcul : rythme et complexité

  58. Lieu : Université Jean Moulin - Lyon 3
    Date : 17 mai 2013
    Cadre : Colloque ``Proofs and Programs: from semantics to complexity''
    Coord. Jean-Baptiste Joinet
    organisé par l'IRPhil (Lyon 3)
    Titre : Logic and naturalness

  59. Lieu : Università degli Studi di Roma Tre
    Date : 4 juin 2013
    Cadre : Colloque "Logic and philosophy" (4-7 juin 2013 )
    Coord. Michele Abrusci, Dip. di Filosofia,
    Titre : Logica e naturalità

  60. Lieu : Universidade Estaduale do Rio de Janeiro (CEADS, Ilha Grande)
    Date : 27 août 2013
    Cadre : Colloque ``Logic and Semantics" (26-30 août 2013)
    Org.: Luiz Carlos Pereira (dép. de Philosophie de la PUC-Rio et de l'UERJ)
    Titre : Logic and naturalness

  61. Lieu : Laboratório Nacional de Computação Científica (LNCC), Petrópolis (RJ, Brésil).
    Date : 9 avril 2014
    Cadre : Congrès EBL 2014 : Encontro Brasileira de Lógica (07-11 avril 2014)
    Titre : The Computational Basis of Semantics

  62. Lieu : Universidade Federal de Goiás, Goiâna (GO, Brasil).
    Date : 16 mai 2014
    Cadre : Séminiaire du Departamento de filosofia (resp. Wagner Sanz)
    Titre : Lógica e Naturalidade

  63. Lieu : Institut d'Histoire et Philosophie des Sciences et des Techniques (IHPST, Univ. Paris 1).
    Date : 30 mai 2014
    Cadre : Colloque ``Hypotheses'' (programme franco-allemand "Hypothetical Reasoning – Its Proof-Theoretic Analysis", ANR-DFG)
    Titre : The Computational Basis of Semantics

  64. Lieu : Universidade Federal di Rio Grande do Sul (Porto Alegre, IFCH/UFRGS)
    Date : 19 août 2014
    Cadre : Seminario do Programa de Pós-Graduaçao em Filosofia (coord. Gisele Secco)
    Titre : As bases computacionais da semántica

  65. Lieu : Universidade de São Paulo (USP), Departamento de filosofia
    Date : 25 août 2014
    Cadre : Seminario de Lógica (coord. Andrea Loparic)
    Titre : Introdução à Lógica Lineare

  66. Lieu : Universidade de Campinas (UNICAMP), SP, Brésil. Departamento de filosofia
    Date : 26-27 août 2014
    Cadre : Seminario de Lógica (coord. Marcelo Coniglio \& Walter Carnielli)
    Titre : (Série de trois conférences) Três pontos de vista da Lógica Linear sobre a negação: coerência computacional, dualidade, domação computacional dos paradoxes

  67. Lieu : Institut de Recherches Philosophiques de Lyon (IRPhiL, Lyon 3)
    Date : 6-7 novembre 2015
    Cadre : Colloque "Le calcul et le temps" (org. JB Joinet)
    Titre : Calcul et complexité: le temps morcelé

  68. Lieu : Keyô University (Tokyo). Department of Philosophy
    Date : 12-13 janvier 2015
    Cadre : Colloque international "Logical Inference and Proof" (coord. M. Okada)
    Titre : The computational basis of semantics

  69. Lieu : ASMA-Rochebrune
    Date : 21 janvier 2015
    Cadre : Journées de Rochebrune sur La singularité dans les systèmes complexes et artificiels (19-23 janvier 2015)
    Titre : Processus de calcul, individuation et singularité

  70. Lieu : Institut d'Histoire et Philosophie des Sciences et des Techniques (IHPST, univ. Paris 1)
    Date : 20 février 2015
    Cadre : Colloque "Modeling hypothetical reasoning: validity, inference, and paradoxes" (org. M. Petrolo, avec J-B. Joinet et J. Fichot), 19-20 février 2015
    Titre : Individuals, characters and their sociality

  71. Lieu : Institut d'Histoire et Philosophie des Sciences et des Techniques (IHPST, univ. Paris 1)
    Date : 9 mars 2015
    Cadre : Séminaire "Interactions entre informatique, logique et langage: histoire et philosophie" (org. L. de Mol, A.Naibo, Sh.Rahman, M.van Atten)
    Titre : Individu/Prédicat : une distinction primitive ? À la recherche du temps perdu

  72. Lieu : Laboratoire SPHERE (univ. Denis Diderot, Paris~7)
    Date : 16 mars 2015
    Cadre : Séminaire SémioMaths (coord. Elie During, Juan-Luis Gastaldi, Patrice Maniglier, David Rabouin)
    Titre : Une introduction sémiotique à la Logique Linéaire} (série d'exposés, session 1 sur 3)

  73. Lieu : Università degli Studi di Roma Tre
    Date : 28 mars 2015
    Cadre : Colloque "Proofs and Types - 25 years after" (26-28 mars 2015, org. Michele Abrusci et Paolo Pistone)
    Titre : Rebuilding semantics from computational processes

  74. Lieu : Laboratoire SPHERE (univ. Denis Diderot, Paris~7)
    Date : 20 avril 2015
    Cadre : Séminaire SémioMaths (coord. Elie During, Juan-Luis Gastaldi, Patrice Maniglier, David Rabouin)
    Titre : Une introduction sémiotique à la Logique Linéaire} (série d'exposés, session 2 sur 3)

  75. Lieu : Università degli Studi di Roma Tre
    Date : 21 mai 2015
    Cadre : Colloque \og{}Beyond Logic\fg{} (21-22 mai 2015, org. Michele Abrusci \& Paolo Pistone)
    Titre : Actional processes, individuals and identity criteria

  76. Lieu : Laboratoire SPHERE (univ. Denis Diderot, Paris~7)
    Date : 27 mai 2015
    Cadre : Séminaire SémioMaths (coord. Elie During, Juan-Luis Gastaldi, Patrice Maniglier, David Rabouin)
    Titre : Une introduction sémiotique à la Logique Linéaire} (série d'exposés, session 3 sur 3)

  77. Lieu : Institut d'Histoire et Philosophie des Sciences et des Techniques (IHPST, univ. Paris 1)
    Date : 28 mai 2015
    Cadre : Séminaire "Logiques non classiques" (org. Ekaterina Kubyshkina)
    Titre : Analyse computationnelle de la distinction antinomie/contradiction

  78. Lieu : Pontifícia Universidade Católica, département de Philosophie (Rio de Janeiro)
    Date : 6 septembre 2015
    Cadre : Colóquios de filosofia (resp. Luisa Buarque de Holanda)
    Titre : Individuos e Predicado num universo processual

  79. Lieu : Université Jean Moulin Lyon 3
    Date : 01 octobre 2015
    Cadre : Journée "Logique et Langage", organisée par l'association Les Médiations Philosophiques
    Titre : De l'action au langage: logique et processus

  80. Lieu : Universidade Federal da Bahia (UFBA), Salvador, Brésil
    Date : 07 octobre 2015
    Cadre : XIX Colóquio CONESUL de Filosofia das Ciências Formais (05-09 octobre 2015). Thème de l'édition 2015: Filosofia da geometria.
    Titre : Provas como estruturas geométricas: o programa de Geometria da Interação de Girard

  81. Lieu : Université Keyô (Tokyo, Japon), Department of Philosophy
    Date : 28 novembre 2015
    Cadre : Colloque "Proof-theory, Philosophy and Computer Science" (28-29 novembre 2015).
    Titre : Logic and Naturalness

  82. Lieu : ASMA-Rochebrune
    Date : 20 janvier 2016
    Cadre : Journées de Rochebrune sur les systèmes complexes naturels et artificiels: "Qu'est-ce qu'une donnée ?" (18-22 janvier 2016)
    Titre : Sur la notion de "Type de données"

  83. Lieu : Pontifícia Universidade Católica, département de Philosophie (Rio de Janeiro)
    Date : 25 juillet 2016
    Cadre : Séminaire de l'Instituto de lógica e filosofia da linguagem (coord. Luiz CArlos Pereira)
    Titre : Actualidade do programa de Lógica transcendantal : Church e a dinâmica do tempo informacional

  84. Lieu : Université Jean Moulin Lyon 3
    Date : 06 octobre 2016
    Cadre : Journée "Discours et Sens", organisée par l'association Les Médiations Philosophiques
    Titre : Quand faire, c'est dire

  85. Lieu : Universidade de Lisboa, Centro de Filosofia das Ciências
    Date : 14 octobre 2016
    Cadre : Conferências de Filosofia das Ciências
    Titre : Teoria da computação, dinâmica do tempo informacional e ontologia

  86. Lieu : Universidade de Lisboa, Centro de Filosofia das Ciências
    Date : 17 octobre 2016
    Cadre : Seminário Permanente de Filosofia das Ciências
    Titre : Teoria da prova e Epistemologia

  87. Lieu : Université Jean Moulin Lyon 3
    Date : 8 novembre 2016
    Cadre : International workshop "Linear Logic and Philosophy"
    Titre : Linear Logic and the analysis of the computational time

  88. Lieu : ASMA-Rochebrune
    Date : 18 janvier 2017
    Cadre : Journées de Rochebrune sur les systèmes complexes naturels et artificiels
    Thème de l'édition 2017 : Processus et Dynamique
    Titre : Processus et Ontologie

  89. Lieu : Université Denis Diderot - Paris 7
    Date : mars 2017
    Cadre : Séminaire Sémiomaths (org. E.During, J-L.Gastaldi, P.Maniglier, D.Rabouin)
    Titre : Action du signe et événement : une lecture de Church

  90. Lieu : Ecole Normale Supérieure (Paris), Centre Cavaillès
    Date : 03 avril 2017
    Cadre : Séminaire "Mathématiques et Philosophie" (coord. P. Cartier, J-B. Joinet, G. Longo, J. Petitot, J-J. Szczeciniarz)
    Titre : Sur les traces de Church : événement et hasard

  91. Lieu : Université Jean Moulin Lyon 3, Palais de l'université
    Date : 05 avril 2017
    Cadre : Conférences mensuelles de la Société Rhodanienne de Philosophie (coord. Mai Lequan)
    Titre : Actualité du programme de logique transcendantale : Church et la dynamique du temps informationnel

  92. Lieu : Keiô University (à Tokyo)
    Date : 18 avril 2017
    Cadre : Philosophy Evening Seminar (org. M. Okada)
    Titre : From the Dynamic of Informational Time to Ontology: a reading of Church

  93. Lieu : Centre Culturel International de Cerisy-la-Salle
    Date : 24 mai 2017
    Cadre : Colloque Beyond Logic (du 22 au 27 mai 2017). Org. J.Fichot
    Titre : From the dynamic of informational time, to objects and propositions : an Husserlian reading of Church and Gentzen

Accueil      Recherche      Enseignement      Coordonnées