Séminaire 2018-19 | Logique, Mathématiques, Informatique, Raisonnement

Coordination scientifique : Jean-Baptiste Joinet, Simone Martini, Wendy Hammache  et Yannis Hausberg
 

Programme du séminaire :
 

• Séance 1
  Mercredi 19 septembre de 18h à 20h
  Salle Pelloux, 15 quai Claude Bernard - 69007 Lyon
  
  "Une généralisation de l'approche frégéenne des définitions par abstraction"
  par Jean-Baptiste JOINET (IRPhiL)
   
• Séance 2
  Jeudi 11 octobre de 18h à 20h
  CH 207, 18 rue Chevreul - 69007 Lyon
  
  "Logique et calculabilité : la différence entre généralisation et transfert conceptuel"
  par Giuseppe LONGO (Centre Cavaillès, USR 3608 CNRS-ENS Paris-Collège de France)
   
• Séance 3
  Mercredi 30 janvier de 18h30 à 20h
  CH 201, 18 rue Chevreul - 69007 Lyon
  
  "How formulae became types"
  par Felice CARDONE, Professore associato, Dipartimento di Informatica - Università degli Studi di Torino
  
  Résumé :
  The Curry-Howard correspondence between constructive logical formulae and types for lambda-terms has a prehistory, a history and some promises of a future life. I will summarize the history of this correspondence focussing on some lesser known contributions, mostly from areas outside proof-theory, leading to a reappraisal of the Heyting-Kolmogorov interpretation of the intuitionistic logical constants.
   
• Séance 4
  Mercredi 3 avril de 18h à 20h
  Salle CH-204, 18 rue Chevreul, 69007 Lyon
  
  "Mécanique quantique, calculabilité et universalité"
  par Pablo ARRIGHI (Aix-Marseille Univ., Université de Toulon, CNRS, LIS, Marseille et IXXI, Lyon)
  
  Résumé :
  Cet exposé explorera l'impact du calcul quantique sur deux notions centrales de l'informatique : la calculabilité et l'universalité. J'effectuerai de brefs rappels afin de ne supposer aucun bagage théorique particulier. La plupart des résultats que j'évoquerai reposent sur l'hypothèse tacite d'un ordre de partiel des événements fixé par avance. Si le temps imparti le permet, je mentionnerai les évolutions récentes du domaine, visant à s'affranchir de cette hypothèse.
   
• Séance 5
  Mercredi 10 avril de 18h à 20h
  Salle CH-204, 18 rue Chevreul, 69007 Lyon
  
  "Computational abstraction"
  par Raymond TURNER (Professeur émérite, School of Computer Science and Electronic Engineering, University of Essex)
  
  Résumé :
  The practice of Computer Science is dominated by various processes or devices of abstraction. Many these devices are built into specification and programming languages. Indeed, they are the mechanisms of language design, and the process of abstraction maybe seen as generating new languages from given ones. Our objective in this paper is to provide a logical analysis of such abstraction.
  Much contemporary logical research on abstraction has been inspired by Frege’s brief remarks. However, this work has largely been aimed at classical logic and mathematics where the ultimate goal has been to abstract the axioms of Zermelo- Fraenkel set theory. Little work has been aimed at other foundational frameworks such as type theory, the central carrier of computational abstraction. Our intention is to explore how the way of abstraction may provide a foundational framework for the latter.