Trace: » home » home » home » eventh » start
LIAMA Projects
Computational Medicine
Environment Modeling
Reliable Software
- FORMES: FORmal Methods for Embedded Systems
PI:Pr. Jean-Pierre JOUANNAUD (INRIA);Pr. GU Ming (Tsinghua)
Image and Geometry Modeling
News and Events
- PENG Ting (INRIA-LIAMA PhD) won the 2008 European Best IEEE GRSS PhD awards. publications
- 2nd Asian-Pacific Coq Summer School Beijing, China, August 20-27, 2010
- ARTIST Summer School in China 2010 Beijing, China, July 18-23, 2010
-
Seminars
- Seminar of Ronan Fablet, Institut Telecom Bretagne CASIA, Beijing, April 15, 2010
- Seminar of Antoine Lefebvre CASIA, Beijing, Feb. 5, 2010
- MICCAI 2010, the 13th International Conference on Medical Image Computing and Computer Assisted Intervention Beijing,September 20-24, 2010
- The 5th International Conference on E-learning and Game Changchun,China, August 16-18, 2010
-
Actions
Europe Flash
- Joseph Sifakis of the University of Grenoble recipient of ACM’s 2007 A.M. Turing Award together with Edmund M. Clarke, and E. Allen Emerson.
- The CNRS gives French research an unequaled calculation power (207 Teraflops) and broadens its horizons with the help of IBM. With 10 “Blue Gene/P” and 8 “racks Power 6”, the CNRS will rank France in the elite group of countries with high power of scientific computing.







