G. Longo: EXPOSES INVITES/ INVITED LECTURES:
1998:
Instit. Superior Tecnico, Lisboa, Portugal (Dep. de Matematica; hôte: A. Sernadas): "Proofs, morphisms and programs: a survey", 12 February, 1998.
Universita' di Bologna (Dip. di Informatica; hôte: A. Asperti): "Circoli vizioni: dalla logica alla matematica", 20 Febbraio, 1998.
Collège de France, Paris (LPPA; hôte: A. Berthoz): "Réflexions sur les fondements cognitifs de la géometrie", 24 Mars, 1998.
Laboratoire de Maths Discrètes, CNRS, Marseille (Colloque HCM "Types"; coordinateur: I.Y. Girard): "Theory, Metatheory ... Predicative, Impredicative ... : from logic to dynamical systems. Some Philosophy, some mathematical results", 9 Avril, 1998.
Universita' di Roma I, Roma (Dip. di Informatica:
hôte: C. Boehm): "Circolarita` ed Impredicativita` in
Logica ed in Matematica: dalla Teoria dei Domini a quella dei Sistemi
Dinamici.", 21 Avril, 1998.
Discussione sui temi del volume
"Le Ragioni della Logica" di Carlo Cellucci, Laterza, 20
Maggio, 1998.
Universita' di Roma II, Roma (Dip. di Filosofia: hôte: A. Carsetti): "Logica e tempo in Informatica", 19 Maggio; "Infinito e dimostrazioni in Aritmetica", 21 Maggio 1998.
ENS, Paris (Laboratoire "La Pensée des Sciences"; hôte: C. Alunni): "L'infini mathémathique, les machines et les méthaphores", 27 Mai, 1998.
Brandeis University, Boston (Department of Computer Science; hôte: H. Mairson): "Computability in Dynamical Systems via Domain Theory", June 25, 1998.
Conference on "Operations, Sets and Types". Invited lecture: "Vicious circles: in Logic and in Mathematics", Castiglioncello (It.), October 3-6, 1998.
Universita' di Pisa, Pisa (Dip. di Informatica; hôte: G. Levi): "Topologie e geometria in Informatica", 26 Ottobre, 1998.
Symposium on "Foundations in Mathematical and Natural Sciences". Invited lecture: "The 'other way round': from Biology to Mathematics", Pontificia Universitas Lateranensis, Vatican City, November 26-27, 1998.
Pontificia Universitas Lateranensis, Citta' del Vaticano (Centro di Studi Fenomenologici: hôte: A. Ales Bello):"Formalismi ed incompletezza, oggi, dopo Friedman e Girard: riflessioni di un matematico applicato, a partire delle osservazioni di Weyl (Il Continuo, 1918; La Simmetria, 1953), Wittgenstein (1928-36) ed Husserl (Le Origini della Geometria, 1936)", 28 Novembre, 1998.
Workshop on "Methodology in Cognitive Sciences", lecture on "Mathematical invariance and coding-dependence in Logic and Computer Science, an issue in knowledge representation", Fondation des Treilles, Nice, December 7 - 13, 1998.
Primo Incontro Annuale del Progetto
Cofinanziato "Tecniche formali per la specifica, l'analisi,
la verifica, la sintesi e la trasformazione di sistemi software".
Conferenziere straniero invitato: "Circolarita' ed equazioni,
invarianza e geometria, dalla Teoria dei Tipi ad altri aspetti
dell'Informatica", Roma, 21 - 23 Dicembre 1998.
1999:
University of Lisbon, Lisboa (Department of Informatics; hôte: V. Vasconcelos): "Continuous Structures in Computer Science: from domain equations to computations in dynamical systems", Jan. 9, 1999.
ENS, Paris (avec B. Teissier): "Mathématiques et Cognition: à partir de l'intelligibilité géometrique de l'espace sensible", 17 Février, 1999 (voir Géométrie et Cognition).
Universita' di Genova, Genova (Dipartimento di Matematica; hôte: P. Boero): "Assiomatica e deduzione: dalla lettura degli assiomi di Euclide al teorema di Kruskal-Friedman (FFF)"; Comune: "La resistibile ascesa della metafora: il cervello e' un calcolatore digitale", 11 et 12 Mars, 1999.
Colloque "L'existence en Mathématiques". Conférence invitée: "Existence, coherence et constructions mathématiques possibles", Paris, 27 Mars 1999.
EHESS, Paris, Seminaire "Histoires des Géometries" (hôte: D. Flement). Exposé: "Les limites du formalisme: l'intelligibilité géometrique de l'espace", 10 Mai 1999.
University of Kyoto Japan (RIMS - Computer Sci. Dept., Workshop on Proof-checking; hôte: S. Hayashi): "Impredicativity: the general notion and some recent consequences in Type-Theory", 15 May 1999.
University of Keio Tokyo, Japan (Philosophy Dept., hôte: M. Okada): "Categories, types and programs, in the context of mathematical knowledge" and "Some remarks of Husserl's and Wittgenstein's and the understanding of recent incompleteness results in Proof-Theory.", 18 and 19 May 1999.
Tokyo Inst. of Technology Japan (Computer Sci. Dept, hôte: M. Takahashi): "On the proofs of unprovable theorems.", 20 May 1999.
Scuola "Matematica e Musica": "Costruzioni di mondi sonori". Conferenza invitata: "Costruzioni nello spazio e nel tempo, in Logica ed in Informatica", Maratea, 29 - 31 Agosto 1999.
Colloque "Le réel en Mathématiques". Conférence invitée: "Objectivité et construction en Mathématiques", Cérisy, 3 - 10 Septembre 1999.
The 1999 meeting of the British Logic Colloquium. Invited lecture: "Prototype proofs and Genericity in Type Theories", Swansea, Wales, September 23-25, 1999.
Universita' di Bologna, Bologna (Dipartimento di Matematica ed Informatica; hôte: A. Asperti): "Sulle dimostrazioni dei teoremi indimostrabili", 27 Septembre, 1999.
III scuola estiva di Logica, AILA-SILFS: "Circolarita' logiche ed espressivita' matematica" Cesena, Italie, 28-30 Septembre, 1999.
Centro di Filososfia della Scienza Firenze: "I fondamenti della matematica e la metafora: il cervello e' un calcolatore digitale (II)", 5 Novembre, 1999.
Colloque "Le rationnalisme: science et philosophie en France et en Italie", Istituto Italiano per gli Studi Filosofici, Napoli: "Il costituirsi del "piano fenomenale" in Matematica, con la Matematica", 10 - 11 Dicembre, 1999.
Universita' di Torino, Torino
(Dipartimento di Informatica; hôte: M. Dezani): "Riflessioni
sull'incompletezza", 20 Dicembre, 1999.
2000:
Universita' di Roma III, Roma (Dipartimenti di Filosofia e di Matematica; hôte: M. Abrusci): "L'intelligibilita' geometrica dello spazio ed i fondamenti della conoscenza (matematica)", 7 Febbraio, 2000.
Universita' di Roma I, Roma (Dipartimento di Informatica; hôte: A. Labella): "Incompletezze "concrete" in Aritmetica: dall'induzione formale al problema del carico induttivo", 7 Marzo, 2000.
ENS, Paris (SÉMINAIRE DE PHILOSOPHIE ET MATHÉMATIQUES): "Mémoire et objectivité en mathématiques", 20 Mars, 2000.
Scuola Superiore dell'Universita' di Catania, Catania (e Dipartimento di Informatica; hôte: V. Sassone): "Un'introduzione alla Logica ed ai fondamenti della matematica (corso breve, 10 ore)", 3 - 8 Aprile, 2000.
Colloque "Epistemologia aperta e filosofia della mente", Catania (Istituto di Studi Filosofici ed Epistemologici): "L'epistemologia della matematica e la filosofia della mente, fra geometria e linguaggi.", 3 e 4 Aprile, 2000.
Istituto Italiano di Cultura, Paris: "Il costituirsi dei concetti di numero e di spazio nella prassi della matematica", 12 Aprile, 2000.
Collège de France, Paris (Atelier Espace, hôte: M. Denis): "Les fondements cognitifs des mathématiques, entre espace et langage", 17 Avril, 2000.
Olimpiadi Nazionali di Matematica, Cesenatico, It.: "Concetti e Deduzioni in Matematica", 6 Maggio, 2000.
Imperial College, London (Departement of Computing; hôte: A. Edalat) "The geometric intelligibility of space and the foundation of mathematical knowledge", May 10, 2000.
Université de Paris VII, Paris (Equipe de Logique; hôte: P. Ressayre): "Le problème mathématique de l'espace et les fondements des mathématiques", 15 Mai, 2000.
Colloque "Language and Cognition", Roma (Universita' di Roma II): "Is Language the only ground for Mathematical Knowledge? ", 18 - 20 Maggio, 2000.
Colloque "Mathématiques 2000: Mathématiques, calcul, ordinateurs", Paris (ENS): "The Difference between Diderot's clocks, Turing machines and concurrent systems", 24 mai, 2000.
Université de Paris VII, Paris (Labo. Preuves, Programmes et Systèmes; hôte: P.L. Curien, A Bucciarelli): "Réflexions sur les incomplétudes "concrètes" de l'Arithmétique et les preuves prototypes", 8 Juin, 2000.
Colloque "Conoscenza e cognizione", Firenze (It.): "Sulla natura della logica", 7 Novembre, 2000.
Colloque "Geometria, intuizione ed esperienza", Castiglioncello (It.): "Concetti matematici ed oggetti della fisica", 1 e 2 Dicembre, 2000.
Journées d'épistémologie (physique, logique, mathématiques), I H P, Paris : "Principes de preuve et principes de construction: la notion de preuve, en mathématiques, est-elle recursive?", 5 et 6 Décembre, 2000.
Annual Conference TYPES'2000.
Key-Note Lecture: "Formal unprovability of provable properties
of numbers and prototype proofs in Type Theory", Durham,
UK, December 8 - 12, 2000.
2001:
INRIA, Roquencourt (Colloquium; hôte: M. Kern): "Des fondements mathématiques possibles pour la prochaine machine", 16 Janvier, 2001.
Colloque Mathematics and Cognition, University of Rome II: "Mathematics, intentionality and meaning", February 9 and 10, 2001.
Universita' di Rome I (Dip. di Filosofia, hôte: C. Cellucci) :"I fondamenti della Matematica, le macchine, il cervello", 15 Febbraio, 2001.
Séminaire Heidelberg-Nancy-Strasbourg, Nancy (hôte: P. Nabonnand): "Le problème de l'espace, les fondements des mathématiques et l'informatique", 30 Mars, 2001.
Universita' dell'Aquila (Dip. di Informatica, hôte: B. Intrigila): "Codifiche e calcoli: alcune differenze fra gli "orologi" di Diderot, le Macchine di Turing ed il cervello", 9 Aprile 2001.
Colloque The categorial researches: Husserl's Logic, (Archives Husserl, ENS, Paris): "From the "genealogy of concepts" (Riemann) to the "epistemological elucidation" (Husserl) in the foundations of Mathematics, today", April 27 - 28, 2001.
Cambridge University, Cambridge, GB (Computer Science Dept., hôte: A. Pitts): "On the formal unprovability of some provable properties of numbers", May 17, 2001.
Séminaire Logique-Mathématiques-Philosophie (LMP), CNRS - Univ. de Marseille (hôte: J.-Y. Girard): "Le problème de l'espace, les fondements des Mathématiques et les machines", Mai 26 et 27, 2001.
Journée Le concept de modèle interne en neurosciences, Collège de France, Paris : "Représentations de l'espace et du temps en mathématiques et en physique, leur rôle en cognition", 15 Juin, 2001.
Colloque en honneur de Gilles CHÂTELET ou Vivre et penser comme un dieu, Paris, "La métaphore et le geste dans la preuve: relire l'incomplétude mathématique des formalismes avec Gilles Châtelet, au-dela de la Gödélite", 27-29 June, 2001.
AMS/SMF Meeting (American Mathematical Society and Societé Mathématique de France), Lyon: "Foundations of mathematics: some challenges in the interaction with other sciences", July 17-20, 2001.
Colloque international Géométrie au vingtième siècle : 1930-2000, Institut Henri Poincaré, Paris: "Les fondements géométriques du calcul; les fondements cognitifs de la géométrie", 24 - 29 septembre 2001.
Colloque international The
Mathematics of Ennio De Giorgi Scuola Normale Superiore,
Pisa: "The foundation of Mathematics as interaction with
other sciences: reflections relating to and departing from De
Giorgi's foundational approach". October 24 - 27, 2001.
2002:
Queen Mary and Westfield College , London (Computer Science Dept., hôte : M. Berger): "Unprovability and Prototype Proofs in Type Theory", January 18, 2002.
Universita' di Pisa , Pisa (Dip. di Informatica., hôte : G. Ghelli): "Indimostrabilita' "concreta" in Aritmetica e "giudizi geometrici"", 19 Febbraio, 2002.
Workshop "Forme et objet du logique", Universite' de Rome III, Rome : "Complexite' et information dans les changements des formes", 1-5 Mai, 2002.
Colloque international "Cognition, Meaning and Complexity. Self-Organization in Cognitive Systems", Universite' de Rome II, Rome: "Complexity as the nesting and interaction of levels of organization", 14-15 June, 2002.
Colloque international "The cognitive foundations of mathematics" (Epistemology and Cognition as foundational issues in Mathematics), Villa Mirafiori, Univ. Roma I, Rome: "Naturalizing Mathematics: the cognitive roots of Mathematics' constructed effectiveness", 9 - 10 September, 2002.
Colloque Giulio Preti a trent'anni dalla scomparsa, Castello Pasquini, Castiglioncello (LI) : "Rationality, computations and forms: a critique of a scientific experience/ Razionalita', calcoli e forme: riflessioni su una esperienza scientifica", 17-19 ottobre 2002.
University of Nijmegen , Nijmegen, The Netherlands (Mathematics and Computer Science Depts., hôte : H. Barendregt): "Forms, Complexity and Information in some Natural Phenomena", December 9, 2002.
ENS, Paris (Séminaire "Formes Symboliques"; hôte: J. Lassègue): "Abstraction, symbolisme et rigueur : l'objectivité construite des Mathématiques", Salle des Actes 16h - 19h, 17 Décembre, 2002.
Incontro Annuale del Progetto
Cofinanziato "CoMeta - Computational Metamodels".
Conferenziere straniero invitato: "Al di la' della codifica: un
quadro concettuale per l'informazione e la complessita' nei fenomeni
naturali", Venezia, 19 - 21 Dicembre 2002.
2003:
Universita' di Milano, Milano, (Dip. di Filosofia, hôte : G. Giorello): "Fondamenti delle Matematica e filosofia delle scienze naturali", 27 Gennaio 2003.
Tata Institute of Fundamental Research, Bombay, INDIA (School of Tech and Computer Science, host : R. Shyamasundar): Lecture I: "Reflections on concrete incompleteness". Lecture II: "Foundations of Mathematics and Philosophy of Natural Sciences", February 20 and 21, 2003.
International Conference on Theoretical Neurobiology, National Brain Research Centre, New Delhi, INDIA, invited lecture: "A conceptual frame for Complexity, Information and Causality", February 24-26, 2003.
Indian Institute of Technology, Delhi, INDIA (Dept. of Computer Science, host : S. Prasad): Lecture I: "Some topologies for computations." Lecture II: "Physical Space and Time and the Foundations of Mathematics", February 27, 2003.
Ministero degli Affari Esteri e CNR, Roma, : "Riflessioni sulla diaspora scientifica italiana", 10-12 Marzo 2003.
ENS, Paris (Laboratoire "La Pensée des Sciences"; hôte: C. Alunni): "Cat�ories et dynamiques de la pens� : l'importance d'un cadre conceptuel ouvert et quelques applications sp�ifiques", 26 Mars, 2003.
"Centro Enriques" ed Universita' di Pisa, Livorno, "Matematica e scienze della natura, a partire da Enriques", 4 Aprile 2003.
Workshop Logique: Mathématique, Informatique, Philosophie, Univ. Paris VII et Paris I, Paris : "Discret vs. continu mathématiques et causalite' physique", 24 - 26 Avril, 2003.
Universita' di Pisa, International School of Graduate Studies, Pisa: "Intelligibility of Space, the Continuum and Theories of Knowledge", May 9, 2003.
Université de Marne la Vallée, (Dépts. de Mathématiques et d'Informatique; hôte: M. Cannone) , Marne la Vallée: "Le rôle de l'espace dans les fondements des mathématiques et de l'informatique", May 27, 2003.
Conference on "Cognition, Meaning and Reality", Rome, invited lecture: "Mathematical structuring of causality", June 6-7, 2003.
European Software Engineering Conference and ACM SIGSOFT Symposium, Helsinki, Finland, invited lecture: "Complexity as nesting and interaction of organization levels in some natural phenomena", September 1-5, 2003.
Journée "Intrications philosophie - sciences de la nature", ENS, Paris: "La philosophie des mathématiques : de la scholastique platonisme/formalisme à une composante d'une philosophie de la nature", 24 octobre, 2003.
"Ramifications of Category Theory", a Workshop in honour of W. Lawvere, Universita' di Firenze, Firenze: "Categories against the absolute: relitivising constructions and "l'esprit de géométrie"", 18-23 November, 2003.
Incontro Annuale del Progetto
Cofinanziato "CoMeta - Computational Metamodels".
Conferenziere straniero invitato: "Computer Modelling and
Imitation in Natural Sciences", Udine, 15 - 18 Dicembre 2003.
2004:
King's College, London, (Computer Science Dept., hôte : T. Maibaum): "Computational vs continuous models and causal relations", January 28, 2004.
Incontro Annuale di Didattica della Matematica ". Conferenziere invitato: "Linguaggio e gesto: dai fondamenti alla cognizione", Pisa, 5 - 6 Febbraio, 2004.
Universita' di Milano, Milano, (Dipartimento di Filosfia, hôte : C. Sini): 1 - "L'incompletezza concreta dei formalismi logici ed il senso nel segno (matematico)"; 2- "Determinazione fisica e formalismi logici: da Laplace a Turing, passando per Poincare' (cenni ad una artificialita' incompleta)", 10 - 11 Marzo, 2004.
Journée "Intéret de la notion de symétrie : comme paradigme interdisplinaire?" , conférence invitée: "Symétries et structures causales", Paris, 18 Mars, 2004.
Universita' di Roma I, Roma, (Dipartimento di Matematica, hôte : C. Berardi): "Fondamenti della matematica, fra processi cognitivi e filosofia della natura", 4 Maggio, 2004.
Journées sur la "Philosophie de la Nature : les mathématiques, la physique et la biologie en question" , conférence invitée : "Niveaux d'organisation et relations causales en science de la nature", Paris, 13-14 Mai, 2004.
Conference on "Computing and Philosophy", invited lecture: "Computer imitation and mathematical understanding", Pavia, Italie, 3 - 5 June, 2004.
Colloque "Détermination et complétude : "Aléas, déterminisme et programmes: les enjeux du continu vs. le discret mathématique", C�isy, Fr., 22 - 29 Juin, 2004.
Conference on "Dynamic Ontology: an enquire into systems, levels of reality and causality", invited lecture: "The structures of causality and computer vs. mathematical modelling", Trento, Italie, 8 - 12 September, 2004.
Colloque "Non-linéarité irréversibilité et complexité ", conférence invitée : "Complexité structurelle : le continu vs. le discret'', Paris, EHESS, 7-8 octobre, 2004.
Conférence "Alan M. Turing, pour le cinquantenaire de sa mort", conférence invitée : "De la difficulté de se mettre dans la peau d'un ordinateur: la Machine et le vivant", Metz, 15 octobre, 2004.
Convegno "Alan Mathison Turing. L'uomo, la macchina, l'enigma", conférence invitée : "Dalla catastrofe della scrittura alla "Discrete State Machine": espressivita' e limiti del tagliare il mondo con l'accetta", Milano, 3 - 4 Novembre, 2004.
University of Sao Paulo, Brasil, (Dept. of Computer Science, hôte : M. Finger): "A cognitive investigation of concrete incompleteness", 13 November 2004.
University of Campinas, Brasil, (Center for Logic and Cognition, hôte : W. Carnielli): "Some aspects of information and complexity in natural phenomena", 15 November 2004.
University of Rio de Janeiro,
Brasil, (Dept. of Computer Science,hôte : I. de Castro
Dutra): "On the formal unprovability of some provable properties
of numbers", 20 November 2004.
2005:
Imperial College, London, (Computer Science Dept., host : A. Edalat): "Continuous vs discrete dynamics; some history, some concepts, one theorem", January 26, 2005.
XXII incontro "dell'Associazione Italiana di Logica e sue Applicazioni (AILA)", conferenza di apertura: "Dai fondamenti della matematica alle scienze della natura: l'importanza dei risultati negativi." Pisa, 10 - 13 Febbraio, 2005.
Workshop on "Theoretical Biology", at the National Brain Research Centre, New Delhi, INDIA, invited lecture: "From local physical criticality to the extended criticality of life", February 14 - 15, 2005.
Journée sur La preuve et le raisonnement : visualization et structures, REHSEIS - CNRS, Paris, (organizateur : M. Panza): "Intuition et construction en mathématique", 14 Mars, 2005.
Universita' La Sapienza, Roma, (Dip. di Informatica, ospite: S. Guerrini): "Calcolabilita' e dinamiche: predittibilita' vs. decidibilita'", 18 Marzo, 2005.
Colloque "Le logique et le biologique", Paris, conférence invitée : "L'originalité de nos formalismes laplaciens vs. la criticité dynamique du vivant", 22 avril 2005.
Colloque "A partir de l'Origine de la géométrie de Husserl", Paris, conférence invitée : "Fondements des mathématiques: arithmétique vs géométrie, les enjeux pour une philosophie des sciences de la nature", 14 mai 2005.
Colloque "La preuve mathématique : logique, histoire, philosophie", Lille, invitation au débat: "L'incomplétude mathématique des formalismes et la complexité intrinsèque de la preuve", 24 - 28 mai 2005.
Ecole "Mathématiques et cerveau", Paris, coordination et introduction au débat: "Mathématiques, cognition et espace", 14 juin 2005.
Colloque "Intelligence de la complexité : science et pragmatique", Cerisy, conférence invitée : "Complexité critique : le discret vs. le continu mathématiques", 23 - 30 juin 2005.
Laboratoire de Génomique Fonctionnelle (CNRS et Université Pierre et Marie Curie, hôte: C. Auffray), Villejuif : "L'incomplétude causale du paradigme du programme génétique et la singularité physique du vivant", 29 septembre, 2005.
Colloque "Turing, Goedel et Von Neumann: entre logique et biologie", Nice, conférence invitée : "Turing et Goedel au milieu du gué : de la détermination laplacienne vers la morphogénèse et le sens", 9 - 10 novembre 2005.
Laboratoire de Neurosciences
Cognitives (LENA, CNRS et la Salpétrière, hôte:
S. Baillet), Paris : "Imitations et modèles : le
cerveau a la Turing et la situation critique du vivant", 28
novembre, 2005.
2006:
Leiden University, Leiden (NL), (Biology Dept., host : H. van Mill): "Extended critical situations: physical causality vs. singularity and autonomy of life", January 10, 2006.
Universita di Siena, Siena, (Dip di Matematica, host : A. Ursini): "Da Poincare' a Turing: l'impredittibilita' dei sistemi dinamici e l'indecidiblita' computazionale sono nozioni correlate?", 20 Febbraio, 2006.
Convegno sul "Rilievo culturale della Matematica", Accademia di Livorno e centro F. Enriques, Livorno, conferenza su: "Fondamenti della matematica, fra processi cognitivi e filosofia della natura, a partire da Enriques", 23 - 25 Marzo 2006.
Conference "Logic, Models and Computer Science", Camerino, invited lecture: "Physical Determination, Unpredictability and Undecidability in Critical Processes", 20 - 22 April 2006.
Séminaire interdisplinaire, La passerelle des Arts, ENS, Paris: "Dynamiques de pensée en mathématiques: principes de preuve vs. principes de construction", Salle des Actes, 10h, le 29 avril 2006.
ENS, Paris (Séminaire "Formes Symboliques"; hôte: J. Lassègue): "Mathématiques et sciences de la nature. La singularité physique du vivant", au 45, salle des Résistants, 14h - 17h, 2 mai 2006.
EHESS, Paris, Journée "Interfaces géométrie, physique et biologie": "Géométrie du temps biologique", 8 juin 2006.
Universita di Torino, Torino, (Dip di Informatica, host : M. Dezani e S. Ronchi): "Correlazioni fra impredittibilita' dinamica ed indecidiblita': alcuni concetti, a partire da Poincare', ed alcuni risultati recenti su dinamiche unidimensionali", 23 Giugno, 2006.
Colloque/Ecole "Logique et Interaction: vers une géométrie du cognitif", Cerisy-la-salle : " Structures causales et géométrie du temps biologique", 19-26 septembre 2006.
Convegno di "Neurofenomenologia", Milano: "Processi cognitivi e la ragionevole efficacia della Matematica", 4 Ottobre, 2006.
Convegno franco-italiano: "Continuo e discreto", Gargnano (Milano, It.) : "La determinazione fisica ed il continuo matematico (discussione)", 5 - 7 Ottobre, 2006.
Université de Orsay, Orsay, (Dept d'Informatique, Grand Séminaire): "Que nous dit l’ordinateur du monde ? entre informatique et sciences de la nature", 11 Octobre, 2006.
Università di Pisa, Pisa, (Lezione Galileana): "Dall'informatica alla biologia: la singolarità fisica del vivente", 25 Octobre, 2006.
Colloque : "Federico Enriques et la science européenne", Paris : "Principes de construction entre arithmétique et géométrie", 8 décembre 2006.
Colloque de biologie théorique : " A quoi sert la modélisation ?", Centre Cavalliès, Paris : "Imitations, modèles, schèmes", 23 janvier, 2007.
Université de Nice, Nice, (Séminaire interdept., hôte : J. Kouneiher): "La question de la modélisation et la singularité physique du vivant", 6 fevrier, 2007.
Athens University, Athens, (Graduate Program in Logic, host : C. Dimitracopoulos): "Undecidability in Logic vs dynamical unpredictability", 19 fevrier, 2007.
Conference: "Mathematics and Truth: Fundamental Issues in Logical Research", Pisa: "From Logic to the Natural Sciences: knowledge constructions and mathematical models", March 28, 2007.
Conference: "Deduction, Computation, Experiment. Exploring the notion of proof and model", Bologna: " Processes as Deductions and Programs, a successful paradigm for Computing, a misleading metaphor in Molecular Biology", April 3-4, 2007.
Journée : "Schématiser la constitution de l’espace (et du temps)", Collège de France, Paris: "Schèmes spatiaux du temps, continuité temporelle de l'espace", 5 Avril 2007.
Dipartimento di Informatica, Univ. di Genova, (hôte : E. Moggi): "Sull'abuso della nozione di programma in biologia molecolare", 23 Maggio, 2007.
Journée : "Epistémologie et mathématiques des systèmes complexes", CREA, Paris : "De la critique des principes physico-mathématiques aux changements de regard et d’espace des phases en biologie", 5 juin, 2007.
Colloque : "La question des enchevêtrements hiérarchiques, en mathématiques et en biologie.", Nice : "Différences et analogies entre autoréférences logiques et enchevêtrements-bouclages causaux chez le vivant ", 7-8 juin, 2007.
Dipartimento di Informatica, Univ. di Venezia, (hôte : A. Salibra): "Critica della Teoria della Programmazione in biologia molecolare", 13 Giugno, 2007.
France Culture: "Présentation du livre avec Francis Bailly", Radiofrance, Paris: "Mathématiques et sciences de la nature. La singularité physique du vivant", 14 juin, 2007.
Conference: "From Type Theory to Morphological Complexity: A Colloquium in Honor of Giuseppe Longo", CNAM, Paris: "A few concluding remarks following Schrödinger: biological organisation and negative entropy", June 28-29, 2007.
The 2007 meeting: "ISHPS Studies in Biology", Exeter (GB): "From the “DNA is a Program” paradigm towards the role of randomness and extended criticality in Biology", July 25 - 29, 2007.
Minsimposio: "Fondamenti delle Scienze: settorializzazione e unitarietà della conoscenza", Arcidosso: "Critica dei principi delle scienze esatte e riflessioni teoriche in biologia", 6-8 settembre, 2007.
France Culture: "Au tour de la notion de modèle, mathématique vs. informatique", Radiofrance, Paris: 14h, 13 septembre, 2007.
Conference: "Types and Computations", Roma: "Symmetries in Foundations", October 3, 2007.
Rencontre publique: "La révolution numérique : écriture, monnaie, information", Palazzo Farnese, Ambassade de France, Roma : "L'ordinateur et les sciences de la nature/La macchina digitale e le scienze della Natura", 16h 30, le 5 octobre, 2007.
Conference: "Neurophysiological memory: time and space", Strasbourg: "Geometric schemes for biological time", Ottober 23, 2007.
Dipartimento di Informatica, Univ. Firenze, (Séminaire interdept., hôte : R. De Nicola): "Il DNA e' un programma?", 11h 30, il 25 Ottobre, 2007.
Conference: "Logica e...", Pisa: "La Logica, i Programmi ed il DNA", 26 Ottobre, 2007.
Rehseis, Paris, : "Poincaré, Goedel et l’ADN : questions de détermination et de formalismes", 17h, le 20 novembre, 2007.
Centre Cavaillès, ENS, Paris, : "Critique de la raison physico-mathématique en sciences du vivant. Quelques extensions théoriques du physico-mathématique", 13h 30, le 21 novembre, 2007.
Convegno "Il filosofo e le pratiche scientifiche", Milano: "L'elementare complesso e l'etica della conoscenza", 5 Dicembre, 2007.
Colloque 2007 du Groupe "Logique et Interaction: vers une géométrie du cognitif", Roma: "Poincaré, Goedel et l’ADN", 13-16 Dicembre, 2007.
Conference: "Type Theory, Lambda Calculus and Life", Neijmegen (NL): "DNA, differential methods and the Boehm-out technique". (Personal attendance cancelled, but text in the proceedings: DNA-incompHenk.pdf).
Centre de Mathématiques Appliquées, EHESS (hôte : H. Berestycki), Paris, : "Quelques résultats négatifs, l'incomplétude et la modélisation " (avec T. Paul), salle 214, 15-18h, le 22 janvier, 2008.
Convegno: "La vita come fenomeno globale multilivello: origini, emergenze, evoluzioni", Bergamo (It.): "La singolarita' fisica del vivente, entropia negativa e criticita' estesa ", 27 febbraio, 2008.
Dipartimento di Filosofia, Universita' di Pavia (hôte : L. Magnani), Pavia, : "L'importanza dei risultati negativi. Comparazioni inter-teoriche di grandi programmi scientifici errati.", 9h-11h, 3 Aprile, 2008.
Colloque: "La thèse de Church hier, aujourd'hui, demain", Paris : "L'arithmétique vs. l'enjeu du mobile et de la mesure", 11 avril, 2008.
Dipartimento di Filosofia, Universita' di Roma I (hôte : E. Gagliasso), Roma, : "I miti alfabetici della logica e del programma, in cognizione e biologia", 14h, 21 Aprile, 2008.
Colloque: "Enchevêtrements et action du temps dans les systèmes vivants", Nice : "L'organisation comme anti-entropie et la double irréversibilité du temps biologique", 4-6 juin, 2008.
Séminaire : "XXVIIIème Séminaire de la Société Francophone de Biologie Théorique", Saint-Flour (Cantal, France) : "Géométrie du temps biologique", 8-11 juin, 2008.
Conference: "Values and Logic in I. Royce", Opole (Poland): "The role of order, relational invariants and infinity in modern foundations of Mathematics: some reflections following Royce", June 24-28, 2008.
Colloque: "Temps Long. De la physique aux sciences humaines", ENS, Paris : "L'aléatoire à temps court, long et infini", 25-26 septembre, 2008.
Colloque: Négation, Dualité, Polarité du Groupe LIGC, Carry le Rouet (Marseille) : "Antinomies et polarités dans les analyses de l'état vivant de la matière", 16-19 octobre 2008.
Colloque international: "Science, épistémologie, société", Venezia : "L'activité du vivant dans l'espace: des fondements cognitifs des mathématiques aux dynamiques biologiques", 29-31 octobre, 2008.
Colloque : "Maladies multifactorielles et état de santé qui les précède : comprendre l’interface, challenge de la médecine préventive du 21e siècle ", Paris : "Organisme/organes : schèmes abstraits d'intégration/régulation", 15-16 novembre, 2008.
Convegno : "Metafore del vivente", Roma : "L'informazione in Biologia: dal modello matematico al fascino discreto della metafora" (Abstract in English: info-bio11-08.pdf), 27-29 novembre, 2008.
35th International Conference on: "Current Trends in Theory and Practice of Computer Science", Špindlerův mlýn (Czech Republic): "Randomness and determination in Computing and Physics. Some reflections on Biology.", January 24-30, 2009.
Workshop: "Poincaré: matematica e filosofia", Bergamo (It.): "Aleatorio dinamico ed aleatorio algoritmico", 13 Febbraio, 2009.
Ateliers sur: "La contradiction", Ecole des mines, Saint-Etienne (Fr): "Contradictions et résultats négatifs, entre mathématiques et sciences de la nature", 19-21 mars 2009.
19 World Conference on: "Proof and Proving in Mathematics Education", Taipei (Taiwan): "The constructed objectivity of Mathematics and its cognitive roots: the construction of mathematical objects and proofs", May 10-15, 2009.
Convegno sul: "Naturalismo e antinaturalismo", Firenze (It): "Dall'alfabeto al senso: verso i fondamenti cognitivi della matematica e verso una matematica dello stato vivente della materia", 28-29 Maggio, 2009.
Convegno "Quale scienza per quale societa'", Palazzo Ducale, Lucca (It), sezione Pensare la scienza: "La scienza di fronte al limite: l'importanza scientifica, etica e politica dei risultati negativi", 25-26 giugno 2009.
The 2009 meeting: "ISHPS Studies in Biology", Brisbane (Australia): "Complexity and Evolution, an analysis in terms of Entropy production", July 12 - 16, 2009.
Second Workshop on: "Informatic Phenomena (Information beyond Informatics)", New Orleans (USA): "Information in Biology : metaphor or model ? Anti-entropy and a model of phenotypic complexity along Evolution", October 5 - 9, 2009.
School of Engineering and Applied Sciences, Harvard University, Boston, USA (host: D. Weitz): "Building bridges: from the Mathematics of Information to Biological Organization", at 14h, October 14, 2009.
Baxter Lectures 2006-2009: "1809-2009. Il futuro di Darwin", Pisa, It.: "Complessita' degli organismi, Evoluzione delle specie ed ... equazione di Schroedinger", 27 e 28 Novembre, 2009.
Conférence: "Visualisation et mathématisation", Université de Liège, Be.: "Voir les mathématiques, des fondements aux applications", 3 et 4 décembre, 2009.
Convegno: "Nature, Selection and Biology", Firenze, It.: "La singolarita' fisica dello stato vivente della materia", 4-8 dicembre, 2009.
Ceperc, CNRS, Aix en Provence (host: P.-A. Miquel): "Criticité étendue et cycles biologiques", 16 décembre, 2009.
Institut d'Etudes Avancées, Nantes (host: A. Supiot ): "Penser et prouver en mathématiques et en physique. Et en biologie?", 9 février, 2010.
Convegno in memoria di: "Aldo Gargani", Pisa: "La critica dei fondamenti e le correlazioni fra saperi scientifici", 2 marzo, 2010.
Conference in honor of: "Erwin Engeler's 80th birthday", the Swiss Logic Society, Berne, Switzerland: "From Logic to Randomness and Organization, as Anti-entropy, in Darwin's Evolution", March 4-5, 2010.
Interviews:
1 - France Culture: La place de la Toile, le 12/3/10: "Internet, logique et finance".
2 - Bulletin of European Assoc. Theoretical Computer Science, April 2010: Interview by Cristian Calude.
Ecole: "Interdisciplinaire de biologie", Berder, Fr.: "L'information et ses théories, de Turing à Chaitin. Et en biologie?", 29 mars - 2 avril, 2010.
Conference: "Models of Cognition", Roma, It.: "Protension and biological rhythms", May 14 - 15, 2010.
Philmath Intersem 2010, Paris (host: M. Detlefsen): "Symmetries and principles of constructions, from Mathematics towards Biology", March 11, 2010.
Summer School: "Biology and Cognition", San Sebastian, Spain: "Biological and Cognitive Times", June 22 - 26, 2010.
Conference: "Computability in Europe", Ponta Delgada (Azores), Portugal: "Incomputability in Physics and in Biology", June 30 - July 5, 2010.
Conference: "11th International Symposium on Frontiers of Fundamental Physics", Paris: "Some Mathematics for Biological Theories: Randomness and Organisation, as Anti-entropy, in Darwin's Evolution", July 6-9, 2010.
Journée: "Simplicité – complexité du vivant (au tour du livre de A. Berthoz)", Collège de France, Paris: "La complexité du temps et la simplicité de l'action protensive du vivant", 20 septembre, 2010.
Colloque: "Questions de phrasé", ENS, Paris: "Rétension et protension, entre biologie et cognition", 23 - 25 septembre, 2010.
Seul National University, Seul, South Korea (host: Sh. Kim): "The physical singularity of life phenomena; the construction of biological theories at the "limit" of physical theories", November 2, 2010.
KAIST (Korea Advanced Institute of Science and Technology), Daedeok Science Town, Daejeon, South Korea (host: Woosuk Park); "Foundational analyses in science and conceptual crossing-over", November 5, 2010.
Université Paris XIII, Paris (dépt d'Informatique, host: S. Guerrini); "Une critique de la notion d'information en biologie et un modèle de la complexité phénotypique au cours de l'évolution", 29 novembre, 2010.
Convegno: Filosofia e Biologia, Universita' di Bologna, Forli' ; "Dai fondamenti della matematica ai fondamenti teorici della biologia", 3 - 4 dicembre, 2010.
Deuxième rencontre "PhénoMath": Concepts purs / Concepts appliqués, Nice ; "Le geste, la trajectoire et l'infini dans la constitution de l'objet mathématique", 9 - 10 décembre, 2010.
Interview, France Culture, La place de la Toile : à 17h : " Alan M. Turing", 26 décembre, 2010.
Espace Mendès France, Poitiers (hôte : A. Bonnefoy): "Brève histoire de l'infini, du continu et du discret", 11 janvier, 2011.
Université Montpellier 2, Montpellier (Dépt. de mathématiques ; hôte : V. Durand-Guerrier): "La preuve et le sens dans les fondements des mathématiques", le 17 février; une rencontre avec les doctorants et discussion au sujet du cours vidéo-enregistré Six leçons sur l'indécidabilité logique et l'aléatoire physique, 18 février, 2011.
Universita' di Verona, Verona (It.), Manifestazione pubblica: Infinita ... mente: "Sapere dire 'no' in scienza, o l'importanza dei risultati negativi", 19 marzo, 2011.
Ecole normale supérieure, Paris (Centre Cavaillès) : "Symétries et dualités : de la physique à la biologie par extensions théoriques", 6 avril, 2011.
Workshop, The concept of Interaction. Crossovers among Biology, Logic and Philosophy, Univ. Roma III, Roma : "Ever since Darwin: conceptual oppositions in Biology", 27 aprile, 2011.
Convegno, Il benevolo disordine delle stato vivente della materia, Pisa : "Simmetrie ed aleatorio in biologia", 29 aprile, 2011.
Atelier, Information et stochasticité en biologie, Paris : "Codages, codages, codages ... les mythes du signal alphabétique et de l'information sans forme : rôle et impact sur un aléatoire possible entre physique et biologie", 4 - 6 mai, 2011.
Workshop on Self-Organization in Biology: Scope and Limits, Aix-en-Provence : "Symmetries and symmetry-breakings in extended criticality", 24 - 25 May, 2011.
Tufts University School of Medicine, Boston (Department of Anatomy and Cell Biology; host: A. Soto): "Information in Biology ?", June 7, 2011.
Brown University, Providence, RI, USA (Department of Computer Science; host: C. Kenyon): "Asymptotic (algorithmic/ergodic) Randomness vs. Randomness in Natural Sciences", June 9, 2011.
Journée, Concepts, Paris : "Symétries, entre mathématiques et sciences de la nature: un concept? une Gestalt?", 29 juin, 2011.
Convegno, Possibilita' e determinazione, Pisa : "Dalla determinazione dei sistemi di riferimento in fisica all'aleatorio biologico: quali evoluzioni possibili dell'eco-sistema?", 19 settembre, 2011.
Incontro con M. Buiatti e G. Longo, Universita' La Sapienza, Villa Mirafiori, Roma : "Ripensare la logica del vivente", 21 settembre, 2011.
Workshop, The poised realm, between Physics and Biology, Burlington, Vermont (USA) : "Biology and the undefiniteness of the space of possibilities", September 28 - October 2, 2011.
McGill University, Montréal, Canada, (Department of Mathematics; host: R. Seely), October 3 - 4, 2011:
Lecture 1: "Symmetries in foundations: from Mathematics to Natural Sciences".
Lecture 2: "Randomness from Mathematics to Physics and Biology."
Colloque, Formats techniques et formats non techniques de la pensée, Paris, : "Concepts, principes et techniques aux interfaces des disciplines", 3 - 4 novembre, 2011.
Colloque, Le hasard au coeur de la cellule, Lyon : "Aléatoire et irreversibilité du temps, physique/biologique", 21 - 23 novembre, 2011.
Conference, Theoretical Computer Science and Applications, Auckland, New Zealand: "Interfaces of Randomness", February 21 - 24, 2012.
Colloque, La temporalité en biologie, Paris: "L' irreversibilité propre du temps biologique : protension et rythmes comme organizateurs de l'action, face à l'aléatoire", 29 - 30 mars, 2012.
Atelier Morphologie, Paris: "A. M. Turing : les calculs et les formes", 2 - 3 avril, 2012.
Convegno L’eredità di Stephen J. Gould: Natura, Storia, Società, Venezia: "Randomness increases biological organization : a mathematical understanding of Gould's critique of evolutionary progress", 10 - 12 maggio, 2012.
Workshop of the Turing year, The Incomputable, Isaac Newton Institute programme - "Semantics and Syntax: A Legacy of Alan Turing" (SAS), Cambridge, GB: "Turing, from the "Discrete State Machine" to the “exponential drift” in continuous dynamics", June 12 - 15, 2012
Workshop of the Turing year, Computational Models After Turing: The Church-Turing Thesis and Beyond, Isaac Newton Institute programme - "Semantics and Syntax: A Legacy of Alan Turing" (SAS), Cambridge: "Computing? a machine imitating a man who is playing an alpha-numeric game.", June 18 - 23, 2012
Conférence grand public, Turing: 100 ans, Lyon: "A. M. Turing : du jeu de l'imitation au modèle des dynamiques continues des formes", 2 juillet, 2012.
European Logic Colloquium 2012, Manchester, GB: "Shroedinger (1944) and Turing (1952) on the Logic of Life: from the "coding" to the "genesis" of organization and forms.", July 12 - 18, 2012
Conférence grand public, La naissance de la Machine, LORIA, CNRS Nancy: " De Goedel à Turing ou l'importance des résultats négatifs", 13 septembre, 2012.
Ecole normale supérieure, Paris, Diffusion des savoirs: exposés par G. Longo à l'ENS (enregistrement audio et video), 2003-2007.
Back to Longo's index page.