[Prev][Next][Index][Thread]

invitation



The laboratory of mathematics of the university of Chambery will have the
opportunity to invite during the 1997 year (winter, spring or fall) a
researcher in logic (from a foreign country) for some weeks (probably
between 2 and 4).
This researcher can be either a person with a permanent position or a
student (having, or almost having a Ph D). He (or she) can "come from"
mathematics or computer science.
The logic group in Chambery works on  lambda calculus : combinatorial
problems, proof and programs with the use of classical logic, parallelism
(pi calculus), ...
Chambery is close to Lyon (There is also a group there at the Ecole
normale) and Grenoble.
If you are interested please contact R David.

R.DAVID
Laboratoire de Maths
Campus Scientifique
73376 Le Bourget du Lac (France)
tel (33) (0)4 79 75 87 17    fax (33) (0)4 79 75 87 42
email david@univ-savoie.fr