Lettre MODE
février 2009

Envoyez vos contributions en format simple texte à
champion@univ-tln.fr avant la fin du mois.

Prière d'indiquer "pour la lettre MODE" dans l'objet.

L'inscription et la désinscription automatiques se font en
écrivant à
lettre-mode-smai-request@emath.fr
et en mettant dans le sujet suivant le cas subscribe ou
unsubscribe.

-------------------------------------------------------------
Table des matières :

-- Stages - Thèses - Postes
1- Stage de Master 2ème année
2- Post-doc or senior post doc at the RADON institut
3- Post-doc positions at Microsoft Research
4- Deux postes de Maîtres de Conférences en R.O.
5- Postes a la faculte des sciences de Namur

-- Séminaires - Conférences
6- Annonces de séminaires
7- Optimization and Control with Applications (OCA)
8- Workshop on Numerics for Control and Simulation
9- Modeling & Optimization: Theory & Applications
10- V Latin-American Algorithms, Graphs and Optimization Symposium

-------------------------------------------------------------

1- Stage de Master 2ème année
(source: Paul Armand)

Niveau requis : Master 2ème année de mathématiques appliquées
ou 3ème année d'école d'ingénieur.

Date de début : février, mars, avril 2009

Lieu : Université de Limoges – Laboratoire XLIM –
Département DMI – Pro jet CANSO

Durée : 4 mois

Contexte : En fabrication industrielle, le processus d'obtention
d'une pièce par usinage comporte une étape de fabrication assistée
par ordinateur (FAO) qui permet de déterminer l'ensemble des trajets
outils. Dans un contexte fortement concurrentiel, il devient
fondamental de minimiser les coûts de production en diminuant le temps
de fabrication qui peut représenter une part importante du coup ﬁnal
d'une pièce. Actuellement, tous les parcours outils calculés en FAO
sont générés de manière empirique par des algorithmes robustes et
ﬁables, donnant des résultats satisfaisants mais non optimaux.
On veut améliorer les méthodes actuelles par une approche qui cherche
à minimiser le temps d'usinage.

Sujet : Il s'agit de mettre en oeuvre un modèle du e problème et une
m´thode d’optimisation sous contraintes, aﬁn de minimiser le temps
de parcours d'un outil pour l'évidement d’une poche de forme donnée
dans un matériau.
Des premiers tests en Matlab ont montré la faisabilité de l’approche
par optimisation non linéaire, mais sont restés limités à un petit
nombre de paramètres. Le stage débutera par une prise en main du modèle
déjà existant, son complément et se poursuivra par la résolution du
problème à l’aide d'une méthode d’optimisation non linéaire qui permettra
de déterminer un trajet optimal de l'outil.

Contacts et renseignements :
– Paul ARMAND, paul.armand@unilim.fr, 05 55 45 73 30
– Vincent PATELOUP, vincent.pateloup@unilim.fr, 05 55 43 44 17
Rémunération : oui

Perspective : Ce stage devrait se prolonger par la préparation (rémunérée)
d’un doctorat d’université au sein du laboratoire XLIM.

-------------------------------------------------------------

2- Post-doc or senior post doc at the RADON institut
(source: J. Frédéric Bonnans)

From "Karl Kunisch" <karl.kunisch@uni-graz.at>

I would especially be interested in people who know
control or optimal control, HJB, etc.

see the webpage
http://www.ricam.oeaw.ac.at/

Prof. Dr. Karl Kunisch Tel.: + 43 316 380 5160 (2)
Institute of Mathematics Fax: + 43 316 380 9815 and
Scientific Computing Email: karl.kunisch@uni-graz.at
University of Graz http://math.uni-graz.at/enumath07/
Heinrichstrasse 36 http://math.uni-graz.at/mobis/
A-8010 Graz, Austria http://www.dk-numsim.tugraz.at/

-------------------------------------------------------------

3- Post-doc positions at Microsoft Research
(source: Dider Aussel)

2 Post-doc positions are open in the Microsoft Research Constraint
Reasoning Group.

Context: The goal of the Constraint Reasoning Group is to pursue
the long term research necessary to the development of the next
generation of optimisation algorithms and tools. Working with long
term applicability in mind, the group is taking as an input the
important architectural shifts happening in the IT industry.
As a result, its actual focus is highly related to the foundational
and practical aspects of parallel optimisation.

