Hello
Hier, il y a eu la REAL hebdomadaire (Réunion Elargie des responsables d’équipes et axes)
Voici les points que j'ai noté à destination des membres du LRE / Équipe Sécurité et Système:
*
Idir: Organisation d'un séminaire, l'intervenant fort probable sera un doctorant
*
2 EC-candidats en cyber sécurité: 1 décline l'offre, 1 accepte le poste (Site de KB-Paris), arrivé 18-25 mars
*
Etat d'avancement concernant le texte organisationnel du conseil scientifique du LRE
*
Création des classeurs (un par EC) pour tracer les activités de chacun => à compléter avant le 25/03 (RELANCE)
(Informations 2018-2023 > sécurité ... ) Il ne faut tenir compte que de la période EPITA, pas avant...
=> ATTENTION aux intitulés/noms des fichiers
*
RELANCER les ECs pour update leurs CVs
*
Pousser les publications sous HAL à partir des .bibs
*
Intégrer les publications des étudiants EPITA qui sont en dehors du LRE
*
INCITER les ECs à vérifier leurs BIBs
*
Prochaine réunion : principalement HCERES
*
RAPPEL aux ECs concernant la remise des titres/diplômes (08h->14h), Palais des congrès
*
Recherche des reviewers pour une 30 de rapports confidentiels (ING2-DEV), 20-30 pages par rapport. (Nida: volontaire, OTHERS ?)
*
JO: Comment s'organiser (Nida: poser la question aux parisiens, assouplir davantage le télétravail , des soutenances via Teams s'il y en a, finish les cours ...)
*
INCITER les ECs à soumettre des news pour Elodie
*
Organisation plus fiable des JPOs (plus d'appui de la COM)
S'il y a un point qui n'est pas clair, call me 😉
Bien à vous
Greatly looking forward to hearing from you soon.
Best regards.
[cid:890faf9d-d706-4902-8101-9aef780363a0]<https://www.epita.fr/>
Nida Meddouri
Enseignant Chercheur
[cid:6a9505e8-2b8f-427a-8394-5bd36b41200d]<https://www.facebook.com/epita/> [cid:0a93acef-6bd5-4167-8114-b72cae24a2f1] <https://www.instagram.com/epita.national/> [cid:62ece510-954d-4515-8bc4-56ec7d8cce81] <https://www.linkedin.com/school/epita-ecole-ingenieurs-informatique> [cid:c107a9a7-b505-41f5-afeb-b77eb74fe4c1] <https://twitter.com/epita> [cid:7fbad227-9ed4-411c-b6f6-c5d26581465a] <https://www.epita.fr/> [cid:adc10ae9-4340-4c9c-98c8-a762b60e6711] <https://www.youtube.com/channel/UC33NtVL7bStj4FmWeIstKqg>
+33 (0)7 64 16 90 46
[cid:c479a2f6-0f0f-47c8-8297-41f23537728d]
Il se peut que vous receviez ce message à des heures matinales,
tardives ou le week-end. Il ne nécessite, en aucune façon,
une réponse de votre part en dehors des heures ouvrées.
ⵣ
______________________
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//
Bonjour à tous⋅tes,
dans le cadre de l'animation inter-équipes autour des questions de
production logicielle, de programmation efficace/performante, et autres
thèmes non-redondants avec ceux des autres axes et des équipes, je vous
sollicite pour suggérer des interventions (de vous ou d'autres
personnes que vous souhaiteriez inviter) qui pourraient vous intéresser.
L'objectif est de relancer quelques séminaires, mais vos idées
concernant d'autres activités pertinentes sont également les bienvenues.
En vous souhaitant une bonne journée,
Joseph
______________________
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//
Apologies for multiple copies of this email; please distribute as you
see fit.
CALL FOR CONTRIBUTIONS
Workshop on
Pomsets and Related Structures
Rennes, France
24 April 2024
https://ulifahrenberg.github.io/pomsets/
We are organizing a workshop on pomsets and related structures at
EPITA Rennes in centre town. The workshop is collocated with the ATLAS
workshop on automata, transducers, logic, algebras & semigroups and
will be followed by the annual meeting of the French working group on
data, automata, algebra, and logic (GT DAAL).
The themes of the workshop are partial-order semantics, concurrency
theory, automata theory, algebra, and geometry. It aims to understand
the basics of concurrency theory and develop its foundations. We
welcome contributions in any of the above areas and in neighboring
subjects such as for example distributed systems, coalgebra, Petri
nets, or trace theory.
We are calling for presentations of original, unfinished, already
published, or otherwise interesting work which can highlight how the
research topics of the workshop may be developed. The workshop will
have no formal proceedings, but we might organize a journal special
issue afterwards.
Please send your proposal, in the form of a pdf file of 1-3 pages, to
uli.fahrenberg(a)epita.fr by 22 March 2024.
Should you wish to participate but need financial support for doing
so, please contact us as soon as possible so that we can arrange
things.
IMPORTANT DATES
Abstract submission: 22 March 2024
Author notification: 29 March 2024
Registration: 12 April 2024
Workshop: 24 April 2024
ORGANIZERS
Amazigh Amrane, EPITA, Paris, France
Uli Fahrenberg, EPITA & IRISA, Rennes, France
Loïc Hélouët, IRISA, Rennes, France
For more information, see https://ulifahrenberg.github.io/pomsets/
______________________
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//
Bonjour,
Nos PRD ne sont pas éligibles à la campagne de l'EDITE cette année (et a priori l'année prochaine non plus).
L'explication est que nous contribuons financièrement à un contrat doctoral de l'EDITE tous les 3 ans (pour l'instant), et que nous avons eu un contrat doctoral par ce biais l'an dernier.
Deux remarques :
*
Vous pouvez toujours déposer des PRD sur le site de l'EDITE, mais sans cocher la case "campagne".
*
La nouvelle règlementation pour l'établissement de contrats doctoraux de droit privé nous impose maintenant de faire de la publicité sur le site de l'EDITE pour les thèses que l'on propose, et ce, au moins un mois avant la signature du contrat.
Traduction :
*
si vous déposez un PRD à la date t, vous ne pouvez contractualiser qu'à partir de t + 1 mois
*
impossible maintenant d'arriver avec un sujet + un doctorant·e, de faire son contrat et son inscription dans la foulée => il faut anticiper...
Bonne journée,
Théo
________________________________
De : Carlos Agon <agonc(a)ircam.fr>
Envoyé : mercredi 21 février 2024 05:11
À : Direction EDITE <direction(a)edite-de-paris.fr>
Objet : Lancement de la campagne d'atribution des contrats doctoraux de l'EDITE 2024
Bonjour,
La campagne d'atribution des contrats doctoraux de l'EDITE 2024 débutera le vendredi 1er mars 2024. Vous trouverez tous les détails à la page suivante :
https://www.edite-de-paris.fr/lancement-de-la-campagne-edite-2024/
Merci de partager cet email aussi largement que possible.
Bien cordialement,
---
Carlos Agon
Professeur des Universités
Sorbonne Université
Directeur de l'Ecole Doctorale EDITE (ED130)
Bureau 24.25.210 Jussieu
---
______________________
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//
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.lyon mailing list -- perms.lyon(a)ml.lre.epita.fr
https://lists.lrde.epita.fr/postorius/lists/perms.lyon.ml.lre.epita.fr//
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//