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

*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 :
L'accès au séminaire est libre.

Bien cordialement,
Wendy Hammache

Pour toute question, la FAQ de la liste se trouve ici:

Répondre à