Chantal Berline


IRIF Institut de Recherche en Informatique Fondamentale

(Unité mixte CNRS – Université Paris-Diderot)

Equipe PPS « Preuves, programmes, systèmes »

Mise à jour : 07/03/2016


Domaines de recherche

Logique mathématique et Fondements de l'Informatique:

Théorie des ensembles, Théorie des modèles et algèbre (1974-1986), Lambda-calcul (1986-2016), incluant la recherche sur ses modèles et sur le très riche treillis des lambda-théories. Et, combinant beaucoup des divers domaines précédents  : Map Theory.


Actualités :

« A synthetic axiomatisation of Map Theory », C. Berline et K. Grue, Theor. Comput. Sci. 614, p.1-62,

The paper is published by Theoretical Computer Science with DOI number 10.1016/j.tcs.2015.11.028.


The paper presents a new and simplified axiomatization of Map Theory, and proves the consistency of the axiomatization. Furthermore, the paper gives an enhanced introduction to Map Theory.

A five minutes easy Audio slides presentation (needing loudspeakers)intended for different audiences.


Map Theory (présentation courte et articles)


Publications

Liste complète 

Cours
Cours de lambda-calcul et compléments. 

Directions de thèses (PhD's)
Les thèses de: Y. Jiang, R. Kerth, X. Gouy, O. Bastonero, T. Vallée, G. Manzonetto.

Carrière scientifique :


Des sciences dures à la Danse de la Vie:

En parallèle et après avoir expérimenté d'autres champs, et après m'être professionnellement formée à cela, j'anime depuis 2006 des ateliers et des stages de Biodanza, éthymologiquement : « Danse de la Vie » (site web).

D'où mon désir de retraite « officielle » en 2008, même si j'ai gardé un pied à PPS et en recherche.