 LOGIQUE DE LA PROGRAMMATION |
The team Logique de la Programmation (Logic of Programming) is a research team of the Institut de Mathématiques de Luminy, UMR 6206 of the CNRS. It is coordinator the ACI Geometry of computation, and it takes part to the ANR programme INVAL, the Master Recherche of Discrete Mathematics and Foundations of Computer Science and the Master Professionnel of Mathematics and Informatics of New Technologies.
Address : Institut de Mathématiques de Luminy, 163 avenue de Luminy, Case 907, 13288 Marseille Cedex 9 (France).
Comments : ruet at iml dot univ-mrs dot fr.