Job-definition: Selected candidates will conduct fundamental research
in optimisation or in related fields such as theorem proving,
probabilistic reasoning, knowledge representation, automated planning.
Additionally, candidates might be involved in studies related to the
development of practical software and tools, e.g., Microsoft Solver
Foundation, Z3, etc.

Suitable Profiles:

Post-doc candidates must have submitted their thesis prior to joining
Microsoft Research. Ideal profiles should have general knowledge or a
specialisation related to the following fields: SAT, SMT, theorem
proving, probabilistic reasoning, knowledge representation, or automated
planning.

Technical skills: C++, C#.

Duration: 2 years positions.

Location: Cambridge, UK.

Procedure/dates: Suitable candidates have to register here,
http://research.microsoft.com/en-us/jobs/fulltime/cambridge/about_postdocs.aspx,
before March 1, 2009. They might be selected for an interview process
in spring, and have to be available for a start in September 2009.

-------------------------------------------------------------

4- Deux postes de Maîtres de Conférences en R.O.
(source: Didier Aussel)

Deux postes de Maîtres de Conférences en Recherche Opérationnelle
sont prévus pour la rentrée 2009 à l'Université de Technologie de
Troyes (UTT), au sein du Laboratoire d'Optimisation des Systèmes
Industriels (LOSI). Nous recherchons de bons docteurs en RO, génie
industriel ou maths appliquées (sections 27-61-26) et désireux de
s'investir dans une équipe de recherche dynamique et performante.

*Poste 1. Profil "Logistique de la maintenance"*
Pour des recherches sur l'optimisation des systèmes de production
avec prise en compte des activités de maintenance : ordonnancement
avec indisponibilités liées à la maintenance, planification des
tâches de maintenance (mono ou multi-site, mono ou multi-critère),
conception de systèmes de production avec intégration de la
maintenance.

*Poste 2. Profil "Optimisation du transport" *
Pour des recherches en modélisation et optimisation de systèmes de
transport de fret ou de passagers. Dans le cadre de la thématique
transversale de recherche de l'UTT sur la maîtrise des risques,
le candidat retenu devra étudier en particulier des problèmes comme
le transport de produits dangereux ou la logistique d’urgence en
cas de catastrophes naturelles, industrielles ou humanitaires.

Les enseignements prévus concernent surtout la branche Systèmes
Industriels du cursus d’ingénieur et le Master Optimisation et
Sûreté des Systèmes. Les candidats doivent avoir des compétences
en RO, informatique et probabilités appliquées. Ils sont invités
à envoyer dès maintenant un CV détaillé par mél à Christian PRINS,
directeur du LOSI (christian.prins at utt.fr).

-------------------------------------------------------------

5- Postes a la faculte des sciences de Namur
(source: Jean-Baptiste Caillau)

Deux académiques temps plein (m/f)
Faculté : Faculté des Sciences de Namur
Département : Département de Mathématique
Date d'entrée en fonction : 01/09/2009
Grade : académique
Contrat : durée déterminée
Le Conseil d’administration prévoit une période d’intégration de
deux ans si le candidat retenu est désigné pour la première fois
dans le cadre du personnel académique des FUNDP.
A l’issue de cette période, la nomination définitive est normalement
obtenue.
Catégorie : personnel académique
Poste : Allocation (au cadre)
Référence : 08-119 et 08-1739

Tâches.
Consolider le projet du Département de Mathématique en "systèmes
complexes" dans le domaine des mathématiques appliquées décrit
plus en détail sur le site
http://www.fundp.ac.be/facultes/sciences/departements/mathematique/orientation
particulièrement en synergie avec ses recherches actuelles.
Outre les activités de recherche et de service à la communauté,
les postes à pourvoir comprennent des cours généraux et spécialisés
dans les programmes de bachelier et de master en mathématiques,
ainsi que des cours de mathématiques dans d'autres disciplines.

Profil.
Les candidats :
• seront titulaires d'un doctorat en mathématiques ou équivalent
• devront démontrer un intérêt réel pour les applications
• auront effectué un séjour post-doctoral.
Les candidatures seront évaluées sur la qualité du dossier individuel
et l'adéquation des projets scientifiques et pédagogiques du candidat
avec l'orientation "systèmes complexes" du Département de Mathématique.
A qualification égale pour ces critères, priorité sera donnée à des
candidats ayant une expertise dans les domaines statistique ou des
systèmes commandés.

