Espace de Jean-Baptiste Joinet

Professeur de logique

Faculté de philosophie

Université Jean Moulin - Lyon 3


Accueil      Recherche      Enseignement      Coordonnées

Recherche
COMMUNICATIONS EN LOGIQUE MATHÉMATIQUE


(Version imprimable de cette liste  - format pdf)

  1. Lieu : Université Paris 7, UFR de Mathématiques
    Date : Décembre 1991
    Cadre : Séminaire de "Lambda-Calcul et Théorie de la démonstration" (dir. V. Danos et L. Regnier)
    Titre : Analyse de l'élimination des coupures dans le calcul des séquents classique

  2. Lieu : Université Paris 1, UFR de Philosophie
    Date : 7 et 30 janvier 1992
    Cadre : Séminaire "Logique en Sorbonne" (coord. S. Berestovoy)
    Titre : De la logique classique à la logique linéaire

  3. Lieu : Université Paris 7, UFR de Mathématiques
    Date : Février 1992
    Cadre : Séminaire "Lambda-Calcul et Théorie de la démonstration" (dir. V. Danos et L. Regnier)
    Titre : Un quotient pour le fragment multiplicatif de la "Déduction Libre'': les réseaux libres

  4. Lieu : Université Paris 1, UFR de Philosophie
    Date : 23 mars 1992
    Cadre : Séminaire "Logique en Sorbonne" (coord. S. Berestovoy)
    Titre : Deux restrictions complètes de l'espace des preuves du calcul des séquents classique

  5. Lieu : Université Paris 7, UFR de Mathématiques
    Date : Mai 1992
    Cadre : Séminaire "Programmation par preuves", dirigé par M. Parigot et P. Rozière
    Titre : Un algorithme non standard d'élimination des coupures dans le calcul des séquents classique

  6. Lieu : Université Paris 7, UFR de Mathématiques
    Date : Octobre 1992
    Cadre : Séminaire "Programmation par preuves" (coord. M. Parigot et P. Rozière)
    Titre : Deux restrictions complètes de l'espace des preuves du calcul des séquents classique

  7. Lieu : Université d'Aix-Marseille 2 (France), Département de Mathématiques et Informatique
    Date : 10 décembre 1992
    Cadre : Séminaire de Logique (coord. M-R. Donnadieu et P. Ille)
    Titre : Construction à travers la Logique Linéaire de deux restrictions complètes du calcul des séquents classique

  8. Lieu : Université Paris 6, UFR d'Informatique
    Date : Mars 1993
    Cadre : Séminaire de logique du Laboratoire d'Informatique Théorique et Programmation (coord. S. Grigorieff)
    Titre : Fragments constructifs de la Logique Classique

  9. Lieu : Istituto per le applicazioni del calcolo (CNR, Rome, Italie)
    Date : 5 et 6 avril 1993
    Cadre : Séminaire de Logique coordonné par G-F. Mascari
    Titre : Premier exposé: Construction through Linear Logic of two complete restrictions of Classical sequent calculus.
    Second exposé: The structure of exponentials: uncovering the dynamics of Linear Logic Derivations

  10. Lieu : Institute for Logic, Language and Computation (Amsterdam, Pays-Bas)
    Date : Mai 93
    Cadre : Séminaire de Logique dirigé par A. Tr{\oe}lstra
    Titre : Construction through Linear Logic of two complete restrictions of classical sequent calculus

  11. Lieu : Cornell University (Ithaca, New-York, USA)
    Date : Juin 1993
    Cadre : Conference "Linear Logic", organisée au Mathematical Sciences Institute
    Titre : Linear decorations of Classical proofs} (co-auteur-orateur: H. Schellinx)

  12. Lieu : Université de Brno (Republique Tchèque)
    Date : 24-27 août 1993
    Cadre : 3rd Kurt Gödel Colloquium on Computational Logic and Proof Theory
    Titre : The structure of exponentials: encovering the dynamics of Linear Logic Proofs

  13. Lieu : Centre International de Rencontres Mathématiques (CIRM), Marseille
    Date : Décembre 1993
    Cadre : Conférence sur la Logique Classique, organisée dans le Cadre du Basic Research Action "Types" (programmes européens ESPRIT)
    Titre : Constructive fragments of classical logic

  14. Lieu : University of Amsterdam (Pays-Bas)
    Date : 4 février 1994
    Cadre : "Linear Logic Day", organisé au Department of Mathematics and Computer Science of the University of Amsterdam
    Titre : Linear decoration of classical proofs

  15. Lieu : Technische Universität Wien, Vienne (Autriche)
    Date : 5-8 avril 1994
    Cadre : Conférence "Proof theory, Complexity, Metamathematics" (organisation: Institut für Computersprachen)
    Titre : Constructivization of Classical Logic

  16. Lieu : Centre International de Rencontres Mathématiques (CIRM), Marseille (France)
    Date : 7-10 novembre 94
    Cadre : Conférence "Proofs, Nets and Types" organisée dans le cadre d'un projet européen (Human Capital and Mobility) sur le Lambda-calcul typé.
    Titre : Embedding classical logic into linear logic

  17. Lieu : Université de Nancy (France), département de Mathématiques
    Date : 28-30 novembre 1994
    Cadre : Rencontres "Théorie de la démonstration", organisées dans le cadre d'un Projet de Recherche Commun (PRC) franco-français
    Titre : Une nouvelle logique déconstructive: la logique linéaire

  18. Lieu : University of Cambridge (Grande-Bretagne), Computer Laboratory
    Date : 17 février 1995
    Cadre : Séminaire de Logique et Théorie des catégories, dirigé par M. Hyland et V. de Paiva
    Titre : Designing Classical Logic as a programming language

  19. Lieu& Vienne (Autriche)
    Date : Novembre 1995
    Cadre : Invitation à l'Institut für Computersprachen, du 4 au 10 novembre 1995. Exposé dans le cadre du séminaire de logique de la Kurt Gödel Society
    Titre : Computational isomorphisms in classical logic

  20. Lieu& Université Keiô (Tokyo, Japon)
    Date : 28 mars-3 avril 1996
    Cadre : Congrès Linear Logic 96, organisé conjointement par les départements de Philosophie et de Mathématiques de l'Université Keiô
    Titre : Computational isomorphisms in classical logic

  21. Lieu : Rome (Italie)
    Date : Décembre 1996
    Cadre : Séjour de recherche à l'Istituto per le applicazioni del calcolo (CNR). Exposé dans le Cadre du Séminaire de Logique
    Titre : Free Deduction as a computational fragment of Classical sequent calculus

  22. Lieu : Université de Paris 7, UFR de Mathématiques
    Date : Avril 1996
    Cadre : Séminaire de Logique et Lambda-Calcul (coodonné par C. Berline, V. Danos, J.-L. Krivine, P. Rozière)
    Titre : Isomorphismes calculatoires en Logique classique

  23. Lieu : Sienne (Italie)
    Date : 6-10 Avril 1997
    Cadre : Workshop on Denotational Semantics, organisé par l'Università degli studi di Siena
    Titre :  Denotational and computational isomorphisms in Classical Logic

  24. Lieu : Université de Paris 7, UFR de Mathématiques
    Date : Mars 1998
    Cadre : Séminaire général de Logique (Dir. J-P. Ressayre)
    Titre : La Logique du temps élémentaire

  25. Lieu : Université de Marseille-Luminy (CIRM)
    Date : Avril 1998
    Cadre : Workshop on Linear Logic and Typed Lambda-Calculus (5-11 april 1998)
    Titre : Proof nets for Elementary Linear Logic

  26. Lieu : Université d'Utrecht (Pays-Bas)
    Date : Octobre 1998
    Cadre : Workshop on Linear Logic, organisé par le Mathematical Research Institute de l'Université d'Utrecht
    Titre : Proof-nets for Elementary Linear Logic

  27. Lieu : Université de Paris 1, UFR de Philosophie
    Date : 2-3 Novembre 1998
    Cadre : Rencontres de Logique "Paris 1-Rome 3-Utrecht"
    Titre : On consistency of naive set theory within Polytime Linear Logic

  28. Lieu : Académie des Sciences Chinoise, Pékin (Chine)
    Date : Mars 1999
    Cadre : Séminaire du Laboratoire des sciences du calcul (dir. Lin Huimin)
    Titre : The Proofs-as-Programs approach to computation theory

  29. Lieu : Université de Nankin (Chine)
    Date : 29 Mai 1999
    Cadre : Séminaire du Département d'Informatique de Nanjing University
    Titre : Linear Logic in computing theory

  30. Lieu : Université Keiô (Tokyo, Japon)
    Date : 13 juin 1999
    Cadre : Séminaire de Logique du département de mathématiques de l'Université Keiô
    Titre : Proof nets for Elementary Linear Logic

  31. Lieu : Jiaotong University (Shanghai, Chine)
    Date : 3 août 1999
    Cadre : Seminaire du Département d'Informatique de Jiaotong University
    Titre : Elementary Linear Logic

  32. Lieu : Académie des Sciences Chinoise, Pékin (Chine)
    Date : Août 1999
    Cadre : Séminaire du Laboratoire des sciences du calcul
    Titre : Proof-nets for Linear Logic: toward implicit complexity

  33. Lieu : Équipe Preuves-Programmes-Systèmes, CNRS-Université Paris 7
    Date : Février 2001
    Cadre : Séminaire de Théorie de la démonstration (resp. V. Danos et P-L. Curien)
    Titre : Logique Linéaire et temps élémentaire

  34. Lieu : Università Roma Tre, Dipartimento di filosofia
    Date : mai 2001
    Cadre : Séminaire du Gruppo romano di Logica Lineare
    Titre : Linear logic and elementary time

  35. Lieu : Université d'Ouro Preto  (Minais Gerais, Brésil)
    Date : Juillet 2003
    Cadre : Workshop on Logic, Language, Information and Computation (WoLLIC 2003)
    Titre : Implicit computational complexity (tutorial invité)

  36. Lieu : Université d'Ouro Preto (Minais Gerais, Brésil)
    Date : Juillet 2003
    Cadre : Workshop on Logic, Language, Information and Computation (WoLLIC 2003)
    Titre : Calculus of structures and proof-nets

  37. Lieu : Technische Universität Dresden (Allemagne)
    Date : Novembre 2003
    Cadre : Workshop in proof-theory (resp. A. Gugliemi)
    Titre : Multiplicative proof-nets and weak distributivity

  38. Lieu : Università Roma Tre, Dipartimento di filosofia
    Date : Avril 2004
    Cadre : Séminaire du Gruppo romano di Logica Lineare
    Titre : Debole distributività e completezza moltiplicative

  39. Lieu : équipe "Preuves-Programmes-Systèmes" CNRS-Université Paris 7
    Date : 3 mars 2005
    Cadre : Séminaire principal de l'équipe PPS
    Titre : Distributivité faible et réseaux multiplicatifs

  40. Lieu : Lisbonne
    Date : 16-17 juillet 2005
    Cadre : Workshop "Structures and Deduction" (ICALP 2005)
    Titre : Completeness of Multiplicative proof-nets w.r.t. weak-distributivity

  41. Lieu : Tübingen Universität
    Date : 17 avril 2012
    Cadre : Workshop  "Hypothetical  reasoning"  (organisé  par  Peter  Schröder-Heister)
    & &du 16 au 17 avril 2012
    Titre : Hypothesis and negation. On Colson and Michel's "Pedagogical logic"

  42. Lieu : Casa de cultura, Paraty (Rio de Janeiro State, Brasil)
    Date : 27 août 2012
    Cadre : School in Proof Theory "Linear Logic, Ludics and Geometry of interaction", du 27/08 au 01/09/2012
    Titre : From Curry-Howard correspondance to the geometrical turn in logic

  43. Lieu : PUC-Rio de Janeiro, Departamento de Informatica
    Date : 22 août 2013
    Cadre : Séminaire de logique (organisé par Luiz Carlos Pereira et Hermann Hauesler)
    Titre : Part 1 : From Deep inference to Proofnets

  44. Lieu : PUC-Rio de Janeiro, Departamento de Informatica
    Date : 23 août 2013
    Cadre : Séminaire de logique (organisé par Luiz Carlos Pereira et Hermann Hauesler)
    Titre : Part 2 : From Weak distributivity in proof-nets to Deep inference derivations

  45. Lieu : Universidade Federal Fluminense (Niteroy, RJ, Brésil), Dep. de matemática
    Date : 3 et 5 juin 2014
    Cadre : Séminaire de logique (coord. Petrucio Viana et Renata de Freitas)
    Titre : Introdução à lógica linear (part 1 and 2)

  46. Lieu : Pontificía Universidade Católica do Rio de Janeiro (RJ, Brésil), Dep. de filosofia
    Date : 10 dates entre avril et juin 2014
    Cadre : Instituto de Lógica e Filosofia da Linguagem
    Titre : O programa de construtivização da logica clássica
    (série de dix conférences, coord. Luiz Carlos Pereira).

  47. Lieu : Pontificía Universidade Católica do Rio de Janeiro (RJ, Brésil), Dep. de informática
    Date : 03 septembre 2014
    Cadre : Seminário de pesquisa ministrado pelos prof. Hermann Hauesler e Valeira de Paiva
    Titre : Antinomia, paradoxos e complexidade implicita

  48. Lieu : Instituto de computação, Universidade Federal Fluminense (Niteroí, RJ, Brésil).
    Date : 13 octobre 2015
    Cadre : Workshop on Logic, Language and Information (WoLLi 2015), coord. B.Lopes
    Titre : Logica linear e tempo polinómial

  49. Lieu : Fazenda Renascer, Mirantão, Minais Gerais, Brésil.
    Date : 4-5 juillet 2016
    Cadre : Jornadas de Mirantão em Lógica e Filosofia da Lógica, coord. LC Pereira
    Titre : Decidabilidade da lógica monádica no calculo dos sequentes

  50. Lieu : Universidade Federal Fluminense, RJ, Brésil, Departamento de Ciência da Computação.
    Date : 12 juillet 2016
    Cadre : Workshop ``Logic & Complexity'' (org. Bruno Lopes, Instituto de Computação)
    Titre : Compacidade no calculo dos sequentes clássico

  51. Lieu : Université Jean Moulin Lyon 3
    Date : 7-8 novembre 2016
    Cadre : Intensive school in Linear Logic (LL2016)
    Titre : An introduction to Linear logic

  52. Lieu : Pontifícia Universidade Católica, Rio, Brésil
    Date : 20 février 2017
    Cadre : Séminaire de logique du Departamento de informática
    Titre : Compacidade no calculo dos sequentes clássico

  53. Lieu : Keiô University (Tokyo, Japon)
    Date : 24 avril 2017
    Cadre : Third French-Japanese meeting on Cybersecurity (jointly organized by Keiô University, the National Institute of Information and Communications Technology, Inria and CNRS)
    Titre : Proofs-Programs correspondance and Security

Accueil      Recherche      Enseignement      Coordonnées