- Secu-sys.perms.toulouse

[Perms.toulouse] [Perms] [Permanents] [Current] Séminaire AA : Jérémy Dubut, Fixed-Point Theorems for Non-Transitive Relations, aujourd'hui 15h, KB204

by Daniel Stan

Bonjour, Le prochain séminaire de l'équipe Automates & Applications aura lieu aujourd'hui à 15h, en mode hybride (KB204 en présentiel). L'orateur sera Jérémy Dubut, les détails de son talk sont à retrouver ci-dessous : * Monday 26 February, 15:00 at EPITA KB 204<https://epimap.fr/kb/voltaire/2> and online (link at https://www.lre.epita.fr/automata_seminars/ when available) * Speaker: Jérémy Dubut-Kross<https://jeremydubut.com/>, National Institute of Advanced Science and Technology, Tokyo * Title: Fixed-Point Theorems for Non-Transitive Relations * We develop an Isabelle/HOL library of order-theoretic fixed-point theorems. We keep our formalization as general as possible: we reprove several well-known results about complete orders, often with only antisymmetry or attractivity, a mild condition implied by either antisymmetry or transitivity. In particular, we generalize various theorems ensuring the existence of a quasi-fixed point of monotone maps over complete relations, and show that the set of (quasi-)fixed points is itself complete. This result generalizes and strengthens theorems of Knaster-Tarski, Bourbaki-Witt, Kleene, Markowsky, Pataraia, Mashburn, Bhatta-George, and Stouti-Maaden. Joint work with Akihisa Yamada. Bonne journée, -- Daniel STAN ______________________ 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//

6 months, 3 weeks

1
0
0 0

[Perms.toulouse] [Perms] [Permanents] [Current] Newsletter 16

by Elodie Puybareau

Bonjour ! La Newsletter 16<https://www.lre.epita.fr/dload/news/Newsletter16.pdf> est en ligne ! bonne lecture ! Elodie ______________________ 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//

6 months, 4 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_ZTA5YjljYjQtYTZmOC00…> ID de la réunion : 392 019 468 821 Code secret : NWFoJJ 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//

6 months, 4 weeks

1
0
0 0

[Secu-sys.perms] Réunion d'équipe semaine pro - annulation

by Pierre Parrend

Salut à tous, La réunion de la semaine prochaine (29/2) est annulée. Si urgences qui concernent l'ensemble de l'équipe n'hésitez pas à les partager par mail. ++, Pierre ______________________ 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//

6 months, 4 weeks

1
0
0 0

[Perms.toulouse] [Perms] [Parcours Recherche][LT] Horaire de passage ING2.

by edwin1 carlinet

Bonjour à tous, Voici les horaires de passage pour vos LTs (Mercredi 28 février) et les liens Teams pour ceux en région. Horaire Etudiant Equipe Colonne1 Lien Teams Salle 09:00 yacine.boureghda Image ING 2 (S8IMAGE) teams<https://teams.microsoft.com/l/meetup-join/19%3ameeting_MjUzNmRiMWMtODZmYS00…> KB 202 09:08 valentine.tcheou Image ING 2 (S8IMAGE) teams<https://teams.microsoft.com/l/meetup-join/19%3ameeting_MjUzNmRiMWMtODZmYS00…> KB 202 09:16 oscar.morand Image ING 2 (S8IMAGE) teams<https://teams.microsoft.com/l/meetup-join/19%3ameeting_MjUzNmRiMWMtODZmYS00…> KB 202 09:24 vincent.tardieux IA ING 2 (SI8SCIA-G) teams<https://teams.microsoft.com/l/meetup-join/19%3ameeting_MjUzNmRiMWMtODZmYS00…> KB 202 09:32 romain.trefault IA ING 2 (SI8SCIA) teams<https://teams.microsoft.com/l/meetup-join/19%3ameeting_MjUzNmRiMWMtODZmYS00…> KB 202 09:40 ilyas.oulkadda IA ING 2 (SI8SCIA) teams<https://teams.microsoft.com/l/meetup-join/19%3ameeting_MjUzNmRiMWMtODZmYS00…> KB 202 09:48 theophile.stourbe IA ING 2 (SI8SCIA) teams<https://teams.microsoft.com/l/meetup-join/19%3ameeting_MjUzNmRiMWMtODZmYS00…> KB 202 09:56 lina.farchado Image ING 2 (SI8SCIA) teams<https://teams.microsoft.com/l/meetup-join/19%3ameeting_MjUzNmRiMWMtODZmYS00…> KB 202 10:04 thomas.xu AA ING 2 (S8IMAGE) teams<https://teams.microsoft.com/l/meetup-join/19%3ameeting_MjUzNmRiMWMtODZmYS00…> KB 202 10:12 edgar.delaporte AA ING 2 (SI8GISTRE) teams<https://teams.microsoft.com/l/meetup-join/19%3ameeting_MjUzNmRiMWMtODZmYS00…> KB 202 10:20 juliette.jacquot AA ING 2 (SI8SCIA) teams<https://teams.microsoft.com/l/meetup-join/19%3ameeting_MjUzNmRiMWMtODZmYS00…> KB 202 10:28 mathias.kautz Sécurité/Système ING 2 (SI8GISTRE) teams<https://teams.microsoft.com/l/meetup-join/19%3ameeting_MjUzNmRiMWMtODZmYS00…> KB 202 10:36 samuel.goncalves MNSHS ING 2 (S8IMAGE) teams<https://teams.microsoft.com/l/meetup-join/19%3ameeting_MjUzNmRiMWMtODZmYS00…> KB 202 N'oubliez pas de déposer vos slides sur Moodle (en pdf) et que vous devez assister aux présentations de vos collègues (sauf si conflit avec vos soutenances de stage). Cordialement, E. ______________________ 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//

