- Secu-sys.perms.toulouse

[Perms.toulouse] [Perms] [Permanents] [Current] Solveurs : journée industrielle GDR ROD et RADIA, le 14 décembre à Lyon

by Loic Rouquette

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// ______________________ Permanents mailing list -- permanents(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/permanents.ml.lre.epita.fr// ______________________ Perms mailing list -- perms(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/perms.ml.lre.epita.fr// ______________________ Perms.toulouse mailing list -- perms.toulouse(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/perms.toulouse.ml.lre.epita.fr//

10 months, 2 weeks

1
0
0 0

[Perms.toulouse] [Perms] [URGENT] pour le Hcéres, vos qualif

by Thierry Geraud

Bonjour, Le Hcéres demande des informations concernant les équipes, pour préparer l'évaluation. En particulier, il faudrait que je sache qui est qualifié (plus infos complémentaires) et qui ne l'est pas. Dans le classeur : [https://res.cdn.office.net/assets/mail/file-icon/png/xlsx_16x16.png] 2023-11 Qualif.xlsx<https://epitafr.sharepoint.com/:x:/s/LRE_Direction/ES0dHv004NJMuNtcvi99gpUB…> vous trouverez une ligne à votre nom. Si pas de qualif, merci de l'indiquer explicitement dans la colonne ad hoc. Merci d'avance, et bonne après-midi, Théo ______________________ Perms mailing list -- perms(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/perms.ml.lre.epita.fr// ______________________ Perms.toulouse mailing list -- perms.toulouse(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/perms.toulouse.ml.lre.epita.fr//

10 months, 2 weeks

1
0
0 0

[Perms.toulouse] [Perms] You have been unsubscribed from the Permanents mailing list

by permanents-bounces＠ml.lre.epita.fr

______________________ Perms mailing list -- perms(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/perms.ml.lre.epita.fr// ______________________ Perms.toulouse mailing list -- perms.toulouse(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/perms.toulouse.ml.lre.epita.fr//

10 months, 2 weeks

1
0
0 0

[Secu-sys.perms] Point équipe sécurité-systèmes / étudiants

by Pierre Parrend

Ordre du jour : * Dernières infos sur les locaux * Vos questions * Point parcours 'challenge' (pour les personnes concernées) * Divers ________________________________________________________________________________ Réunion Microsoft Teams Participez à partir de votre ordinateur, de votre application mobile ou de l'appareil de la salle Cliquez ici pour rejoindre la réunion<https://teams.microsoft.com/l/meetup-join/19%3ameeting_ODBhNjBjYjgtMGFiMS00…> ID de la réunion : 374 369 841 746 Code secret : eSgWL7 Télécharger Teams<https://www.microsoft.com/en-us/microsoft-teams/download-app> | Rejoindre sur le web<https://www.microsoft.com/microsoft-teams/join-a-meeting> Pour en savoir plus<https://aka.ms/JoinTeamsMeeting> | Options de réunion<https://teams.microsoft.com/meetingOptions/?organizerId=7c5194f6-08ca-45e8-…> ________________________________________________________________________________ ______________________ Secu-sys.perms mailing list -- secu-sys.perms(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/secu-sys.perms.ml.lre.epita.fr//

10 months, 3 weeks

1
0
0 0

[Secu-sys.perms] Point équipe sécurité-systèmes / étudiants

by Pierre Parrend

Bonjour à tous, Le framadate a parlé, on se voit ce jeudi 2/11 à 17h. Ça sera donc en visio. A demain ! Pierre [Une image contenant texte, clipart, signe Description générée automatiquement]<https://www.epita.fr/> Pierre PARREND LRE - Laboratoire de Recherche de l'EPITA - Directeur Adjoint Resp Equipe Sécu-Systèmes Professeur HDR [cid:image002.png@01DA0C9B.A42E1A80]<https://www.facebook.com/StrasbourgEPITA> [cid:image003.png@01DA0C9B.A42E1A80] <https://www.instagram.com/epita_strasbourg/> [cid:image004.png@01DA0C9B.A42E1A80] <https://www.linkedin.com/school/epita-ecole-ingenieurs-informatique> [cid:image005.png@01DA0C9B.A42E1A80] <https://twitter.com/epita> [cid:image006.png@01DA0C9B.A42E1A80] <https://www.epita.fr/> [Une image contenant texte, clipart Description générée automatiquement] <https://www.youtube.com/channel/UC33NtVL7bStj4FmWeIstKqg> 03 67 18 04 01 [cid:image008.png@01DA0C9B.A42E1A80] ______________________ Secu-sys.perms mailing list -- secu-sys.perms(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/secu-sys.perms.ml.lre.epita.fr//

10 months, 3 weeks

1
0
0 0

[Perms.toulouse] [Perms] [Permanents] [Current] Reminder (séminaire axe ML)

by Idir Benouaret

Bonjour, Pour rappel, aujourd'hui à 17h aura lieu le séminaire de l'axe ML donné par Behrooz Omidvar-Tehrani, qui est chercheur à Amazon AI labs. À tout à l'heure. Idir [Une image contenant texte, clipart, signe Description générée automatiquement] Idir Benouaret Enseignant-Chercheur [https://lh6.googleusercontent.com/dCYVl9pmYNgg1wBndkYtELRR9DX8RRY5d_e4N2Xhk…] [https://lh4.googleusercontent.com/O8lm18dZZ188g_iBNOmO2UX8qPx8zNmCfFbItUDzk…] [https://lh4.googleusercontent.com/iJejRKKnVTGA2lyz-eMOKQvI9vVP-ftzUIqzCoeoR…] [https://lh6.googleusercontent.com/J3eMugeLIjhhZigE4aw44kR3o5SCCOf3J7YJfPDTC…] [https://lh3.googleusercontent.com/2nPXgKhjFiG8S9uTa2TTXP1-CcUjZnjdJ5CVAd3_f…] [Une image contenant texte, clipart Description générée automatiquement] +33 4 28 29 37 63 [https://lh6.googleusercontent.com/hGLtorzP2LwpWN7a7qPxHUf-Ufq7UmoJXpduyzZWG…] ______________________ Current mailing list -- current(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/current.ml.lre.epita.fr// ______________________ Permanents mailing list -- permanents(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/permanents.ml.lre.epita.fr// ______________________ Perms mailing list -- perms(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/perms.ml.lre.epita.fr// ______________________ Perms.toulouse mailing list -- perms.toulouse(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/perms.toulouse.ml.lre.epita.fr//

10 months, 4 weeks

1
0
0 0

[Secu-sys.perms] Liste des projets étudiants en labo que vous encadrez

by Pierre Parrend

Bonjour à tous, Plusieurs d'entre nous ont reçu un mail un peu confus de Guillaume ce matin. Pour pouvoir répondre aux étudiants j'ai besoin d'avoir une liste à jour des projets que vous encadrez : https://hedgedoc.lre.epita.fr/JMM3tyPeTIqvUsTUwzYpDw?both#Liste-des-projets… Merci à tous ! Pierre [Une image contenant texte, clipart, signe Description générée automatiquement]<https://www.epita.fr/> Pierre PARREND LRE - Laboratoire de Recherche de l'EPITA - Directeur Adjoint Resp Equipe Sécu-Systèmes Professeur HDR [cid:image002.png@01DA0285.93956B80]<https://www.facebook.com/StrasbourgEPITA> [cid:image003.png@01DA0285.93956B80] <https://www.instagram.com/epita_strasbourg/> [cid:image004.png@01DA0285.93956B80] <https://www.linkedin.com/school/epita-ecole-ingenieurs-informatique> [cid:image005.png@01DA0285.93956B80] <https://twitter.com/epita> [cid:image006.png@01DA0285.93956B80] <https://www.epita.fr/> [Une image contenant texte, clipart Description générée automatiquement] <https://www.youtube.com/channel/UC33NtVL7bStj4FmWeIstKqg> 03 67 18 04 01 [cid:image008.png@01DA0285.93956B80] ______________________ Secu-sys.perms mailing list -- secu-sys.perms(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/secu-sys.perms.ml.lre.epita.fr//

10 months, 4 weeks

1
1
0 0

[Perms.toulouse] [Perms] [Permanents] [Current] Newsletter de rentrée du LRE

by Elodie Puybareau

Bonjour, L'automne semble être finalement arrivé, c'est l'heure de la Newsletter de rentrée ! Qui dit Newsletter spéciale, dit format spéciale ! Je vous invite à la consulter en ligne, car elle est publiée publiquement sur notre site internet ! C'est par ici<https://www.lre.epita.fr/news_content/Newsletter_de_rentree.pdf> pour la découvrir ! Au programme : le mot de rentrée, quelques évènements à venir, un coin pédago et dates prévisionnelles, un récap des points forts de la Newsletter et la répartition des équipes sur les campus ! Bonne lecture ! ______________________ Current mailing list -- current(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/current.ml.lre.epita.fr// ______________________ Permanents mailing list -- permanents(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/permanents.ml.lre.epita.fr// ______________________ Perms mailing list -- perms(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/perms.ml.lre.epita.fr// ______________________ Perms.toulouse mailing list -- perms.toulouse(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/perms.toulouse.ml.lre.epita.fr//

11 months

1
0
0 0

[Perms.toulouse] [Perms] [Permanents] [Current] Tickets

by Vincent Gouaze

Bonjour, Suite à un problème technique, le système de tickets par mail est HS. Je vous invite donc à regarder au bas de la page ressources de l"intra: https://intra.lre.epita.fr/ressources/#ticket-admin-sys Cela vous permettra d'avoir un suivi de vos tickets. Cordialement, Vincent ______________________ Current mailing list -- current(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/current.ml.lre.epita.fr// ______________________ Permanents mailing list -- permanents(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/permanents.ml.lre.epita.fr// ______________________ Perms mailing list -- perms(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/perms.ml.lre.epita.fr// ______________________ Perms.toulouse mailing list -- perms.toulouse(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/perms.toulouse.ml.lre.epita.fr//

11 months, 1 week

1
0
0 0

[Perms.toulouse] [Perms] [Permanents] [Current] Talk-Behrooz@Amazon-Séminaire-Axe ML

by Idir Benouaret

Dans le cadre des séminaires de l'axe ML et applications, le prochain séminaire sera donné par Behrooz Omidvar-Tehrani (http://omidvar.info/), chercheur à Amazon AI labs en Californie. Title: Guided Text-based Item Exploration Speaker: Behrooz Omidvar-Tehrani, Amazon AWS AI Labs Abstract: Users in their different roles (data owners, customers, stakeholders, advertisers) interact with data systems to seek information. Typical information seeking paradigms such as search and recommendation, depend on a crystal-clear definition of an information seeking task to operate. In reality, most data-centric tasks are subjective which require a sequence of interactions to manifest and clarify. Interacting with data systems is a tedious task and users need to receive guided recommendations from the system to optimize their interactions when dealing with subjectivity. In this talk, we focus on the challenge of "subjective needs" and "multi-shot tasks", and review (1) how the diverse and heterogeneous set of user interactions can be formalized and represented in the form of a unique model, and (2) how data systems can leverage the interaction model to assist users in their interactions by disambiguating their needs and guiding users through their information seeking journey until landing on their ideal target. We discuss real-world use cases of formalizing and learning interactions, both in academia and industry, whose core objective is to help users interact with data systems more effectively. We also discuss future directions of interaction learning, such as incorporating domain knowledge and multi-environment exploration. Speaker Bio: Behrooz is an Applied Scientist in AWS AI Labs. Prior to Amazon, he held positions in Naver Labs Europe, the Grenoble Alpes University, and the Ohio State University. He received his PhD in CS from the University of Grenoble Alpes, France, in 2015. His research focuses on Human-in-the-Loop Data Analytics spanning over different research areas such as Data Mining, Databases, Visual Analytics, and Machine Learning. He has published more than 40 papers in top-ranked international conferences and journals including VLDB, SIGMOD, CIKM, TKDE, and CHI. ________________________________________________________________________________ Réunion Microsoft Teams Participez à partir de votre ordinateur, de votre application mobile ou de l’appareil de la salle Cliquez ici pour rejoindre la réunion<https://teams.microsoft.com/l/meetup-join/19%3ameeting_YjJlNjVlMDEtODU3MS00…> ID de la réunion : 351 740 405 618 Code secret : WUnjFJ Télécharger Teams<https://www.microsoft.com/en-us/microsoft-teams/download-app> | Rejoindre sur le web<https://www.microsoft.com/microsoft-teams/join-a-meeting> Ou composer le numéro (audio seulement) +33 1 73 44 50 21,,422293866#<tel:+33173445021,,422293866#> France, Paris ID Conférence Téléphone: 422 293 866# Rechercher un numéro local<https://dialin.teams.microsoft.com/b1f8449c-d1c4-451a-9b29-7e5316542160?id=…> | Réinitialiser le code confidentiel<https://dialin.teams.microsoft.com/usp/pstnconferencing> Pour en savoir plus<https://aka.ms/JoinTeamsMeeting> | Options de réunion<https://teams.microsoft.com/meetingOptions/?organizerId=63181773-1d26-4dee-…> ________________________________________________________________________________ ______________________ Current mailing list -- current(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/current.ml.lre.epita.fr// ______________________ Permanents mailing list -- permanents(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/permanents.ml.lre.epita.fr// ______________________ Perms mailing list -- perms(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/perms.ml.lre.epita.fr// ______________________ Perms.toulouse mailing list -- perms.toulouse(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/perms.toulouse.ml.lre.epita.fr//

11 months, 1 week

1
0
0 0

2024

2023

Secu-sys.perms.toulouse ----- 2024 ----- September 2024 August 2024 July 2024 June 2024 May 2024 April 2024 March 2024 February 2024 January 2024 ----- 2023 ----- December 2023 November 2023 October 2023 September 2023 August 2023

Secu-sys.perms.toulouse