- Secu-sys.perms.lyon

[Perms.lyon] [Perms] [Permanents] Parcours Challenge : appel à projets !

by Elodie Puybareau

Bonjour, Ceci est un appel à projets pour le parcours Challenge ! Si vous souhaitez concourir avec un/des étudiant(s) à un/des challenge(s), merci de me répondre en me précisant le type de concours, les modalités, et le déroulé (en particulier entrainement, évaluation, planning). Rappel : il s'agit d'un parcours donc il y a des équivalences, ça ne peut pas être juste une participation à un concours et rien à côté. Bonne journée ! PS : j'écris sur la liste permanents, n'hésitez pas à diffuser si vous avez des personnes intéressées qui ne sont pas sur la liste ! ______________________ 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.lyon mailing list -- perms.lyon(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/perms.lyon.ml.lre.epita.fr//

10 months, 1 week

2
2
0 0

[Perms.lyon] [Perms] [Permanents] [Current] Dernier appel à communication pour l'atelier GAST/EGC' 2024 (Gestion et Analyse des données Spatiales et Temporelles)

by Nidà Meddouri

Veuillez nous excuser pour les diffusions multiples. Pour rappel, la date limite de soumission de résumés pour l'atelier GAST d'EGC 2024 est le **22 novembre 2023**. ************************************************************************************************************************* Appel à communication pour l'atelier GAST/EGC'2024 (Gestion et Analyse des données Spatiales et Temporelles) EGC 2024 - Dijon https://gt-gast.irisa.fr/ Résumé : Dans le cadre du neuvième atelier GAST, nous sollicitons des soumissions d'articles autour des thématiques de la gestion et analyse des données spatiales et temporelles. Nous souhaitons que l'atelier soit un espace d'échange qui regroupe des chercheurs du domaine. En fonction des possibilités, nous pourrons également envisager la venue d'un invité qui, par ses travaux récents, peut enrichir les connaissances de la communauté. Équipe organisatrice : - Aurélie Leborgne<mailto:aurelie.leborgne@unistra.fr>, ICube / UNISTRA (Strasbourg) - Nida Meddouri<mailto:nida.meddouri@epita.fr>, LRE / EPITA (Paris) - Loïc Salmon<mailto:loic.salmon@unc.nc>, ISEA/ UNC (Nouméa) Descriptif : La nature des données spatiales et temporelles exploitées s'étend au sens très large dans cet atelier. Il peut s'agir d'analyser des données enrichies d'informations de localisation et d'horodatage ; aussi bien que de traiter des sources d'informations complexes dont nous cherchons à extraire des informations spatiales ou temporelles (documents vidéo, textes, cartes, etc.). Les problématiques associées peuvent concerner aussi bien les techniques de représentation de ces informations, leurs analyses (en temps réel ou pas) que leur stockage. Ces thématiques ont connu un intérêt croissant ces dernières années, en particulier avec le développement de nombreuses méthodes d'analyse de séries temporelles ou de traces mobiles. Il nous apparaît donc important de permettre aux chercheurs de la communauté francophone (ou autres) de pouvoir se rencontrer pour échanger spécifiquement sur ces thématiques. Objectifs : Cet atelier s'inscrit dans la continuité des ateliers des années passées. Un des objectifs est de regrouper les chercheurs du domaine académique et de l'industrie. Ces derniers s'intéressent aux problématiques liées à la prise en compte de l'information temporelle ou spatiale (quantitative ou qualitative) dans leurs processus de gestion et d'analyse de données (méthodes et application de l'extraction, la gestion, la représentation, l'analyse et la visualisation d'informations, apprentissage et extraction de connaissances à partir des données spatio-temporelles). L'atelier permet de donner la possibilité à un grand nombre de chercheurs intéressés par ces thématiques de présenter leurs problématiques et approches. Thèmes de l'atelier (liste non exhaustive) : Les soumissions attendues porteront sur les besoins, outils, problèmes, techniques, méthodes et algorithmes dédiés à l'analyse : - Des données temporelles : séries temporelles, données séquentielles, etc.; - Des données spatiales : images satellites, numériques, données géomatiques et maritimes, etc.; - Des données spatio-temporelles : données issues de réseaux de capteurs, données biologiques et médicales, traces spatio-temporelles (déplacements d'espèces vivantes, objets), vidéos, séries d'images satellites, données territoriales, etc. ; - Des données textuelles évoquant des aspects spatiaux et temporels, etc. ; - Des flux de données (en temps réel) incluant des informations spatiales, etc. ; - Des données fédérées dans un environnement distribué géographiquement, etc. Les questions suivantes pourront, par exemple, y être abordées : - Recherche et intégration de connaissances spatiales et temporelles dans un processus d'analyse de données; - Méthodes d'apprentissage profond pour les données spatio-temporelles; - Extraction et visualisation de motifs ou de règles de classification/prédiction à partir des données spatio-temporelles; - Modélisation de l'information spatiale et temporelle, prise en compte des aspects hétérogènes, multidimensionnel ou multi échelle des données temporelles et spatiales; - Représentation, analyse et gestion des données spatio-temporelles incertaines; - Prise en compte des contraintes d'anonymat dans les données spatiales et temporelles (apprentissage fédéré); - Explicabilité/interprétabilité des modèles en présence de données temporelles et/ou spatiales; - Données géo-spatiales et géo-temporelles du Web et de l'Open Data; - Construction et acquisition de connaissances géo-spatiales/géo-temporelles à partir de textes et/ou d'images; - Mesure de qualité sur les données spatiales et temporelles; Les contributions peuvent aborder ces questions de manière conceptuelle ou appliquée sur divers domaines d'application (santé, transport, industrie, etc.). Les méthodes, modèles et outils qui transcendent les frontières entre plusieurs domaines applicatifs seront particulièrement appréciés. Les dates : Abstract : 22 novembre 2023 Full paper : 29 novembre 2023 Notification : 18 décembre 2023 Inscription des auteurs : à partir du 30 novembre 2023 Instructions aux auteurs : Les auteurs sont invités à soumettre des travaux de recherche originaux (non publiés ou en cours d'évaluation) autour des thématiques de l'atelier. Trois formats de papier sont acceptés : résumés étendus de 2 pages; papiers courts de 6 pages et papiers longs de 12 pages. Les actes n'étant pas imprimés, une certaine flexibilité est possible autorisée autour de ces chiffres. Les soumissions devront être réalisées au format PDF et devront utiliser le format RNTI disponible en téléchargement à l'adresse : http://www.editions-rnti.fr/files/RNTI-X-Y2.1.zip. La langue officielle de l'atelier est le français, mais il reste ouvert aux contributions en langue anglaise. La soumission des propositions d'articles se fera exclusivement sous format électronique via le site EasyChair Conference System : https://easychair.org/conferences/?conf=egc2024 en choisissant lors de la soumission la track GAST correspondant à l'atelier. Si vous avez des difficultés, n'hésitez pas à nous contacter. Chaque soumission sera évaluée par 3 évaluateurs. Les critères d'évaluation retenus sont : - L'adéquation du contenu scientifique de la proposition aux thématiques de l'atelier. - La mise en évidence d'un résultat scientifique, d'une idée innovante ou de retours d'expériences. - La qualité scientifique de la soumission. - La clarté de la présentation (pour un public pluridisciplinaire notamment). - Le fait que la contribution soit susceptible de donner lieu à des échanges scientifiques intéressants. Les inscriptions peuvent se réaliser à l'atelier seul ou à tout l'événement (atelier + conférence). Le tarif d'inscription et la procédure d'inscription sont disponibles sur le site de la conférence EGC : https://iutdijon.u-bourgogne.fr/egc2024/ Contact : gast_egc2024(a)easychair.org<mailto:gast_egc2024@easychair.org> ______________________ 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.lyon mailing list -- perms.lyon(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/perms.lyon.ml.lre.epita.fr//

10 months, 1 week

1
0
0 0

[Perms.lyon] [Perms] [Permanents] [Current] TR: Cybernight 2023

by Pierre Parrend

Bonjour à tous, Vous trouverez en PJ le programme de la Cybernight EFREI du 24/11. N'hésitez pas à y passer ! Bien à vous, Pierre De : Vincent COSSON <vincent.cosson(a)efrei.fr> Envoyé : vendredi 10 novembre 2023 13:22 À : Pierre Parrend <pierre.parrend(a)epita.fr> Cc : Max AGUEH <max.agueh(a)efrei.fr>; Julie GERARD <julie.gerard(a)efrei.fr> Objet : RE: Cybernight 2023 Bonjour, Comme promis, voici la dernière version du programme de la CyberNight à jour. [...] Merci à tous de l'accueil réservé à notre initiative, Cordialement, Vincent COSSON Vincent Cosson Chef de projet développement (33) 1 88 28 91 80 30-32 avenue de la République 94800 Villejuif [EfreiParis]<https://www.efrei.fr/> PROG. GRANDE ÉCOLE INGÉNIEURS<https://www.efrei.fr/programme-grande-ecole/> PROG. EXPERTS DU NUMÉRIQUE<https://www.efrei.fr/programmes-experts/> PARIS / BORDEAUX La grande école du numérique et de l'innovation ______________________ 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.lyon mailing list -- perms.lyon(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/perms.lyon.ml.lre.epita.fr//

10 months, 2 weeks

1
0
0 0

[Secu-sys.perms] Annulé: Réu équipe Sécu-Systèmes

by Pierre Parrend

________________________________________________________________________________ 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_ZGI5YzFhZGEtZDhiNi00…> ID de la réunion : 355 366 181 466 Code secret : jSvE2T 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, 2 weeks

1
0
0 0

[Secu-sys.perms] Annulation réunion d'équipe cette semaine + décalage semaine pro

by Pierre Parrend

Bonjour à tous, La réunion d'équipe de cette semaine est annulée. Le séminaire de Gewu Bu a bien lieu, il arrive à 10h15 au bat 3 pour démarrage à 10h30. S'il y a des points urgents au niveau de l'équipe faites-moi signe pour qu'on puisse les traiter. J'en ai noté un, mais qu'on peut traiter lors de la prochaine réu : suite à la démission de la majorité des étudiants du parcours dév il faut qu'on réorganise les parcours dans l'équipe, et qu'on prenne une décision pour les recrutements. Normalement ce n'est pas du ressort de l'équipe - les parcours sont définis par la direction des études, avec des coordinateurs nommés - mais c'est bien nos étudiants, et nos projets. Une solution simple est de suivre ce dont on parlait la semaine dernière : chaque EC encadre ces étudiants, et s'assure que le déroulé du parcours est bien défini (c'est le cas pour la recherche, pas pour le dév ni le hackathon). Pour les recrutements on a évoqué le fait de faire 1 candidature par projet, ça permettra d'avoir des étudiants motivés par les projets sur lesquels on veut les faire travailler. @Marc tu nous diras si ça colle avec tes projets aussi. Qu'en pensez-vous ? Bonne journée ! 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@01DA1225.70483040]<https://www.facebook.com/StrasbourgEPITA> [cid:image003.png@01DA1225.70483040] <https://www.instagram.com/epita_strasbourg/> [cid:image004.png@01DA1225.70483040] <https://www.linkedin.com/school/epita-ecole-ingenieurs-informatique> [cid:image005.png@01DA1225.70483040] <https://twitter.com/epita> [cid:image006.png@01DA1225.70483040] <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@01DA1225.70483040] ______________________ 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, 2 weeks

