Rencontres Interdisciplinaires de Logique à Montpellier
RIL@M
organisées par
Christian Retoré,
département d'informatique, université de Montpellier et
LIRMM
La logique est aussi
ancienne que les mathématiques ou la philosophie,
et depuis les débuts de l'informatique elle y joue un rôle
crucial.
En dépit de son
éclatement entre diverses sections du CNU ou du CNRS
la logique a sa cohérence propre et son unité particulière,
et c'est pourquoi nous réunirons une fois par mois, grâce au
soutien
des universités de Montpellier, les amateurs de logique venus de
diverses disciplines:
- informatique
(LIRMM-CNRS, département d'informatique, faculté des
sciences, université de Montpellier)
- mathématiques
(I3M-CNRS, département de mathématiques, faculté des
sciences, université de Montpellier)
- philosophie
(CRISES, département de philosophie, UFR arts, philosophie,
psychanalyse, université Paul Valéry)
Le public visé par ce
symposium rassemblera:
- enseignants du
secondaire de mathématiques ou de philosophie,
- étudiants de
master et de doctorat de l'une des disciplines
concernées,
- chercheurs et
enseignants-chercheurs de l'une des disciplines
concernées ,
- simples curieux (mais
un niveau master dans une discipline en rapport aidera à
suivre)
Une fois par mois,
en fin d'aprè midi, nous accueillerons un chercheur
en logique qui aura pour mission de nous rendre
accessible un aspect de la logique.
Programme:
Futurs orateurs (et
thématique, grosso-modo):
- Bruno Courcelle,
professeur d'informatique, Université de Bordeaux &
LaBRI-CNRS
Description logique des graphes
- Patrick
Dehornoy, professeur de mathématiques, Université de
Caen et Laboratoire de Mathématiques Nicolas Oresme,
Théorie des ensembles
- Paul Egré, chercheur en
philosophie, CNRS, Institut
Jean-Nicod, ENS
EHESS
Logique et philosophie du langage
- André Hirschowitz,
professeur de mathématiques, Université de Nice et
Laboratoire Jean-Alexandre Dieudonné
Homotopie et théorie des types
- Olivier
Laurent, directeur de recherches, CNRS LIP ENS Lyon
Preuves et programmes, autour de la correspondance de
Curry-Howard