madiot.fr
Preview meta tags from the madiot.fr website.
Linked Hostnames
34- 16 links tomadiot.fr
- 2 links tocoqtail.github.io
- 2 links towww.enseignement.polytechnique.fr
- 2 links towww.sciencedirect.com
- 1 link tocambium.inria.fr
- 1 link toconcur2014.org
- 1 link toconferences.ncl.ac.uk
- 1 link tocoq.inria.fr
General Meta Tags
3- titleJean-Marie Madiot
- Content-Typetext/html; charset=UTF-8
- descriptionResearcher in concurrency theory and formal verification at Inria Paris. See my list of publications, PhD dissertation, teaching pages, and some theorems.
Link Tags
2- stylesheetdefault.css
- stylesheetmono.css
Links
52- http://cambium.inria.fr
- http://concur2014.org/program.php
- http://conferences.ncl.ac.uk/concur-2012/programme.html
- http://coq.inria.fr
- http://coqtail.github.io