1
0
0 0

[Perms.lyon] [Perms] TR: Affectation des apprentis pour tutorat

by Thierry Geraud

Bonjour, Merci de ne pas intervertir les cases prénom et nom, et de bien renseigner votre email (dernière cas à fond de couleur). Bonne après-midi, Théo ________________________________ De : Claire Leroux <claire.leroux(a)epita.fr> Envoyé : mardi 7 novembre 2023 13:23 À : Elloh Adja <elloh.adja(a)epita.fr>; Amazigh Amrane <amazigh.amrane(a)epita.fr>; Kamel Attar <kamel.attar(a)epita.fr>; Loïca Avanthey <loica.avanthey(a)epita.fr>; Hugo Bazille <hugo1.bazille(a)epita.fr>; Laurent Beaudoin <laurent.beaudoin(a)epita.fr>; Idir Benouaret <idir.benouaret(a)epita.fr>; David Beserra <david.beserra(a)epita.fr>; Fabrice Boissier <fabrice.boissier(a)epita.fr>; Nicolas Boutry <nicolas.boutry(a)epita.fr>; Aymeric Brody <aymeric.brody(a)epita.fr>; edwin1 carlinet <edwin1.carlinet(a)epita.fr>; juliette chansard <juliette.chansard(a)epita.fr>; Joseph Chazalon <joseph.chazalon(a)epita.fr>; reda dehak <reda.dehak(a)epita.fr>; Laurence Denneulin <laurence.denneulin(a)epita.fr>; Lamine Diop <lamine.diop(a)epita.fr>; Alexandre Duret-lutz <alexandre.duret-lutz(a)epita.fr>; Marc Espie <marc.espie(a)epita.fr>; Jonathan Fabrizio <jonathan.fabrizio(a)epita.fr>; Uli Fahrenberg <uli.fahrenberg(a)epita.fr>; Thierry Geraud <thierry.geraud(a)epita.fr>; Ghada Gharbi <ghada.gharbi(a)epita.fr>; Nasko Karamanov <nasko.karamanov(a)epita.fr>; Thibault Lejemble <thibault.lejemble(a)epita.fr>; arnaud lemettre <arnaud.lemettre(a)epita.fr>; Claire Leroux <claire.leroux(a)epita.fr>; Edouard Marchais <edouard.marchais(a)epita.fr>; Nidà Meddouri <nida.meddouri(a)epita.fr>; David Menager <david.menager(a)epita.fr>; Jim Newton <jim.newton(a)epita.fr>; pierre pagnoux <pierre.pagnoux(a)epita.fr>; Pierre Parrend <pierre.parrend(a)epita.fr>; Julien Perez <julien.perez(a)epita.fr>; Quentin Peyras <quentin.peyras(a)epita.fr>; Marc Plantevit <marc.plantevit(a)epita.fr>; Adrien Pommellet <adrien.pommellet(a)epita.fr>; Marie Puren <marie.puren(a)epita.fr>; Elodie Puybareau <elodie.puybareau(a)epita.fr>; Jimmy Randrianasoa <jimmy.randrianasoa(a)epita.fr>; Olivier Ricou <olivier.ricou(a)epita.fr>; Loic Rouquette <loic.rouquette(a)epita.fr>; Michaël Roynard <michael.roynard(a)epita.fr>; Philipp Schlehuber <philipp.schlehuber(a)epita.fr>; Daniel Stan <daniel.stan(a)epita.fr>; Guillaume Tochon <guillaume.tochon(a)epita.fr>; Didier Verna <didier.verna(a)epita.fr>; Ghiles Ziat <ghiles.ziat(a)epita.fr> Cc : Claire Lecocq <claire.lecocq(a)epita.fr> Objet : Affectation des apprentis pour tutorat Bonjour, Comme promis hier, Vous trouverez [Icône xlsx] à ce lien<https://epitafr.sharepoint.com/:x:/s/SHARE_APPRENTISSAGE/EToyxEQtzE5MmKzFT2…> la liste des apprentis avec entreprise et missions (Connexion avec votre mail EPITA requise). Vous devez donc avoir 4 jeunes à suivre (2 pour les mi-temps). Pour savoir où vous en êtes, regardez dans Caliel, puis rajoutez ceux qu’il vous manque (colonne L, M et N sans modifier ce que vous trouverez svp). Si vous en avez déjà 4, vous n’avez rien à faire. Vous ne recevrez pas non plus d’invitation à la formation des maîtres d’apprentissage le mardi 28/11 de 9h15 à 10h. Pour les autres, cela ne va pas tarder. Pour les 8 sans entreprise, il faut être joueur : ce sera des entreprises surprise[Contour de visage avec étoile contour] Dead line le 13/11. J’affecte le 14 les restants à ceux qui ne se sont pas positionnés. Bien cordialement [cid:image001.png@01DA117B.4F52D890]<https://www.epita.fr/> Claire leroux Directrice de l’OFA [cid:image002.png@01DA117B.4F52D890]<https://www.facebook.com/epita/> [cid:image003.png@01DA117B.4F52D890] <https://www.instagram.com/epita.national/> [cid:image004.png@01DA117B.4F52D890] <https://www.linkedin.com/school/epita-ecole-ingenieurs-informatique> [cid:image005.png@01DA117B.4F52D890] <https://twitter.com/epita> [cid:image006.png@01DA117B.4F52D890] <https://www.epita.fr/> [cid:image007.png@01DA117B.4F52D890] <https://www.youtube.com/channel/UC33NtVL7bStj4FmWeIstKqg> 01.84.07.16.07 [cid:image008.png@01DA117B.4F52D890] ______________________ Perms mailing list -- perms(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/perms.ml.lre.epita.fr// ______________________ Perms.lyon mailing list -- perms.lyon(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/perms.lyon.ml.lre.epita.fr//

10 months, 2 weeks

1
0
0 0

[Perms.lyon] [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.lyon mailing list -- perms.lyon(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/perms.lyon.ml.lre.epita.fr//

10 months, 2 weeks

1
0
0 0

[Perms.lyon] [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.lyon mailing list -- perms.lyon(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/perms.lyon.ml.lre.epita.fr//

10 months, 2 weeks

1
0
0 0

[Perms.lyon] [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.lyon mailing list -- perms.lyon(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/perms.lyon.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

2024

2023

Secu-sys.perms.lyon ----- 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.lyon