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:

• Complex Industrial Systems,
• Optimization,
• Software Verification.

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

• Complex Industrial Systems
  1. Yves Caseau(Bouygues Telecom)
  2. Claude Feliot (Alstom Transport)
  3. Jacques Printz (CNAM)
• Optimization
  1. Pierre Hansen (GERAD and HEC, Montreal)
  2. Olivier De Weck (MIT)
  3. Gérard Cornuéjols (Carnegie-Mellon University, Université de Marseille)
• Software Verification
  1. C. Cuiller (Airbus)
  2. S. Gaubert (INRIA)

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 cal07.reg@gmail.com by 15th september 2007.