Pour info.
________________________________
De : fil-tous-request(a)groupes.renater.fr <fil-tous-request(a)groupes.renater.fr> de la part de christine solnon <christine.solnon(a)insa-lyon.fr>
Envoyé : mardi 7 novembre 2023 09:53
À : bull-ia(a)gdria.fr <bull-ia(a)gdria.fr>; fil-tous(a)groupes.renater.fr <fil-tous(a)groupes.renater.fr>
Objet : [fil-tous] Solveurs : journée industrielle GDR ROD et RADIA, le 14 décembre à Lyon
Rencontres entre académiques et industriels sur la programmation mathématique :
solveurs, applications et retours d’expérience
Chers collègues, chercheurs, et professionnels de l’industrie,
Nous sommes ravis de vous convier à une rencontre entre académiques et industriels qui se tiendra le 14 décembre 2023 à l'INSA Lyon. Cet événement est organisé conjointement par le GDR Recherche Opérationnelle et Décision (ROD) et le GDR Raisonnement, Apprentissage, et Décision en Intelligence Artificielle (RADIA).
Date : 14 décembre 2023
Heure : 10h00 - 17h00
Lieu : INSA Lyon (arrêt Gaston Berger La Doua ; ligne directe depuis la gare de la Part Dieu)
*** Inscription ***
La participation à cet événement est gratuite, mais l'inscription préalable est obligatoire afin de prévoir les pauses et le déjeuner (offerts par les GDR ROD et RADIA). Veuillez vous inscrire avant le 24 novembre en répondant au sondage suivant : https://evento.renater.fr/survey/journee-industrielle-gdr-rod-radia-14-dece…
*** Objectif ***
Cette journée vise à fournir un aperçu des techniques de programmation mathématique telles que la programmation par contraintes (CP), la satisfiabilité booléenne (SAT), et la programmation linéaire en nombres entiers (ILP), par exemple. Nous mettrons l'accent sur leur application pratique dans un contexte industriel ainsi que sur les solveurs existants. Cette journée sera l'occasion d'explorer les cas réels où ces approches ont été utilisées avec succès. Notre public cible est constitué d'industriels et de professionnels intéressés par la modélisation et la résolution de problèmes combinatoires complexes. Que vous soyez chercheur, ingénieur, ou gestionnaire de projet, cette journée offre une opportunité unique d'apprendre et d'échanger sur des approches avancées en optimisation et résolution de problèmes.
*** Programme ***
La journée sera rythmée par des exposés présentant des outils, des méthodologies, et des retours d'expérience d'industriels qui ont intégré la programmation mathématique dans leurs activités. Les sujets abordés incluront la modélisation de problèmes complexes, les techniques de résolution, et les avantages observés en termes d'efficacité opérationnelle et de prise de décision. Le programme est en cours d’élaboration, mais nous pouvons d’ors et déjà annoncer les présentations suivantes
- Lucas Groleaz (Infologic). Programmation Mathématique dans les ERP : deux cas d'utilisation au sein de l'ERP Copilote
Résumé. Dans cet exposé nous allons aborder deux cas d'utilisation de la programmation mathématique au sein de l'ERP Copilote, qui est un progiciel spécialisé dans le domaine de l’agroalimentaire. La première utilisation concerne les problèmes d'ordonnancement. Nous parlerons notamment des différentes contraintes auxquelles sont confrontés les utilisateurs de Copilote lorsqu'ils doivent résoudre des problématiques d'ordonnancement. Nous aborderons également le sujet des solveurs utilisés avec notamment une comparaison de CPLEX (programmation linéaire), CP-Optimizer et Ortools (Programmation par Contrainte / SAT). La seconde utilisation concerne un problème de rangement optimal (un dérivé de Bin Packing) pour lequel OrTools est utilisé en production. Nous aborderons notamment la problématique de paramétrage de l'ERP (et donc des modèles mathématiques utilisés) pour adapter le programme au besoin de chaque utilisateur. Nous conclurons en parlant des raisons qui nous poussent à choisir tantôt la programmation mathématique tantôt d'autres techniques de résolution (heuristiques, métaheuristiques, …).
- Philippe Laborie (LocalSolver). Solveurs mathématiques pour les problèmes d'ordonnancement (une vie existe au-delà de la PLNE)
Résumé. Ces dernières années ont vu le développement de solveurs mathématiques utilisant des concepts de modélisation plus riches que la PLNE, notamment pour les problèmes d'ordonnancement. Ces solveurs sont aujourd'hui largement utilisés dans l'industrie, ont des performances souvent comparables aux meilleurs algorithmes dédiés, permettent des modélisations compactes, passent à l'échelle (taille du problème, complexité) et sont en constante amélioration. Nous présenterons leurs principales caractéristiques en les illustrant, entre autres, avec LocalSolver.
- Christophe Lecoutre (CRIL, Université d’Artois). PyCSP3, une bibliothèque moderne pour la modélisation et résolution de problèmes combinatoires sous contraintes
Résumé. Lors de cet exposé, nous commencerons par présenter les fonctionnalités majeures de la librairie PyCSP3 (pycsp.org), qui permet de modéliser tout type de problèmes combinatoires (à variables entières) sous contraintes. Nous mettrons en avant la transparence des modèles, et les facilités de contrôle offertes par l'interface (avec, par exemple, l'emploi de Jupyter notebooks). Nous discuterons ensuite des stratégies de résolution (et leur progrès) intégrées dans les solveurs de contraintes.
- Laurent Perron (Google). CP-SAT in OR-Tools
Abstract. The CP-SAT-LP solver is developed by the Operations Research team at Google and is part of the OR-Tools open-source optimization suite. It is an implementation of a purely integral Constraint Programming solver on top of a SAT solver using Lazy Clause Generation. It draws its inspiration from the chuffed solver, and from the CP 2013 plenary by Peter Stuckey on Lazy Clause Generation. The CP-SAT-LP solver improves upon the chuffed solver in two main directions. First, it uses a simplex alongside the SAT engine. Second, it implements and relies upon a portfolio of diverse workers for its search part. The use of the simplex brings the obvious advantages of a linear relaxation on the linear part of the full model. It also started the integration of MIP technology into CP-SAT-LP. This is a huge endeavour, as MIP solvers are mature and complex. It includes presolve -- which was already a part of CP-SAT --, dual reductions, specific branching rules, cuts, reduced cost fixing, and more advanced techniques. It also allows the tight integration of the research from the Scheduling on MIP community along with the most advanced scheduling algorithms. This has enabled breakthroughs in solving and proving hard scheduling instances of the Job-Shop problems and Resource Constraint Project Scheduling Problems. Using a portfolio of different workers makes it easier to try new ideas and to incorporate orthogonal techniques with little complication, except controlling the explosion of potential workers. These workers can be categorized along multiple criteria like finding primal solutions -- either using complete solvers, Local Search or Large Neighborhood Search --, improving dual bounds, trying to reduce the problem with the help of continuous probing. This diversity of behaviors has increased the robustness of the solver, while the continuous sharing of information between workers has produced massive speedups when running multiple workers in parallel. All in all, CP-SAT-LP is a state-of-the-art solver, with unsurpassed performance in the Constraint Programming community, breakthrough results on Scheduling benchmarks (with the closure of many open problems), and competitive results with the best MIP solvers (on purely integral problems).
*** Contact ***
Pour toute question ou demande de renseignements supplémentaires, n'hésitez pas à nous contacter. Nous espérons vous accueillir nombreux à cette journée passionnante dédiée à l'exploration des applications concrètes de la programmation mathématique dans le monde industriel.
Cordialement,
Jean-Marie Lagniez, Claude Le Pape-Gardeux, Aziz Moukrim et Christine Solnon
To unsubscribe from this list, click on the following link: https://groupes.renater.fr/sympa/signoff/fil-tous
______________________
Current mailing list -- current(a)ml.lre.epita.fr
https://lists.lrde.epita.fr/postorius/lists/current.ml.lre.epita.fr//
______________________
Postdocs mailing list -- postdocs(a)ml.lre.epita.fr
https://lists.lrde.epita.fr/postorius/lists/postdocs.ml.lre.epita.fr//
______________________
Postdocs.paris mailing list -- postdocs.paris(a)ml.lre.epita.fr
https://lists.lrde.epita.fr/postorius/lists/postdocs.paris.ml.lre.epita.fr//
Bonjour,
je pense que l'annonce ci-dessous peut intéresser du monde au labo,
peut-être même quelques élèves, alors transmettez si besoin. Le bâtiment
Sophie Germain est à 20 mn de KB, facile !
A+,
Uli
-------- Forwarded Message --------
Subject: [gdr-im] [REMINDER] IRIF Distinguished Talks Series - Simon Peyton
Jones and the Verse programming language
Date: Tue, 31 Oct 2023 10:38:44 +0100
From: Juliette Calvi <Juliette.Calvi(a)irif.fr>
Reply-To: Juliette Calvi <Juliette.Calvi(a)irif.fr>
CC: Adi Rosen <adiro(a)irif.fr>
Dear all,
This is a gentle reminder that on 8 November, Simon Peyton Jones
<https://www.linkedin.com/in/simonpj/?originalSubdomain=uk>, Fellow of the
Royal Society, will give us the honour of being the first speaker in the
Distinguished Talks Series <https://www.irif.fr/seminaires/irif/index>. He
will be talking about the Verse programming language (see below).
*All members of your lab are welcome to join us for this talk*. Please
forward this message to anyone who might be interested. A buffet lunch will
be served after the talk.
Simon Peyton Jones has given us an interview which serves as a prelude and
gives an insight into Verse, the Metaverse and the topic of his talk. You
can read it here <https://www.irif.fr/portraits/dts_simon_peyton_jones>.
*
Date:*8th of November
*Time:*11am to 12:30pm (followed by a buffet lunch)
*Location:* Amphi Turing, Université Paris Cité, Bâtiment Sophie Germain, 8
Place Aurélie Nemours, 750013 Paris
*More informations about the Distinguished Talks
Series:*https://www.irif.fr/seminaires/irif/index
<https://www.irif.fr/seminaires/irif/index>*Title:*« Beyond functional
programming: the Verse programming language »
_
Abstract: _
Since joining Epic Games <https://www.epicgames.com/site/fr/home>in late
2021, I have been involved in the design and development of Verse, a new,
declarative programming language that Epic plans to use as the language of
themetaverse.
Verse is extremely ambitious: we want it to allow millions of programmers
who have never met towrite code that inter-operates to build a shared
virtual 3D simulation in which billions of users can interact. My current
focus is on formally specifying the technical heart of Verse. At its core,
Verse is a functional logic language, up to now rather a niche subject. In
the talk I will give you a sense of what a functional logic language is; I
will describe the challenges with giving it a formal definition; and I will
sketch our progress in addressing this challenge using denotational
semantics, rewrite rules, and a reference interpreter.
The talk will be recorded and later made available online, on the series
webpage: https://www.irif.fr/en/seminaires/irif/index
<https://www.irif.fr/en/seminaires/irif/index>.
Please feel free to contact us for any further information.
Sincerely,
--
Juliette Calvi & Adi Rosén
Chargée de communication
IRIF UMR 8243 - CNRS / Université Paris Cité
Bâtiment Sophie Germain
8 Place Aurélie Nemours
75205 Paris Cedex 13
Tél : 01 57 27 92 26 - bureau 4004
______________________
Paris mailing list -- paris(a)ml.lre.epita.fr
https://lists.lrde.epita.fr/postorius/lists/paris.ml.lre.epita.fr//
______________________
Postdocs.paris mailing list -- postdocs.paris(a)ml.lre.epita.fr
https://lists.lrde.epita.fr/postorius/lists/postdocs.paris.ml.lre.epita.fr//
Pour info, c'est dans 1h.
Envoyé à partir de Outlook pour Android<https://aka.ms/AAb9ysg>
________________________________
From: Demys Bruniaux <demys.bruniaux(a)epita.fr>
Sent: Tuesday, October 24, 2023 2:00:14 PM
To: Claire Lecocq <claire.lecocq(a)epita.fr>; Keltoume Tizzaoui <Keltoume.Tizzaoui(a)ionis-group.com>; gerard.cohana(a)ionis-group.com <gerard.cohana(a)ionis-group.com>; beatrice ferte-sapotille <beatrice.ferte-sapotille(a)epitech.eu>; celine1 baraban <celine1.baraban(a)epitech.eu>; Sandra Abou-nakad <sandra.abou-nakad(a)epita.fr>; Bastien Dupic <bastien1.dupic(a)epitech.eu>; nazima canda <nazima.canda(a)epita.fr>; Sarah Humbert <sarah.humbert(a)epitech.eu>; bashar dudin <bashar.dudin(a)epita.fr>; Anne Dewilde <anne.dewilde(a)epita.fr>; Sandra Chanceau <sandra.chanceau(a)epita.fr>; julie ounoughi <julie.ounoughi(a)epita.fr>; Thierry GERAUD <theo(a)lrde.epita.fr>; Alexandra Dorion <alexandra.dorion(a)epitech.eu>
Cc: Fabrice Bardèche <fabrice.bardeche(a)ionis-group.com>
Subject: Essai alarme incendie KB4
Bonjour à tous,
Nous allons mettre en fonction l'alarme incendie du KB4 (bâtiment Paritalie) cet après-midi, avec le bureau de contrôle.
Un essai de celle-ci va être fait vers 15h/15h30.
Bien cordialement.
Démys BRUNIAUX
Directeur des Services Généraux
IONIS EDUCATION GROUP
Campus Kremlin-Bicêtre/Villejuif/Paris 11/Campus Cyber
Standard : 01.44.08.01.72
Ce mail n’appelle pas de réponse de votre part en dehors de vos plages horaires de travail.
______________________
Paris mailing list -- paris(a)ml.lre.epita.fr
https://lists.lrde.epita.fr/postorius/lists/paris.ml.lre.epita.fr//
______________________
Postdocs.paris mailing list -- postdocs.paris(a)ml.lre.epita.fr
https://lists.lrde.epita.fr/postorius/lists/postdocs.paris.ml.lre.epita.fr//
Bonjour,
L'information vient d'être validée... D'ici quelques semaines, la projection du LRE sur Paris va passer de fermée bornée à connexe par arcs.
Nous allons occuper les deux ailes, Alizée (1) et Amont (2) du 3e étage de KB4, qui seront réunies (comme le sont les ailes Apprentissage et Direction Générale).
Je vous propose un point d'information d'ici deux semaines.
Pour rappel : nous avons bien en tête les requêtes qui nous ont été remontées ; nous affinerons dans les semaines à venir les détails d'implémentation / d'implantation 😉. Nous essaierons de faire au mieux pour tout le monde (donc chacun·e), même si toutes les demandes individuelles ne pourront peut-être pas toutes aboutir (3). Les responsables d'équipe se chargeront de collecter vos desiderata (Jonathan, je t'envoie des références...)
Bonne journée,
Théo
1. https://www.youtube.com/watch?v=QpbHdIrtpNo
2. https://www.youtube.com/watch?v=CyDTvQKUb8c
3. Perso je veux juste 2 m2 de plus pour un mini-jacuzzi 🤡...
______________________
Paris mailing list -- paris(a)ml.lre.epita.fr
https://lists.lrde.epita.fr/postorius/lists/paris.ml.lre.epita.fr//
______________________
Postdocs.paris mailing list -- postdocs.paris(a)ml.lre.epita.fr
https://lists.lrde.epita.fr/postorius/lists/postdocs.paris.ml.lre.epita.fr//
Bonjour à tous,
Ghiles étant absent mardi et Joseph vendredi, j'aurais rapidement besoin
de remplaçants pour les TPs de THLR :
- le mardi 12 de 11h à 13h ;
- le vendredi 15 de 14h à 18h10 ;
Le contenu est élémentaire : du Python, un peu de regexp (mardi) et de
la déterminisation d'automates (vendredi).
N'hésitez pas à vous manifester, l'organisation de cette semaine est
franchement délicate.
Merci d'avance,
AP
______________________
Paris mailing list -- paris(a)ml.lre.epita.fr
https://lists.lrde.epita.fr/postorius/lists/paris.ml.lre.epita.fr//
______________________
Postdocs.paris mailing list -- postdocs.paris(a)ml.lre.epita.fr
https://lists.lrde.epita.fr/postorius/lists/postdocs.paris.ml.lre.epita.fr//