BEGIN:VCALENDAR CALSCALE:GREGORIAN VERSION:2.0 X-WR-TIMEZONE:Europe/Paris METHOD:PUBLISH PRODID:-//LIP6//www.lip6.fr//FR X-WR-CALNAME;VALUE=TEXT:Séminaire LIP6 X-LIC-LOCATION:Europe/Paris BEGIN:VTIMEZONE TZID:Europe/Paris BEGIN:DAYLIGHT TZOFFSETFROM:+0100 RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU DTSTART:19810329T020000 TZNAME:GMT+02:00 TZOFFSETTO:+0200 END:DAYLIGHT BEGIN:STANDARD TZOFFSETFROM:+0200 RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU DTSTART:19961027T030000 TZNAME:GMT+01:00 TZOFFSETTO:+0100 END:STANDARD END:VTIMEZONE BEGIN:VEVENT SUMMARY:Colloquium Françoise Berthoud: Sobriété Numérique : Pourquoi i l faut y aller et quels sont les freins ? ORGANIZER;CN=Cécile Braunstein:MAILTO:cecile.braunstein@lip6.fr ATTENDEE;CN=Françoise Berthoud;CUTYPE=INDIVIDUAL;PARTSTAT=ACCEPTED DESCRIPTION:En s’appuyant sur la proposition de sobriété numérique fa ite par l’ADEME\, l’Agence de l'Environnement et de la Maîtrise de l' Energie française engagée pour la transition écologique\, Françoise Be rthoud présentera les raisons qui justifient la nécessité de cette tran sition en particulier pour le secteur du numérique. Elle détaillera dif férentes manières d’engager cette transition\, ainsi que les verrous q ui peuvent encore empêcher d’y aller ! DTSTAMP:20250226T014458Z DTSTART;TZID=Europe/Paris:20250313T180000 DURATION:PT2H URL;VALUE=URI:https://www.lip6.fr/colloquium/?guest=Berthoud UID:LIP6/SEM/C75 LOCATION:Sorbonne Université (Amphi 43)\, 4\, place Jussieu\, 75005 Paris GEO:48.846643;2.355248 END:VEVENT BEGIN:VEVENT SUMMARY:Eleni Diamanti lauréate de la médaille de l'innovation CNRS ORGANIZER;CN=:MAILTO: DESCRIPTION:Peu après l’obtention de sa médaille d’argent\, Eleni Di amanti\, directrice de recherches CNRS au sein de l'équipe QI\, vient d’être annoncée parmi les 3 lauréat(e)s de la Médaille de l’innova tion 2024 du CNRS... DTSTAMP:20250226T014458Z DTSTART;TZID=Europe/Paris:20240711T000000 DURATION:PT2H UID:LIP6/SEM/OL252 LOCATION:Sorbonne Université - Faculté des Sciences et Ingénierie - 750 05 Paris GEO:48.846643;2.355248 END:VEVENT BEGIN:VEVENT SUMMARY:Distinguished Paper Award reçu à ISSAC 2024 ORGANIZER;CN=:MAILTO: DESCRIPTION:Membre de l'équipe PolSys\, Vincent Neiger s'est vu récompen sé par un Distinguished Paper Award lors de l'ISSAC 2024\, la conférence phare du domaine du calcul formel. La conférence s'est déroulée cet é té\, du 16 au 19 juillet\, à Raleigh en Caroline du Nord\, aux USA. Fél icitations ! DTSTAMP:20250226T014458Z DTSTART;TZID=Europe/Paris:00000000T000000 DURATION:PT2H UID:LIP6/SEM/OL260 LOCATION:Sorbonne Université - Faculté des Sciences et Ingénierie - 750 05 Paris GEO:48.846643;2.355248 END:VEVENT BEGIN:VEVENT SUMMARY:Une délégation LIP6 en visite au Canada ! ORGANIZER;CN=:MAILTO: DESCRIPTION:Composée d'Aurélie Beynier\, Olivier Fourmaux\, Fabrice Kord on et Vanda Luengo\, une délégation LIP6 s’est tout récemment dépla cée au Canada pour une série de visites visant à développer les parten ariats internationaux du laboratoire. DTSTAMP:20250226T014458Z DTSTART;TZID=Europe/Paris:00000000T180000 DURATION:PT2H UID:LIP6/SEM/OL261 LOCATION:Sorbonne Université - Faculté des Sciences et Ingénierie - 750 05 Paris GEO:48.846643;2.355248 END:VEVENT BEGIN:VEVENT SUMMARY:Retour sur la Journée Annuelle du Labo 2024 ORGANIZER;CN=:MAILTO: DESCRIPTION:Le 15 octobre dernier\, le LIP6 a célébré sa Journée Annue lle sur le Campus des Cordeliers de Sorbonne Université. Environ 150 pers onnes sont venues assister aux présentations. Merci à eux et à tous nos orateurs ! (Plus d'infos et photos en cliquant ici...) DTSTAMP:20250226T014458Z DTSTART;TZID=Europe/Paris:20241018T180000 DURATION:PT2H UID:LIP6/SEM/OL263 LOCATION:Sorbonne Université - Faculté des Sciences et Ingénierie - 750 05 Paris GEO:48.846643;2.355248 END:VEVENT BEGIN:VEVENT SUMMARY:Amal El Fallah Seghrouchni nommée ministre au Maroc ORGANIZER;CN=:MAILTO: DESCRIPTION:Experte internationale en IA distribuée et systèmes multi-ag ents\, Amal El Fallah-Segrouchni\, membre de l'équipe SMA\, a été nom mée\, le 24 octobre dernier\, au poste de Ministre chargée de la Transit ion numérique et de la Réforme de l’administration au sein du gouverne ment du Royaume du Maroc. DTSTAMP:20250226T014458Z DTSTART;TZID=Europe/Paris:20241028T180000 DURATION:PT2H UID:LIP6/SEM/OL264 LOCATION:Sorbonne Université - Faculté des Sciences et Ingénierie - 750 05 Paris GEO:48.846643;2.355248 END:VEVENT BEGIN:VEVENT SUMMARY:Quel est le lien ? Informatique et... Musique ! ORGANIZER;CN=:MAILTO: DESCRIPTION:Jean-Pierre Briot\, chercheur émérite au LIP6\, nous donne u n aperçu des interactions entre informatique et musique\, avec l’aide d e Nathan Fradet\, ancien doctorant du LIP6\, et Rens Baeyens\, doctorant a u Cosys-Lab de l’Université d’Anvers. DTSTAMP:20250226T014458Z DTSTART;TZID=Europe/Paris:00000000T180000 DURATION:PT2H UID:LIP6/SEM/OL265 LOCATION:Sorbonne Université - Faculté des Sciences et Ingénierie - 750 05 Paris GEO:48.846643;2.355248 END:VEVENT BEGIN:VEVENT SUMMARY:Best Student Paper Award reçu à CRiSIS 2024 ORGANIZER;CN=:MAILTO: DESCRIPTION:Doctorant au sein de l'équipe NPA\, Guillaume Nibert s'est vu récompensé par un Best Student Paper Award lors de la 19ème Internatio nal Conference on Risks and Security of Internet and Systems (CRiSIS)... DTSTAMP:20250226T014458Z DTSTART;TZID=Europe/Paris:00000000T000000 DURATION:PT2H UID:LIP6/SEM/OL266 LOCATION:Sorbonne Université - Faculté des Sciences et Ingénierie - 750 05 Paris GEO:48.846643;2.355248 END:VEVENT BEGIN:VEVENT SUMMARY:À la rencontre de... Julien Tierny ORGANIZER;CN=:MAILTO: DESCRIPTION:Directeur de recherches CNRS au sein de notre équipe APR\, Ju lien Tierny est spécialiste de la visualisation et de l'analyse topologiq ue de données massives. Ses recherches ont de nombreuses applications dan s des secteurs tels que la chimie\, l'énergie\, ou encore l'astrophysique ... DTSTAMP:20250226T014458Z DTSTART;TZID=Europe/Paris:20250123T180000 DURATION:PT2H UID:LIP6/SEM/OL269 LOCATION:Sorbonne Université - Faculté des Sciences et Ingénierie - 750 05 Paris GEO:48.846643;2.355248 END:VEVENT BEGIN:VEVENT SUMMARY:Motion du LIP6 au sujet des "CNRS Key Labs" ORGANIZER;CN=:MAILTO: DESCRIPTION:Le LIP6\, au cours de l'AG extraordinaire du jeudi 30 janvier matin à propos des "CNRS Key Labs"\, a voté à une très forte majorité (85\,25% pour\, 3\,83% contre\, 10\,93% sans avis) la motion suivante ... DTSTAMP:20250226T014458Z DTSTART;TZID=Europe/Paris:00000000T000000 DURATION:PT2H UID:LIP6/SEM/OL270 LOCATION:Sorbonne Université - Faculté des Sciences et Ingénierie - 750 05 Paris GEO:48.846643;2.355248 END:VEVENT BEGIN:VEVENT SUMMARY:Colloquium d'informatique - Agnès Crepet ORGANIZER;CN=:MAILTO: ATTENDEE;CN=Agnès Crepet (FairPhone);CUTYPE=INDIVIDUAL;PARTSTAT=ACCEPTED DESCRIPTION:Le Colloquium d'informatique de SU est une conférence récurr ente organisée par le LIP6. Cette session recevra Agnès Crepet (FairPhon e). DTSTAMP:20250226T014458Z DTSTART;TZID=Europe/Paris:20250612T180000 DURATION:PT2H URL;VALUE=URI:https://www.lip6.fr/liens/organise-fiche.php?ident=O1158 UID:LIP6/SEM/O1158 LOCATION:Amphi 25 END:VEVENT BEGIN:VEVENT SUMMARY:Colloquium d'informatique - Véronique Cortier ORGANIZER;CN=:MAILTO: ATTENDEE;CN=Véronique Cortier (CNRS\, LORIA);CUTYPE=INDIVIDUAL;PARTSTAT=A CCEPTED DESCRIPTION:Le Colloquium d'informatique de SU est une conférence récurr ente organisée par le LIP6. Cette session recevra Véronique Cortier (CNR S\, LORIA). DTSTAMP:20250226T014458Z DTSTART;TZID=Europe/Paris:20250403T180000 DURATION:PT2H URL;VALUE=URI:https://www.lip6.fr/liens/organise-fiche.php?ident=O1159 UID:LIP6/SEM/O1159 LOCATION:Amphi 25 END:VEVENT BEGIN:VEVENT SUMMARY:Visite des étudiants de l'ENS Paris Saclay ORGANIZER;CN=:MAILTO: DESCRIPTION:Des étudiants en première année d'informatique de l'ENS Par is Saclay viendront visiter le laboratoire et découvrir nos travaux de re cherche. DTSTAMP:20250226T014458Z DTSTART;TZID=Europe/Paris:20250306 DTEND;TZID=Europe/Paris:20250307 URL;VALUE=URI:https://www.lip6.fr/liens/organise-fiche.php?ident=O1164 UID:LIP6/SEM/O1164 END:VEVENT BEGIN:VEVENT SUMMARY:Café LIP6 #1 - Intégrité Scientifique : Expérimentations et Do nnées ORGANIZER;CN=:MAILTO: ATTENDEE;CN=Roger Guerin (Référent à l'Intégrité Scientifique\, SU);C UTYPE=INDIVIDUAL;PARTSTAT=ACCEPTED DESCRIPTION:Roger Guérin\, référent à l’intégrité scientifique de Sorbonne Université\, animera notre premier rendez-vous « Café LIP 6 » avec une présentation interactive sur l’intégrité scientifique — expérimentations & données. DTSTAMP:20250226T014458Z DTSTART;TZID=Europe/Paris:20250325T160000 DURATION:PT2H URL;VALUE=URI:https://www.lip6.fr/liens/organise-fiche.php?ident=O1165 UID:LIP6/SEM/O1165 LOCATION:Campus Pierre et Marie Curie\, Salle de réunion de l'UFR d'Ingé nierie (55-65/211) END:VEVENT BEGIN:VEVENT SUMMARY:Déj' Egalité Pro - Journée du droit des femmes ORGANIZER;CN=:MAILTO: DESCRIPTION:Prenez part au prochain déjeuner du groupe Egalité Pro le 3 mars de 12h30 à 14h. Pour cette date\, entourée par le 11 février (jour née internationale des femmes et filles de science) et le 8 mars (journé e internationale des droits des femmes)\, nous avons décidé d'aborder la place des femmes en science. À votre avis\, pour quelles raisons\, a- t-on du mal à motiver les étudiantes <ul> <li>à suivre des études en sciences\,</li> <li>à devenir doctorantes\,</li> <li>à intégrer la r echerche académique ?</li> </ul> Quelles sont les (des) difficultés ? Et de quel levier pouvons-nous user pour tenter d'inverser la tendance ? Vous êtes les bienvenu.e.s\, avec ou sans idées\, juste pour en disc uter. Vous pouvez venir avec un déjeuner\, mais aussi sans si vous souhai tez jeûner. DTSTAMP:20250226T014458Z DTSTART;TZID=Europe/Paris:20250303T123000 DURATION:PT2H URL;VALUE=URI:https://www.lip6.fr/liens/organise-fiche.php?ident=O1166 UID:LIP6/SEM/O1166 LOCATION:Campus Pierre et Marie Curie\, Salle 26-00/534 END:VEVENT BEGIN:VEVENT SUMMARY:Colloquium d'informatique - Françoise Berthoud ORGANIZER;CN=:MAILTO: ATTENDEE;CN=Françoise Berthoud (CNRS\, GRICAD & EcoInfo);CUTYPE=INDIVIDUA L;PARTSTAT=ACCEPTED DESCRIPTION:Le Colloquium d'informatique de SU est une conférence récurr ente organisée par le LIP6. Cette session recevra Françoise Berthoud (CN RS\, GRICAD & EcoInfo). DTSTAMP:20250226T014458Z DTSTART;TZID=Europe/Paris:20250313T180000 DURATION:PT2H URL;VALUE=URI:https://www.lip6.fr/liens/organise-fiche.php?ident=O1167 UID:LIP6/SEM/O1167 LOCATION:Amphi 25 END:VEVENT BEGIN:VEVENT SUMMARY:Journée Annuelle du Laboratoire 2025 ORGANIZER;CN=:MAILTO: DTSTAMP:20250226T014458Z DTSTART;TZID=Europe/Paris:20250701T9h000 DURATION:PT2H URL;VALUE=URI:https://www.lip6.fr/liens/organise-fiche.php?ident=O1170 UID:LIP6/SEM/O1170 LOCATION:UPMC Campus des Cordeliers\, 21 rue de l'Ecole de Médecine\, 750 06 Paris END:VEVENT BEGIN:VEVENT SUMMARY:Crémaillère de la nouvelle Salle des doctorants ! ORGANIZER;CN=:MAILTO: DESCRIPTION:Venez fêter l'inauguration de la nouvelle Salle des doctorant s lors de sa crémaillère officielle ! DTSTAMP:20250226T014458Z DTSTART;TZID=Europe/Paris:20250320T180000 DURATION:PT2H URL;VALUE=URI:https://www.lip6.fr/liens/organise-fiche.php?ident=O1173 UID:LIP6/SEM/O1173 LOCATION:25-26/320 END:VEVENT BEGIN:VEVENT SUMMARY:Logiques floues à relation de conséquence mixte ORGANIZER;CN=:MAILTO: ATTENDEE;CN=Quentin BLOMET (Institut Nicod);CUTYPE=INDIVIDUAL;PARTSTAT=ACC EPTED DESCRIPTION:Résumé : Ce travail porte sur les logiques à relation de conséquence mixte. En logique classique\, une inférence est considérée comme valide si la vérité — ou\, de manière équivalente\, la non-fa usseté — est préservée des prémisses à la conclusion. Dans le cadre des logiques plurivalentes\, où vérité et non-fausseté se distinguent \, la conséquence logique peut être définie de diverses manières\, sel on que l'on choisisse de préserver uniquement la vérité\, uniquement la non-fausseté\, ou plus généralement tout sous-ensemble des valeurs de vérité. Les logiques à relation de conséquence mixte reposent sur une notion de conséquence logique qui évalue les prémisses et la conclusion selon des sous-ensembles distincts de valeurs de vérité. Dans un cadre trivalent\, on peut par exemple considérer qu’une inférence est valide dès lors que\, chaque fois que les prémisses prennent la valeur vrai\, la conclusion prend soit la valeur vrai\, soit la valeur intermédiaire en tre le vrai et le faux. L'intérêt des logiques à relation de conséqu ence mixte réside dans le fait que certaines propriétés classiques des relations de conséquence\, telles que la réflexivité ou la transitivi té\, n'y sont pas systématiquement valides. La logique trivalente ST\, p ar exemple\, préserve la validité de toutes les inférences valides de l a logique classique tout en étant non-transitive. Cette non-transitivité trouve des applications dans l’analyse de phénomènes liés au vague\, en particulier pour rendre compte de phénomènes tels que le paradoxe du sorite. On examinera dans un premier temps les propriétés algébrique s de la logique ST\, qui peut être définie à partir de l'algèbre MV à trois valeurs\, en omettant la t-norme et l'implication. Cette proximité avec la logique de Łukasiewicz rend naturelle l'extension aux logiques f loues. L'objectif est alors d'examiner les propriétés des logiques floue s lorsqu'elles sont définies au moyen de relations de conséquence mixte. Cela nous conduira à des versions non transitives ou non réflexives de ces logiques\, ouvrant la voie à de nouvelles applications dans le traite ment et l'analyse des phénomènes liés au vague. Bio: Quentin Blomet e st docteur en philosophie de l'École normale supérieure - PSL et de l'Un iversité de Greifswald en Allemagne. Il étudie le raisonnement en s'appu yant sur des outils issus de la logique philosophique\, mathématique et a lgébrique. Lien Zoom : disponible sur la page <a href="https://lfi.lip6 .fr/seminaires/">https://lfi.lip6.fr/seminaires/</a> le jour du séminaire . Ce séminaire est organisé conjointement avec le <a href="http://ieee -ci.lip6.fr/">Chapitre Français de l’IEEE Computational Intelligence So ciety</a> DTSTAMP:20250226T014458Z DTSTART;TZID=Europe/Paris:20250320T103000 DURATION:PT2H URL;VALUE=URI:https://www.lip6.fr/liens/organise-fiche.php?ident=O1174 UID:LIP6/SEM/O1174 LOCATION:Campus Pierre et Marie Curie\, salle Jacques Pitrat (25-26/105) GEO:48.847047;2.354619 END:VEVENT END:VCALENDAR