Bonjour,
Le service entreprise a besoin de nous pour relire des rapports de stage (une 30aine) de fin de tronc commun qui sont confidentiels, donc qui ne peuvent pas être relus par le staff chargé du gros volume des rapports. Info : ce sont des rapports courts, qui se lisent et s'évaluent très vite.
Cela se fera d'autant mieux que si la charge est répartie (si de nombreux·ses EC sont volontaires).
Pouvez-vous svp avant après-demain soir (jeudi) vous positionnez sur quelques rapports :
https://epitafr.sharepoint.com/:x:/s/LRE_Direction/EeJ1DyAG8A5Dt3Jwi5qZafQB…
en remplissant la colonne J.
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//
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//
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//
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//
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//
Bonjour,
Pour info, les dates de la formation « corps et voix » (synopsis : Apprendre à poser sa voix. Pour cela nous travaillerons sur comment se tenir, se placer. Nous exercerons la respiration. Enfin nous mettrons tout cela en pratique en travaillant la voix) du Teaching Lab sont fixées. La première est le 27/02, et il reste encore de la place.
Pour s’y inscrire et plus généralement s’inscrire aux formations du TL, allez sur le lien suivant : https://tally.so/r/3le5kN
Autre information du TL, la formation conception passe sur 1 journée : l’après-midi sera probablement facultative mais possible pour travailler avec le TL sur vos cours.
Bonne journée,
Marc
[Une image contenant texte, clipart, signe Description générée automatiquement]<https://www.epita.fr/>
Marc Plantevit
Enseignant-Chercheur
[signature_666554783]<https://www.facebook.com/epita/> [signature_3124083305] <https://www.instagram.com/epita.national/> [signature_446372517] <https://www.linkedin.com/school/epita-ecole-ingenieurs-informatique> [signature_1162087246] <https://twitter.com/epita> [signature_3489453702] <https://www.epita.fr/> [Une image contenant texte, clipart Description générée automatiquement] <https://www.youtube.com/channel/UC33NtVL7bStj4FmWeIstKqg>
04 84 34 02 34
[signature_762662795]
______________________
Perms mailing list -- perms(a)ml.lre.epita.fr
https://lists.lrde.epita.fr/postorius/lists/perms.ml.lre.epita.fr//