Bonjour, Nous avons le plaisir de vous annoncer la dernière séance pour 2018-2019, du séminaire “Logique, Mathématiques, Informatique, Raisonnement” de l'Institut de Recherches Philosophiques de Lyon. Coordination : Jean-Baptiste Joinet, Simone Martini, Wendy Hammache, Yannis Hausberg.
*Mercredi 10 avril 2019* *de 18h à 20h* *Raymond Turner* School of Computer Science and Electronic Engineering, University of Essex *"Computational abstraction"* Université Jean Moulin Lyon 3 Salle CH-204 18, rue Chevreul Lyon 7e *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. Informations actualisées : http://irphil.univ-lyon3.fr/seminaire-2018-19-logique-mathematiques-informatique-raisonnement-1179685.kjsp?RH=irphil2 L'accès au séminaire est libre. Bien cordialement, Wendy Hammache -- Pour toute question, la FAQ de la liste se trouve ici: https://www.vidal-rosset.net/