Colloque d'Automne du LIX 2007 - CAL07

Complex Systems: Modelling, Verification and Optimization

Paris, Carré des Sciences, 3rd and 4th October 2007

New: presentation slides

New: the programme

New: list of participants (last updated 26th sept. 2007)

The Laboratoire d'Informatique de l'Ecole Polytechnique (LIX) organises an international workshop on some aspects of computer science in industry.
The two-days workshop will take place in Paris (France), 3-4 october 2007, in Carré des Sciences.
There will be three main topics discussed in the workshop, namely:

Talks (by invitation only) will mainly focus on interactions among these three disciplines.
A social dinner will take place on 3rd October.

Workshop committee: H. Gimbert (LIX), E. Goubault (CEA), D. Krob (LIX), L. Liberti (LIX).

Invited speakers

A. Venet

Some more talks will be given by PhD students and post-doctoral fellows of the Laboratoire d'Informatique de l'École Polytechnique.

The workshop is free. To register, please send an e-mail with personal details to by 15th september 2007.