Renseignements complémentaires.
Professeur Anne LEMAITRE
Tél.: 081 72 49 08 - E-mail : directeur@math.fundp.ac.be

Remarques.
Au formulaire dûment complété et signé doivent être joints un curriculum
citae complet, la liste des publications, une liste de personnalités de
référence, un projet décrivant les recherches qui seront développées et
un projet d'enseignement.
Une copie du dossier de candidature sera jointe sur CD-ROM.
Les formulaires de candidature doivent être demandés à la Direction du
Personnel des Facultés Universitaires Notre-Dame de la Paix, rue de
Bruxelles, 61 à 5000 Namur ou peuvent être téléchargés à l’adresse
suivante:
http://www.fundp.ac.be/universite/jobs/
et être renvoyés au Rectorat pour le 27/02/2009 au plus tard.

-------------------------------------------------------------

6- Annonces de séminaires
(sources: J. Frédéric Bonnans, Jérôme Renault)

Une nouvelle rubrique pour signaler succinctement les séminaires ayant
lieu ce mois-ci et organisés dans nos laboratoires.
N'hésitez pas à l'alimenter, préférentiellement via un lien vers la
page du séminaire et une liste de conférenciers,

**
Séminaire Parisien d'Optimisation (Institut Henri Poincaré)

http://www.ann.jussieu.fr/~plc/spo.html

Lundi 16 février 2009: K. Barty (EDF)
C. Jimenez (Univ. Bretagne Occidentale)
**
**
GT Advances in Game Theory (Ecole Polytechnique, GIS Sciences de la décision)

http://sites.google.com/site/jrenaultsite/advances-in-game-theory

February 6, 2009: Frank Thuijsman (Math Dpt, Maastricht University)
February 13, 2009: Eilon Solan (Tel-Aviv University),
JF Mertens (Core, Louvain-la-Neuve)
February 20, 2009: Bernard de Meyer (Cermsem, Université Paris 1)
**

-------------------------------------------------------------

7- Optimization and Control with Applications (OCA)
(source: Didier Aussel)

Optimization and Control with Applications (OCA), China, Jun 2009

FIRST ANNOUNCEMENT

The Fourth International Conference on Optimization and Control
with Applications (OCA2009), June 6-11, 2009, Harbin and Wudalianchi,
China
http://oca2009.hit.edu.cn

Theme and Scope
You are cordially invited to participate in the 4th International
Conference on Optimization and Control with Applications (OCA2009),
which will be held in Harbin and Wudalianchi in June 6-11, 2009.
Wudalianchi is a famous geopark located in Heilongjiang, China. The goal
of the 4th OCA is to provide an international forum for scientists,
engineers, researchers, and practitioners to exchange ideas and approaches,
to present research findings and state-of-the-art solutions, to share
experiences on potentials and limits, and to open new avenues of research
and developments, on all issues and topics related to optimization and
control. All submitted papers will be reviewed. The accepted papers,
which will be presented in the Conference, will be included in the
conference CD Rom. Highquality papers will be invited to submit their
expanded versions for consideration for publication in one of the following
journals: Journal of Global Optimization; Pacific Journal of Optimization;
Nonlinear Dynamics and Systems Theory; Dynamics of Continuous, Discrete
and Impulsive Systems, Series B; and Journal of Industrial and Management
Optimization.

Secretariat of Program Committee
Email: oca2009@sina.com

For closer information please visit http://oca2009.hit.edu.cn

-------------------------------------------------------------

8- Workshop on Numerics for Control and Simulation
(source: Didier Aussel)

CICADA/MIMS Workshop on Numerics for Control and Simulation
17 June 2009
School of Mathematics, University of Manchester, UK
http://www.maths.manchester.ac.uk/~chahlaoui/NCS09/NCS09.htm

The goals of this workshop are to examine the use of low-rank
solutions of matrix equations in systems and control applications,
discuss recent developments in algorithms for computing them, and
review applications in model reduction and simulation of large scale
systems.

Organizers:
Younes Chahlaoui (CICADA, University of Manchester)
Nick Higham (School of Mathematics, University of Manchester)

