Chantal
Berline Laboratoire PPS (CNRS , UMR 7126 )
Chantal
Berline
Laboratoire
PPS (CNRS
, UMR
7126 )
« Preuves Programmes Systèmes »
Adresses (postale et bureau).
e-mail: berline@pps.jussieu.fr
Domaines de recherche
Logique mathématique et Fondements de l'Informatique:
Le Lambda-calcul, ses modèles
et le très riche treillis des lambda-théories,
Théorie
des modèles et algèbre, Théorie des ensembles.
Une fondation commune des mathématiques et de l'informatique dans l'esprit de Church: Map theory.
Publications
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,
et certaines de leurs publications.
Carrière scientifique :
Ecole Normale Supérieure (Sèvres) (1968-1972)
Professeur en lycée puis en classes préparatoires, à Paris (1972-1976).
Chargée de recherche au CNRS de 1976 à 2008
Membre de l'Equipe de Logique de Paris 7 jusqu'en Oct. 2000.
Dont Directrice adjointe de l'Equipe de Logique de Fév 1999 à mon souhait de transfert à PPS.
Membre CNRS du Laboratoire PPS (CNRS-Université Paris 7) de Oct 2000 à Oct. 2008
(puis membre associée depuis Oct. 2008, date à laquelle j'ai pris ma retraite du CNRS)
Responsable du M2 LMFI de l'Université Paris 7 (Mars 2004 -Sept 2007).
( = Master 2 de Logique Mathématique et Fondements de l'Informatique).
De la science dure à la danse de la vie:
En parallèle, et après avoir largement expérimenté d'autres champs, je me suis formée depuis 2002 à l'animation d'ateliers et stages de Biodanza (éthym : « Danse de la vie »), devenue ma 2ème activité professionnelle, puis pris ma retraite du CNRS pour pouvoir m'y consacrer plus pleinement. La Biodanza est une méthode (systémique) profonde et efficace d'épanouissement de l'humain, en relation, développée depuis la fin des 60's par un universitaire chilien, le professeur Rolando Toro Araneda (1924-2010). Elle intègre les apports des sciences humaines et de la vie, utilise en synergie la musique, la danse, le plaisir, et les rencontres dansées au sein d'un groupe, et stimule entre autres l'intime connexion à la joie de vivre.