**The first workshop dedicated to the ANR-funded Automatic
Reformulation Search (ARS) Project will take place in
the LIX, Ecole
Polytechnique seminar room on Friday 31st October 2008 from 9AM to
6PM.**

The aim of the ARS project is to provide a first systematic study of
reformulations in mathematical programming, and to pave the way to
reformulation-aware algorithms that are capable of automatically
reformulating mathematical programs to a "better form". The precise
definition of a *better form* naturally depends on the solution
algorithm employed to solve the problem.

The main deliverable of the ARS project is the ROSE (Reformulation/Optimization Software Engine) software, a complex, fairly large-scale framwork written almost entirely in C++, that can parse a mathematical program to a well-defined data structure (involving trees used to represent mathematical expressions), manipulate this data structure according to several algorithms, and then output the result in a form that can be used by other optimization codes. ROSE can be used stand-alone, but it is mostly useful as an AMPL solver (accordingly, reformulated problems can be output in AMPL format).

Salle des seminaires (Seminar room), LIX, Ecole Polytechnique on Friday, Oct. 31st 2008.

You need a badge to enter LIX, so you'll be stuck outside if you don't have it. Call me on my mobile +33660691151 (0660691151 from France) to get access. LIX's main entrance is on the car park side, wing 0 of the laboratories building ("batiment laboratoires, aile 0").

Slot | Speaker | Topic |
---|---|---|

09:00-09:30 | Liberti | Introduction |

09:30-10:00 | Cafieri | ROSE |

10:00-10:30 | Tarissan | Bioinformatics applications |

10:30-10:45 | Coffee | |

10:45-11:15 | Hansen | l-reduction in reformulations |

11:15-11:45 | Plastria | Formulation space search |

11:45-12:15 | Létocart | Markov Random Fields minimization and minimal cuts in image restoration |

12:15-13:45 | Lunch | |

13:45-14:15 | Nannicini | RECIPE for MINLPs |

14:15-14:45 | Mucherino | The discretizable molecular distance geometry problem |

14:45-15:15 | Ninin | Acceleration Method based on Interval Arithmetic in Deterministic Global Optimization |

15:15-15:30 | Coffee | |

15:30-16:00 | La Rota | Inferring parameters in Genetic Regulatory Networks |

16:00-16:30 | Cafieri | Convex relaxation for quadrilinear terms |

16:30-17:00 | A. Miller (Univ. Bordeaux 1, INRIA RealOpt) | A Parallel Macro Partitioning Framework for Mixed Integer Programming |

17:00-18:00 | Discussion |

**Publications**- Leo Liberti, Reformulation Techniques in Mathematical Programming, Thèse d'Habilitation à diriger des Recherches, Université de Paris IX - Dauphine, Nov. 2007.
- Leo Liberti, Reformulations in
Mathematical Programming: Definitions, in G. Righini
(ed.),
*CTW08 Proceedings*, Università di Milano, 66-70, 2008. - Leo Liberti, Automatic generation of
symmetry-breaking constraints, in B. Yang, D.-Z. Du and C.A. Wang
(eds.)
*COCOA08 Proceedings*, LNCS**5165**:328-338, Springer 2008. - Hanif Sherali, Leo
Liberti, Reformulation-Linearization
Technique for Global Optimization, in P. Pardalos and C. Floudas
(eds.),
*Encyclopedia of Optimization*, 2nd Edition, 3263-3268, Springer, Berlin, 2008. - Maurizio Bruglieri, Leo Liberti, Optimal
running and planning of a biomass-based energy production
process,
*Energy Policy*,**36**:2430-2438, 2008. - Leo Liberti, Carlile Lavor, Nelson Maculan, Marco-Antonio
Chaer Nascimento, Reformulation in mathematical
programming: an application to quantum chemistry,
*Discrete Applied Mathematics*, accepted for publication. - Camilo La Rota, Fabien Tarissan, Leo
Liberti, Inferring parameters in Genetic
Regulatory Networks,
*CLAIO08 Proceedings*, 2008. - Kanika Dhyani, Leo
Liberti, Mathematical programming
formulations for the bottleneck Hyperplane Clustering
problem,
*MCO 2008 Proceedings*, CCIS**14**, Springer 2008. - Fabien Tarissan, Leo Liberti, Camilo La
Rota, Biological Regulatory Network
reconstruction: a mathematical programming approach,
*ECCS08 Proceedings*, 2008. - Leo Liberti, Sonia Cafieri, Fabien
Tarissan, Reformulations in Mathematical
Programming: A Computational Approach, in A. Abraham,
A.-E. Hassanien, P. Siarry (eds.),
*Global Optimization: Theoretical Foundations and Applications*, Studies in Computational Intelligence series, Springer, New York, accepted for publication. - Leo Liberti, Reformulations in
Mathematical Programming: Definitions and
Systematics,
*RAIRO-RO*, accepted for publication. - Leo Liberti, Nelson Maculan, Yue
Zhang, Optimal configuration of gamma ray
machine radiosurgery units: the sphere covering
subproblem,
*Optimization Letters*, accepted for publication.

**People**- Leo Liberti
(LIX,
Ecole
Polytechnique, Palaiseau, France):
*Principal investigator* - Philippe
Baptiste (LIX,
Ecole
Polytechnique, Palaiseau, France):
*Investigator* - Christoph
Dürr (LIX,
Ecole
Polytechnique, Palaiseau, France):
*Investigator* - Lucas
Létocart
(LIPN,
Université Paris 13, France):
*Investigator* - Frédéric
Messine (ENSEEIHT,
Toulouse, France):
*Investigator* - Marie-Christine
Plateau (Gaz de France):
*Investigator* - Pierre
Hansen (HEC
and GERAD, Montreal, Canada, and
LIX, Ecole Polytechnique, Palaiseau, France):
*Advisor* - Nenad
Mladenovic (Brunel
University, London, UK):
*Advisor* - Frank Plastria
(Vrije Universiteit Brussel,
Belgium):
*Advisor* - Sonia
Cafieri (LIX, Ecole Polytechnique):
*Researcher* - Jordan
Ninin (ENSEEIHT, Toulouse, France):
*Researcher* - Fabien
Tarissan (LIX, Ecole Polytechnique):
*Researcher*

- Leo Liberti
(LIX,
Ecole
Polytechnique, Palaiseau, France):
**Software**- ROSE (Reformulation/Optimization Software Engine)