Keynote speakers:
Peter Benner (TU Chemnitz, DE
Daniel Kressner (ETH Zurich, CH)
Danny C. Sorensen (Rice University, Texas, USA)
Tatjana Stykel (TU Berlin, DE)
Paul Van Dooren (Catholic University of Louvain, BE)

Two additional talks in the area described above can be accommodated.
Deadline for submission of abstracts: March 31, 2009.

-------------------------------------------------------------

9- Modeling & Optimization: Theory & Applications
(source: Didier Aussel)

Call for participation
MOPTA 2009: Abstract Submission deadline: June 6, 2009

Modeling and Optimization: Theory and Applications (MOPTA 2009)
August 19-21, 2009, Lehigh University, Bethlehem, PA

SCOPE
The conference is an annual event aiming to bring together a diverse
group of people from both discrete and continuous optimization,
working on both theoretical and applied aspects. Our target is to
present a diverse set of exciting new developments from different
optimization areas while at the same time providing a setting which
will allow increased interaction among the participants. We aim to
bring together researchers from both the theoretical and applied
communities who do not usually have the chance to interact in the
framework of a medium-scale event.

CONFIRMED PLENARY SPEAKERS INCLUDE
Ravindra K. Ahuja, University of Florida, Gainesville
Natalia Alexandrov, NASA
Paul I. Barton, MIT
John M. Mulvey, Princeton University
Pablo A. Parrilo, MIT
Robert Weismantel, Otto-von-Guericke Universität Magdeburg

MODELING COMPETITION:
An optimization modeling competition, sponsored by AIMMS is organized.
Finalist will present their results at a special session of MOPTA09.
Problem released January 31, 2009.

CONTRIBUTED TALKS
Each accepted paper will be allotted a 25 minute talk. Authors wishing
to speak should submit an abstract via the conference WEB page by June
6, 2009.

IMPORTANT DATES
Abstract Submission deadline: June 6, 2009
Early registration deadline: July 1, 2009

-------------------------------------------------------------

10- V Latin-American Algorithms, Graphs and Optimization Symposium
(source: Martin Matamala)

LAGOS'09
V Latin-American Algorithms, Graphs and Optimization Symposium
http://www.inf.ufrgs.br/lagos09
Gramado (Rio Grande do Sul), Brazil
November 3-7, 2009

About the Symposium
LAGOS - Latin-American Algorithms, Graphs and Optimization Symposium,
is the union of two Latin American Conferences on these subjects:
the GRACO (Brazilian Symposium on Graphs, Algorithms and Combinatorics)
and the LACGA (Latin American Conference on Combinatorics, Graphs and
Applications). The first GRACO was held in Fortaleza, Brazil, in 2001,
and the second GRACO was in Angra dos Reis, Rio de Janeiro, Brazil, 2005.
The LACGA was held in Santiago, Chile, in 2004. The first unified LAGOS
(IV LAGOS) was held in Puerto Varas, Chile, 2007. The format of these
meetings was similar. The proceedings of the accepted papers were
published in Electronic Notes in Discrete Mathematics: Volume 7,
for the first GRACO, Volume 19 for the second GRACO, Volume 18 for
LAGCA, and Volume 30 for the IV LAGOS. Besides, special editions of
Discrete Applied Mathematics were dedicated to these events:
Volume 141 for the first GRACO, Volume 154 (13) for LACGA, and Volume
156 (7) for the second GRACO. The publication relative to the IV LAGOS
is due to appear soon.

Conference themes
Papers presenting new and original research on the following (and related)
topics are sought:
-algorithms and data structures
-analysis of algorithms
-approximation algorithms
-combinatorial optimization
-complexity
-computational biology
-cryptography
-enumerative combinatorics
-graph theory
-mathematical programming
-operations research
-order theory -polyhedral combinatorics
-randomized algorithms

Organization:
II-UFRGS (Institute of Informatics, Federal University of Rio Grande do Sul)
IM-UFRGS (Institute of Mathematics, Federal University of Rio Grande do Sul)
IME-USP (Institute of Mathematics and Statistics, University of São Paulo)
COPPE-UFRJ (Graduate School and Research in Engineering, Federal University
of Rio de Janeiro)
IM-UFRJ (Institute of Mathematics, Federal University of Rio de Janeiro)
NCE-UFRJ (Eletronic Computing Centre, Federal University of Rio de Janeiro)
IC-UFF (Institute of Computing, Fluminense Federal University)

Promoted by: SBC (Brazilian Computing Society)

Supported by:
SBMAC (Brazilian Computational & Applied Mathematics Society)

Sponsored by:
FAPESP (São Paulo State Research Foundation)
FAPERJ (Rio de Janeiro State Research Foundation)
FAPERGS (Rio Grande do Sul State Research Foundation)
CAPES (National Agency for Higher Education)
CNPq (National Council for Scientific and Technological Development)

Important Dates
April 30, 2009: submission deadline
July 31, 2009: notification of acceptance
August 3, 2009: registration beginning
September 4, 2009: final version for publication in ENDM
November 3-7, 2009: LAGOS'09

Submissions
Authors should submit electronically an extended abstract (not a full
paper), written in good English. The submission page is not open yet.
The submission should contain a scholarly exposition of ideas,
techniques, and results, including motivation and a clear comparison
with related work. The length should not exceed six (6) pages
(including the bibliography and figures), using the ENDM style package.
Additional material (such as a technical report containing detailed
proofs) may be placed in a web page, referenced inside the text.
However, any material other than the 6-page extended abstract may be
ignored at the discretion of the Program Committee. Abstracts deviating
significantly from these guidelines risk rejection without consideration
of their merits. Submission of a paper implies that the work described
has not been previously published (except in the form of a short abstract
or as part of a lecture or academic thesis), that it is not simultaneously
submitted elsewhere, and that, if accepted, it will not be published
elsewhere in the same form.

Accepted papers
Papers accepted for presentation at LAGOS'09 will be published in a special
issue of ENDM - Electronic Notes in Discrete Mathematics. Following the
tradition of LAGOS, a special issue of Discrete Applied Mathematics will
be prepared after the LAGOS'09. All authors of accepted papers at the symposium
are invited to contribute to this special volume. The topics should relate
to the central themes of the symposium, but are not necessarily restricted
to the presentations at LAGOS'09. All articles will be refereed according
to the standards of Discrete Applied Mathematics.

Invited Speakers
Celina M. H. de Figueiredo (UFRJ, Brazil)
Pavol Hell (Simon Fraser, Canada)
Martin C. Golumbic (Haifa, Israel)
Robert E. Jamison (Clemson, USA)
Robert Sedgewick (Princeton, USA)
David P. Williamson (Cornell, USA)

LAGOS Steering Committee
Thomas Liebling (EPFL, Switzerland)
Jayme Szwarcfiter (UFRJ, Brazil)

Scientific Committee (V LAGOS)
Valmir C. Barbosa (UFRJ, Brazil)
Adrian Bondy (U. Lyon, France)
Flavia Bonomo (UBA, Argentina)
Héctor Cancela (UDELAR, Uruguay)
Marcelo H. Carvalho (UFMS, Brazil)
José Correa (U. Adolfo Ibáñez, Chile)
Guillermo Durán (U. Chile, Chile - UBA, Argentina)
Carlos E. Ferreira (USP, Brazil) - Co-chair
Manoel Lemos (UFPE, Brazil)
Min Chih Lin (UBA, Argentina)
Claudia Linhares (UFC, Brazil)
Claudio L. Lucchesi (Unicamp, Brazil)
Nelson Maculan (UFRJ, Brazil)
Martín Matamala (U. Chile, Chile)
U.S.R. Murty (Waterloo U., Canada)
Graciela Nasini (U. Rosario, Argentina)
Luiz S. Ochi (UFF, Brazil)
Daniel Panario (Carleton U., Canada)
Miguel Pizaña (UAM, Mexico)
Fábio Protti (UFRJ, Brazil) - Co-chair
Bruce Reed (McGill U., Canada)
Andrea Richa (Arizona State U., USA)
Nicolás Stier (Columbia U., USA)
Vilmar Trevisan (UFRGS, Brazil)
Alfredo Viola (U. de la República, Uruguay)
Yoshiko Wakabayashi (USP, Brazil)
Renato Werneck (Microsoft Research, USA)
Andrés Weintraub (U. Chile, Chile)

Organizing Committee (V LAGOS)
Luciana Buriol (UFRGS, Brazil) - Co-Chair
Luis C. Lamb (UFRGS, Brazil)
Marcus Ritt (UFRGS, Brazil)
Vilmar Trevisan (UFRGS, Brazil) - Co-Chair

-------------------------------------------------------------

Thierry Champion
-- 
Laboratoire Imath -- Université du Sud Toulon-Var
page personnelle: http://champion.univ-tln.fr