invitation

• To: types@cs.indiana.edu
• Subject: invitation
• From: Rene.David@univ-savoie.fr (Rene David)
• Date: Thu, 5 Dec 1996 18:43:09 +0100

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

• Prev: CFP: Types in Compilation Workshop
• Next: Paper: 2nd-order unification and type inference for Church-style polymorphism
• Index(es):
  • Main
  • Thread