Teaching
- Advanced Logic (@ Université Côte d’Azur)
- Martin AVANZINI, PhD
- Researcher (CR), team OLAS
- Centre Inria d’Université Côte d’Azur
- Building Fermat, F125
- 2004, Route des Lucioles - BP 93
- 06902 Sophia Antipolis Cedex, France
-
(λx.martin.avanzinixinria.fr) @ - +33 4 97 15 53 34