LIX Autumn Workshop 2007

LIX Autumn Workshop 2007
Colloque d'Automne du LIX 2007 --- CAL07
----------------------------------------

Complex Industrial Systems: Modelling, Verification
and Optimization

Paris, Carre' des Sciences
(old site of the Ecole Polytechnique,
25 Rue de La Montagne Sainte Genevieve,
5th arrondissement)
3rd and 4th October 2007.

The Laboratoire d'Informatique de l'Ecole
Polytechnique (LIX) organises an international
workshop on some aspects of computer science in
industry. The two-day workshop will take place in
Paris (France), 3-4 oct. 2007. Three main topics will
be discussed in the workshop, namely: modelling of
complex industrial systems, optimization, software
verification.

Talks (by invitation only) will mainly focus on
interactions among these three disciplines.

Confirmed invited speakers
--------------------------
Complex Industrial Systems:

Y. Caseau (Bouygues Telecom)
C. Feliot (Alstom Transport)
J. Printz (CNAM)

Optimization:

J. Lee (IBM T.J. Watson Research Center)
O. De Weck (MIT)
G. Cornuejols (Universite de Marseille and
Carnegie-Mellon University)

Software Verification:

Z. Manna (Stanford University)

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

The workshop is free, but registration is compulsory.
To register, please send an e-mail before 1st
september 2007 with personal details (name, surname,
affiliation, contact details) to cal07.reg@gmail.com.
See http://www.lix.polytechnique.fr/~liberti/cal07 for news.