Direct access to content
Richard Bonichon (LIP6) - Laboratoire Spécification et Vérification.
Claire David (LIAFA) - Laboratoire spécification et vérification (LSV).
Lecture by Chadrabhas Narayana (JNCASR, Bangalore, India) - Invited by D'Alembert Institute
Workshop launch of LEA "NaBi" CNRS - Weizmann
Cachan H2S Group and Amsterdam History and Methodology of Economics Group.
The main theme of the conference, reinforced by the establishment of IMEKO TC21, is to provide a central opportunity for the metrology and testing community worldwide to engage with applied mathematicians, statisticians and software engineers working in the relevant fields.
Workshop organized by Genoptics and Institut d'Alembert
Lecture of Tomas Vojnar (FIT Technical University Brno), invited by Laboratoire spécification et vérification (LSV).
Lecture of Shimon Weiss (Department of chemistry and Biochemistry, UCLA, USA)- Invited by Institut d'Alembert
The 6th International Conference on Formal Modelling and Analysis of Timed Systems
The call for grant applications is now open. Deadline January 15th, 2009.
Laboratoire : LBPA
The Laboratoire Specification and Verification (LSV) is organizing a two-day workshop. The workshop will be centered around a special award ceremony: Hubert Comon receiving CNRS's 2008 Silver Medal for Computer Science (Tuesday 18th).
Why the need for an international course on "emerging techniques for damage prediction and failure analysis of laminated composite structures" ?
Meeting of European experts around the current status and Future Trends in Molecular and Bio-Optoelectronics