abiteboul.com
Serge Abiteboul, INRIA & ENS Cachan
http://www.abiteboul.com/resume.html
Snail mail: LSV, ENS Cachan. Mail: fname.lname@inria.fr. Web site: abiteboul.com. Binaire.blog.lemonde.fr. Senior Researcher INRIA Saclay- Île-de-France. Affiliated professor at Ecole Normale Supérieure de Cachan. Member of LSV LAB. ENS Cachan and CNRS) (since 2009). Member of French Academy of Sciences. Membre de the Academy of Europe. Chairman of the Scientific Board of the Société d'Informatique de France, 2013-2014 (first chairman). Fellow of the ACM. Association for Computing Machinary), 2012. Prix ...
csissaclay.wordpress.com
8ème Rencontre du CSIS | CSIS
https://csissaclay.wordpress.com/8eme-rencontre-du-csis
Collège des Sciences de l'Ingénierie et des Systèmes. Aller au contenu principal. 9ème Rencontre du CSIS – Assises Européennes de la Fabrication Additive 2014. 9ème Rencontre du CSIS – Assises Européennes de la Fabrication Additive 2014. 8ème Rencontre du CSIS. La 8ème Rencontre du CSIS s’est tenue le 20 mars 2014. À l’ Institut Farman (ENS de Cachan). FR CNRS 3311, regroupe 5 laboratoires de l’ENS de Cachan dans le domaine de la modélisation, simulation et validation des systèmes complexes. Plateforme é...
labri.fr
Emmanuel Fleury
http://www.labri.fr/perso/fleury
Associate Professor @ Université de Bordeaux. Team, Modelization and Verification. Since October 2005, I hold a position of associate professor in the group Modelization and Verification. In the team Formal Methods. At University of Bordeaux. From 2001 to 2005, I have been post-doc (one year) and, then, assistant professor at Aalborg University. Denmark) in the CISS lab. In the team of Kim G. Larsen. I defended my Ph.D. in 2002 at the. France) under the supervision of Antoine Petit. I second Gilles Zémor.
benchkit.cosyverif.org
CosyVerif - Home
http://benchkit.cosyverif.org/index.php
June 28, 2016. Mar 11, 2017. Is a software environment whose goal is the formal specification and verification of dynamic systems. It has been designed in order to:. Support different formalisms with the ability to easily create new ones,. Provide a graphical interface for every formalism,. Include verification tools called via the interface as a web service,. Offer the possibility for a developer to integrate his/her own tool, also allowing it to interact with the other tools. Most of the tools are rela...
dptinfo.ens-cachan.fr
Descriptif des enseignements de première année
http://www.dptinfo.ens-cachan.fr/L3/contenu.php
Descriptif des enseignements de première année. Conférences de rentrée. Wiki du département. Cours du premier semestre (voir aussi les cours du département de math. Calculabilité et complexité. Page de cours (H. Comon). Page de cours (S. Haddad). Page de cours (P. Gastin). Page de cours (M. Habib). Page de cours (J. Goubault-Larrecq). Architecture et système. Page de cours (S. Schwoon). Projet de programmation 1. Page de cours (J. Goubault-Larrecq). Mathématiques discrètes. Cours du second semestre :.
retis.sssup.it
Home page of Giuseppe Lipari
http://retis.sssup.it/~lipari
Home page of Giuseppe Lipari. Via Moruzzi, 1. 56127 Pisa, ITALY. Tel: 39 050 882030. Fax: 39 050 883003. Appello di Informatica e Sistemi in Tempo Reale il 22 Luglio. ATTENZIONE: APPELLO DI Informatica e Sistemi in Tempo Reale. Giuseppe Lipari is Associate Professor of Computer Engineering (scientific sector ING-INF/05) at Scuola Superiore Sant'Anna. He is part of the RETIS lab. Of the Technical Institute of Communication, Information and Perception engineering (TeCIP). And of Real-Time Systems Journal.
nothingintoinsight.blogspot.com
Insight into nothing: "How I invented the personal computer, co-founded Apple, and had fun doing it"
http://nothingintoinsight.blogspot.com/2008/03/how-i-invented-personal-computer-co.html
I'm sharing my thoughts on programming here. Sunday, March 16, 2008. How I invented the personal computer, co-founded Apple, and had fun doing it". It's been about nine months since I posted my last entry. In the meantime, a lot has happened. I graduated the Faculty of Computer Science. From Iasi, Romania, I had a great summer holiday (except I fucked up my Ocaml summer project because of a lack of time), I got a scholarship for a computer science research master. And I started my internship at LSV.
student.grellois.fr
Research page of Charles Grellois
http://student.grellois.fr/talks_date.htm
Working group on Semantics and Verification. List of my talks, chronologically. Most feature slides. First steps towards probabilistic higher-order model-checking. Seminar of the FOCUS team. INRIA and University of Bologna), July 6, 2016. First steps towards probabilistic higher-order model-checking. Contributed talk at the workshop on intersection types of the GDRI-LL. Paris, June 14, 2016. Semantics of linear logic and higher-order model-checking. Thesis defense, Paris, April 8, 2016. Nov 2, 2015.