6 months, 4 weeks

1
0
0 0

[Secu-sys.perms] HCERES - prêt à relire

by Pierre Parrend

Salut à tous, j'ai commit la dernière version du doc HCERES de l'équipe : [https://res.cdn.office.net/assets/mail/file-icon/png/pdf_16x16.png]hceres_s…<https://epitafr-my.sharepoint.com/:b:/g/personal/pierre_parrend_epita_fr/Eb…> (oui l'export md > pdf est pété) Les sources sont toujours là: https://gitlab.cri.epita.fr/laboratoires/lse/secu-syst-admin/h Vous pouvez vous mettre à la relecture, et ça laisse à David et Christian le temps de finir leurs parties respectives. Bonne journée à tous, Pierre ______________________ 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//

6 months, 4 weeks

1
0
0 0

[Secu-sys.perms] HCERES - TODO

by Pierre Parrend

Salut, j'ai créé un onglet 'A faire' où j'ai listé les actions dont on a parlé en réunion d'équipe: [https://res.cdn.office.net/assets/mail/file-icon/png/xlsx_16x16.png]Organis…<https://epitafr.sharepoint.com/:x:/r/sites/LSE/Documents%20partages/General…> Peut-être pas complet, mais j'ai listé les sujets principaux. ++, Pierre ______________________ 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//

7 months

1
0
0 0

[Secu-sys.perms] [Parcours Recherche] Présentation Orale des Résumes

by Nidà Meddouri

Hello * Salle d'apprentissage 1 pour les Parisiens * Lien Teams pour nos chers strasbourgeois, lyonnais et toulousiens et autres ________________________________________________________________________________ Microsoft Teams Besoin d'aide ?<https://aka.ms/JoinTeamsMeeting?omkt=fr-FR> Rejoindre la réunion maintenant<https://teams.microsoft.com/l/meetup-join/19%3ameeting_OWU5ZWRlYjAtZmI4OS00…> ID de réunion : 314 241 380 191 Code secret : rCfw72 ________________________________ Appel par téléphone Pour les organisateurs : Options de réunion<https://teams.microsoft.com/meetingOptions/?organizerId=b44400a4-ffbf-4eee-…> | Réinitialiser le code confidentiel de participation<https://dialin.teams.microsoft.com/usp/pstnconferencing> ________________________________________________________________________________ ______________________ 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//

7 months

1
0
0 0

[Perms.toulouse] [Perms] [Parcours Recherche][LT] Horaires de passage (update).

by edwin1 carlinet

7 months

1
0
0 0

[Secu-sys.perms] Accès grope Sharepoint 'ECs - Enseignants-Chercheurs'

by Pierre Parrend

Bonjour à tous, Suite à la réunion des responsables d'équipe ce matin, je vous rappelle que beaucoup de documents concernant les enseignants-chercheurs sont présents sur le groupe Sharepoint ECs: ecs | Général | Microsoft Teams<https://teams.microsoft.com/l/team/19%3AaESzn0czqdoPN_5KptASd4PROu6CiWWi2WR…> Bien à vous, 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@01DA6327.93AEC5F0]<https://www.facebook.com/StrasbourgEPITA> [cid:image003.png@01DA6327.93AEC5F0] <https://www.instagram.com/epita_strasbourg/> [cid:image004.png@01DA6327.93AEC5F0] <https://www.linkedin.com/school/epita-ecole-ingenieurs-informatique> [cid:image005.png@01DA6327.93AEC5F0] <https://twitter.com/epita> [cid:image006.png@01DA6327.93AEC5F0] <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@01DA6327.93AEC5F0] ______________________ 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//

7 months

1
0
0 0

2024

2023

Secu-sys.perms.toulouse

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