https://www.lrde.epita.fr/api.php?action=feedcontributions&user=Renault&feedformat=atomLRDE - User contributions [en]2024-03-28T11:24:21ZUser contributionsMediaWiki 1.35.3https://www.lrde.epita.fr/index.php?title=Recruiting_ING1_students&diff=125915Recruiting ING1 students2020-12-10T13:46:18Z<p>Renault: </p>
<hr />
<div>Pour rappel, les slides de la présentation sont ici : [https://www.lrde.epita.fr/dload/2020-presentation-lrde.pdf ICI]<br />
<br />
Le recrutement des ING1 se fera en quatre étapes :<br />
<br />
== 1. Inscription ==<br />
* <span style="color:#FF0000"> Urgent </span> : Remplissez le ''<b>[[Application Form|formulaire]]</b>'' de candidature au LRDE avant le <span style="color:#FF0000"> 20 décembre 23h42</span>.<br />
* Tous les candidats doivent remplir le formulaire.<br />
<br />
== 2. QCM ==<br />
* 23 décembre 2020 (heure a préciser)<br />
<br />
== 3. Notification ==<br />
* Vous êtes notifiés début janvier (réponse positive ou négative)<br />
<br />
== 4. Projet ==<br />
* Durant le mois de janvier, pour les candidats retenus :<br />
La période sera consacrée à un projet adapté au sujet. À l'issue de cette période (fin janvier) : notification des personnes acceptées (sous condition de réussite aux examens).</div>Renaulthttps://www.lrde.epita.fr/index.php?title=Recruiting_ING1_students&diff=125914Recruiting ING1 students2020-12-10T13:46:01Z<p>Renault: </p>
<hr />
<div>Pour rappel, les slides de la présentation sont ici : [https://www.lrde.epita.fr/dload/2020-presentation-lrde.pdf ICI]<br />
<br />
Le recrutement des ING1 se fera en quatre étapes :<br />
<br />
== 1. Inscription ==<br />
* <span style="color:#FF0000"> Urgent </span> : Remplissez le ''<b>[[Application Form|formulaire]]</b>'' de candidature au LRDE avant le <span style="color:#FF0000"> 8 décembre 23h42</span>.<br />
* Tous les candidats doivent remplir le formulaire.<br />
<br />
== 2. QCM ==<br />
* 23 décembre 2020 (heure a préciser)<br />
<br />
== 3. Notification ==<br />
* Vous êtes notifiés début janvier (réponse positive ou négative)<br />
<br />
== 4. Projet ==<br />
* Durant le mois de janvier, pour les candidats retenus :<br />
La période sera consacrée à un projet adapté au sujet. À l'issue de cette période (fin janvier) : notification des personnes acceptées (sous condition de réussite aux examens).</div>Renaulthttps://www.lrde.epita.fr/index.php?title=Recruiting_ING1_students&diff=125913Recruiting ING1 students2020-12-10T13:45:42Z<p>Renault: </p>
<hr />
<div>Pour rappel, les slides de la présentation sont ici : [https://www.lrde.epita.fr/dload/2020-presentation-lrde.pdf ICI]<br />
<br />
Le recrutement des ING1 se fera en trois étapes :<br />
<br />
== 1. Inscription ==<br />
* <span style="color:#FF0000"> Urgent </span> : Remplissez le ''<b>[[Application Form|formulaire]]</b>'' de candidature au LRDE avant le <span style="color:#FF0000"> 8 décembre 23h42</span>.<br />
* Tous les candidats doivent remplir le formulaire.<br />
<br />
== 2. QCM ==<br />
* 23 décembre 2020 (heure a préciser)<br />
<br />
== 3. Notification ==<br />
* Vous êtes notifiés début janvier (réponse positive ou négative)<br />
<br />
== 4. Projet ==<br />
* Durant le mois de janvier, pour les candidats retenus :<br />
La période sera consacrée à un projet adapté au sujet. À l'issue de cette période (fin janvier) : notification des personnes acceptées (sous condition de réussite aux examens).</div>Renaulthttps://www.lrde.epita.fr/index.php?title=Recruiting_ING1_students&diff=125912Recruiting ING1 students2020-12-10T08:50:28Z<p>Renault: </p>
<hr />
<div>FIXME POUR LE RECRUTEMENT 2021<br />
<br />
<br />
<br />
Pour rappel, les slides de la présentation sont ici : [https://www.lrde.epita.fr/dload/2019-presentation-lrde.pdf ICI]<br />
<br />
Le recrutement des ING1 se fera en trois étapes :<br />
<br />
== 1. Inscription ==<br />
* <span style="color:#FF0000"> Urgent </span> : Remplissez le ''<b>[[Application Form|formulaire]]</b>'' de candidature au LRDE avant le <span style="color:#FF0000"> 8 décembre 23h42</span>.<br />
* Tous les candidats doivent remplir le formulaire.<br />
<br />
== 2. Soirée de Recrutement ==<br />
* 10 décembre 2019 à partir de 18h00 (en Amphi 1).<br />
* Tous les candidats seront conviés à la soirée de recrutement.<br />
* Ce sera l'occasion de discuter avec vous <b>et de vous tester</b>! <br />
** Un niveau technique/scolaire minimum est attendu! <br />
* Lors de cette soirée, nous procéderons à des entretiens individuels et à une pré-sélection des candidats en respectant le principe de ''<i>la cooptation par les membres du LRDE</i>''. En effet, le laboratoire "recrute" des élèves qui devront collaborer étroitement. Pour des raisons évidentes de bon fonctionnement, une forme de compatibilité d'humeur est requise.<br />
<br />
== 3. Projet ==<br />
* Du 11 au 20 décembre, pour les candidats retenus :<br />
Ces journées seront consacrées à un projet adapté au sujet. À l'issue de cette période (semaine du 23 décembre) : notification des personnes acceptées (sous condition de réussite aux examens).</div>Renaulthttps://www.lrde.epita.fr/index.php?title=Jobs/PHD_2019_omegaGPU&diff=124098Jobs/PHD 2019 omegaGPU2019-07-05T13:31:19Z<p>Renault: </p>
<hr />
<div>{{Job<br />
|Reference id=PHD 2019 omegaGPU<br />
|Title=Parallélisation des algorithmes d'ω-automates sur GPU<br />
|Dates=2019<br />
|Research field=Automates et vérification<br />
|Related project=Spot<br />
|Advisor=Alexandre Duret-Lutz, [[User:renault]]<br />
|General presentation of the field=Les ω-automates sont des automates représentant des mots de longueur<br />
infinie. Le projet Spot propose différent outils et algorithmes pour<br />
la manipulation de ces automates. Pour le moment tous ces algorithmes<br />
sont écrits de façon séquentielle, parfois en utilisant des structures<br />
de données symboliques (par exemple des diagrammes de décision<br />
binaires).<br />
|Prerequisites=C++<br />
|Objectives=L'objectif de ce projet est d'étudier dans quelle mesure les<br />
algorithmes de manipulation d'ω-automates peuvent être accélérés à<br />
l'aide de GPU.<br />
|References=* Spot: https://spot.lrde.epita.fr/<br />
* https://www.researchgate.net/publication/318983530_Graph_Processing_on_GPUs_A_Survey<br />
* https://arxiv.org/pdf/1801.05857.pdf<br />
* https://fmt.ewi.utwente.nl/media/101.pdf<br />
|Contact=adl@lrde.epita.fr<br />
|Compensation=environ 1750 euros nets/mois pendant 36 mois<br />
|Type=PhD position<br />
|Language=en<br />
|Published=Yes<br />
}}</div>Renaulthttps://www.lrde.epita.fr/index.php?title=Jobs/PHD_2019_omegaGPU&diff=124097Jobs/PHD 2019 omegaGPU2019-07-05T13:29:32Z<p>Renault: </p>
<hr />
<div>{{Job<br />
|Reference id=PHD 2019 omegaGPU<br />
|Title=Parallélisation des algorithmes d'ω-automates sur GPU<br />
|Dates=2019<br />
|Research field=Automates et vérification<br />
|Related project=Spot<br />
|Advisor=Alexandre Duret-Lutz, [[User:renault]]<br />
|General presentation of the field=Les ω-automates sont des automates représentant des mots de longueur<br />
infinie. Le projet Spot propose différent outils et algorithmes pour<br />
la manipulation de ces automates. Pour le moment tous ces algorithmes<br />
sont écrits de façon séquentielle, parfois en utilisant des structures<br />
de données symboliques (par exemple des diagrammes de décision<br />
binaires).<br />
|Prerequisites=C++<br />
|Objectives=L'objectif de ce projet est d'étudier dans quelle mesure les<br />
algorithmes de manipulation d'ω-automates peuvent être accélérés à<br />
l'aide de GPU.<br />
|References=* Spot: https://spot.lrde.epita.fr/<br />
* https://www.researchgate.net/publication/318983530_Graph_Processing_on_GPUs_A_Survey<br />
* https://arxiv.org/pdf/1801.05857.pdf<br />
* https://fmt.ewi.utwente.nl/media/101.pdf<br />
|Contact=[mailto:adl@lrde.epita.fr]<br />
|Compensation=environ 1750 euros nets/mois pendant 36 mois<br />
|Type=PhD position<br />
|Language=en<br />
|Published=Yes<br />
}}</div>Renaulthttps://www.lrde.epita.fr/index.php?title=Tiger&diff=122996Tiger2019-02-01T09:16:33Z<p>Renault: </p>
<hr />
<div>The Tiger Compiler project is a C++ implementation of a Tiger compiler. The Tiger language is described by Andrew Appel in his "Modern Compiler Implementation" books, and constitutes an important project in the EPITA curriculum. The needed material is referenced in the [[Tiger Links]], in particular [http://assignments.lrde.epita.fr/ assignments (http://assignments.lrde.epita.fr/)]<br />
<br />
Because the Student Tiger Project is based on code we provide, we developped a Tiger Compiler ourselves. This page is dedicated to this implementation of the Tiger Compiler.<br />
<br />
You may browse the [http://www.lrde.epita.fr/~tiger/tc-doc documentation of the code], but because Tiger is one of the most important assignments in the EPITA curriculum, we are not inclined to share the code.<br />
<br />
=== Mailing Lists ===<br />
<br />
* tiger@lrde.epita.fr: discussions about the compiler which some students can read. In particular, Yakas are allowed to read this thread.<br />
* tiger-patches@lrde.epita.fr: the patches should be sent there, so that participants can read the ongoing changes. Things that ought to remain hidden from the students can and should be exposed there.<br />
<br />
To subscribe to these lists, go to: <br />
* http://lists.lrde.epita.fr/listinfo/tiger and<br />
* http://lists.lrde.epita.fr/listinfo/tiger-patches.<br />
<br />
<br />
=== Subprojects ===<br />
<br />
==== [[Havm|HAVM]]: An interpreter for Andrew Appel's Tiger "Tree" Intermediate Language ====<br />
<br />
<br />
<br />
==== [[Nolimips|Nolimips]]: A MIPS-based simulator with "infinitely many registers" ====<br />
<br />
<br />
==== [[MonoBURG|MonoBURG]]: A code-generator generator based on a tree-rewriting system ====</div>Renaulthttps://www.lrde.epita.fr/index.php?title=Tiger&diff=122995Tiger2019-02-01T09:16:23Z<p>Renault: </p>
<hr />
<div>The Tiger Compiler project is a C++ implementation of a Tiger compiler. The Tiger language is described by Andrew Appel in his "Modern Compiler Implementation" books, and constitutes an important project in the EPITA curriculum. The needed material is referenced in the [[Tiger Links]], in particular [http://assignments.lrde.epita.fr/ assignments(http://assignments.lrde.epita.fr/)]<br />
<br />
Because the Student Tiger Project is based on code we provide, we developped a Tiger Compiler ourselves. This page is dedicated to this implementation of the Tiger Compiler.<br />
<br />
You may browse the [http://www.lrde.epita.fr/~tiger/tc-doc documentation of the code], but because Tiger is one of the most important assignments in the EPITA curriculum, we are not inclined to share the code.<br />
<br />
=== Mailing Lists ===<br />
<br />
* tiger@lrde.epita.fr: discussions about the compiler which some students can read. In particular, Yakas are allowed to read this thread.<br />
* tiger-patches@lrde.epita.fr: the patches should be sent there, so that participants can read the ongoing changes. Things that ought to remain hidden from the students can and should be exposed there.<br />
<br />
To subscribe to these lists, go to: <br />
* http://lists.lrde.epita.fr/listinfo/tiger and<br />
* http://lists.lrde.epita.fr/listinfo/tiger-patches.<br />
<br />
<br />
=== Subprojects ===<br />
<br />
==== [[Havm|HAVM]]: An interpreter for Andrew Appel's Tiger "Tree" Intermediate Language ====<br />
<br />
<br />
<br />
==== [[Nolimips|Nolimips]]: A MIPS-based simulator with "infinitely many registers" ====<br />
<br />
<br />
==== [[MonoBURG|MonoBURG]]: A code-generator generator based on a tree-rewriting system ====</div>Renaulthttps://www.lrde.epita.fr/index.php?title=Tiger&diff=122994Tiger2019-02-01T09:15:58Z<p>Renault: </p>
<hr />
<div>The Tiger Compiler project is a C++ implementation of a Tiger compiler. The Tiger language is described by Andrew Appel in his "Modern Compiler Implementation" books, and constitutes an important project in the EPITA curriculum. The needed material is referenced in the [[Tiger Links]], in particular [http://assignments.lrde.epita.fr/ assignments]<br />
<br />
Because the Student Tiger Project is based on code we provide, we developped a Tiger Compiler ourselves. This page is dedicated to this implementation of the Tiger Compiler.<br />
<br />
You may browse the [http://www.lrde.epita.fr/~tiger/tc-doc documentation of the code], but because Tiger is one of the most important assignments in the EPITA curriculum, we are not inclined to share the code.<br />
<br />
=== Mailing Lists ===<br />
<br />
* tiger@lrde.epita.fr: discussions about the compiler which some students can read. In particular, Yakas are allowed to read this thread.<br />
* tiger-patches@lrde.epita.fr: the patches should be sent there, so that participants can read the ongoing changes. Things that ought to remain hidden from the students can and should be exposed there.<br />
<br />
To subscribe to these lists, go to: <br />
* http://lists.lrde.epita.fr/listinfo/tiger and<br />
* http://lists.lrde.epita.fr/listinfo/tiger-patches.<br />
<br />
<br />
=== Subprojects ===<br />
<br />
==== [[Havm|HAVM]]: An interpreter for Andrew Appel's Tiger "Tree" Intermediate Language ====<br />
<br />
<br />
<br />
==== [[Nolimips|Nolimips]]: A MIPS-based simulator with "infinitely many registers" ====<br />
<br />
<br />
==== [[MonoBURG|MonoBURG]]: A code-generator generator based on a tree-rewriting system ====</div>Renaulthttps://www.lrde.epita.fr/index.php?title=Tiger&diff=122993Tiger2019-02-01T09:11:18Z<p>Renault: </p>
<hr />
<div>The Tiger Compiler project is a C++ implementation of a Tiger compiler. The Tiger language is described by Andrew Appel in his "Modern Compiler Implementation" books, and constitutes an important project in the EPITA curriculum. The needed material is referenced in the [[Tiger Links]], in particular [www.assignments.lrde.epita.fr/ www.assignments.lrde.epita.fr/].<br />
<br />
Because the Student Tiger Project is based on code we provide, we developped a Tiger Compiler ourselves. This page is dedicated to this implementation of the Tiger Compiler.<br />
<br />
You may browse the [http://www.lrde.epita.fr/~tiger/tc-doc documentation of the code], but because Tiger is one of the most important assignments in the EPITA curriculum, we are not inclined to share the code.<br />
<br />
=== Mailing Lists ===<br />
<br />
* tiger@lrde.epita.fr: discussions about the compiler which some students can read. In particular, Yakas are allowed to read this thread.<br />
* tiger-patches@lrde.epita.fr: the patches should be sent there, so that participants can read the ongoing changes. Things that ought to remain hidden from the students can and should be exposed there.<br />
<br />
To subscribe to these lists, go to: <br />
* http://lists.lrde.epita.fr/listinfo/tiger and<br />
* http://lists.lrde.epita.fr/listinfo/tiger-patches.<br />
<br />
<br />
=== Subprojects ===<br />
<br />
==== [[Havm|HAVM]]: An interpreter for Andrew Appel's Tiger "Tree" Intermediate Language ====<br />
<br />
<br />
<br />
==== [[Nolimips|Nolimips]]: A MIPS-based simulator with "infinitely many registers" ====<br />
<br />
<br />
==== [[MonoBURG|MonoBURG]]: A code-generator generator based on a tree-rewriting system ====</div>Renaulthttps://www.lrde.epita.fr/index.php?title=Tiger&diff=122992Tiger2019-02-01T09:10:52Z<p>Renault: </p>
<hr />
<div>The Tiger Compiler project is a C++ implementation of a Tiger compiler. The Tiger language is described by Andrew Appel in his "Modern Compiler Implementation" books, and constitutes an important project in the EPITA curriculum. The needed material is referenced in the [[Tiger Links]], in particular [http://www.assignments.lrde.epita.fr/ http://www.assignments.lrde.epita.fr/].<br />
<br />
Because the Student Tiger Project is based on code we provide, we developped a Tiger Compiler ourselves. This page is dedicated to this implementation of the Tiger Compiler.<br />
<br />
You may browse the [http://www.lrde.epita.fr/~tiger/tc-doc documentation of the code], but because Tiger is one of the most important assignments in the EPITA curriculum, we are not inclined to share the code.<br />
<br />
=== Mailing Lists ===<br />
<br />
* tiger@lrde.epita.fr: discussions about the compiler which some students can read. In particular, Yakas are allowed to read this thread.<br />
* tiger-patches@lrde.epita.fr: the patches should be sent there, so that participants can read the ongoing changes. Things that ought to remain hidden from the students can and should be exposed there.<br />
<br />
To subscribe to these lists, go to: <br />
* http://lists.lrde.epita.fr/listinfo/tiger and<br />
* http://lists.lrde.epita.fr/listinfo/tiger-patches.<br />
<br />
<br />
=== Subprojects ===<br />
<br />
==== [[Havm|HAVM]]: An interpreter for Andrew Appel's Tiger "Tree" Intermediate Language ====<br />
<br />
<br />
<br />
==== [[Nolimips|Nolimips]]: A MIPS-based simulator with "infinitely many registers" ====<br />
<br />
<br />
==== [[MonoBURG|MonoBURG]]: A code-generator generator based on a tree-rewriting system ====</div>Renaulthttps://www.lrde.epita.fr/index.php?title=Jobs/M2_2019_MC_Spot_Distribued&diff=122652Jobs/M2 2019 MC Spot Distribued2018-11-27T16:01:30Z<p>Renault: </p>
<hr />
<div>{{Job<br />
|Reference id=M2 2019 MC Spot Distribued<br />
|Title=Distributed Model Checking<br />
|Dates=5-6 months in 2019<br />
|Research field=Model checking, Distributed Algorithms and data structures<br />
|Related project=Spot<br />
|Advisor=Étienne Renault<br />
|General presentation of the field=The Spot library (https://spot.lrde.epita.fr/) written in C++14 offers several<br />
algorithms and data structures to build model checkers. Such a tool<br />
checks whether the model of a system meets a given specification. <br />
One way to perform this verification is to encode both the specification <br />
and the model as omega-automata, build the synchronous product <br />
<br />
The model-checking process takes a model of a system and a LTL formula to check, and outputs either "correct" if the property holds, or a run of the system on which the property does not hold (a counterexample).<br />
|Prerequisites=This internship targets students who:<br />
<br />
* have some experience in multithreaded/distributed and C++ programming<br />
* like to write clean and optimized code<br />
* facilities with theoretical matters (especially Automata)<br />
|Objectives=We wish to build a distributed model-checker so that we can outcome the limitation (time and memory) of multithreaded algorithms.<br />
The internship aims:<br />
* to implement optimized scalable versions of state-of-the-art emptiness checks<br />
* to evaluate relative performances of each of them <br />
* to help in the development of the thread-safe part of the Spot library by adding distributed data structures and algorithms.<br />
|References=<br />
<br />
* One-Sided Communications for more Efficient Parallel State Space Exploration over RDMA Clusters<br />
<br />
https://www-lipn.univ-paris13.fr/~coti/papiers/CEP18.pdf<br />
<br />
* On-The-Fly Parallel Decomposition of Strongly Connected Components<br />
<br />
https://pdfs.semanticscholar.org/2644/fb1d8009fccee7900524bf6ddd0f3fd8431c.pdf<br />
<br />
* Parallel Explicit Model Checking for Generalized Büchi Automata: <br />
<br />
https://www.lrde.epita.fr/~renault/publis/TACAS15.pdf<br />
<br />
* Improved Multi-Core Nested Depth-First: <br />
<br />
http://eprints.eemcs.utwente.nl/21967/01/cndfs.pdf<br />
<br />
* Scalable Multi-core LTL Model-Checking: <br />
<br />
http://anna.fi.muni.cz/papers/src/public/bd4df1ce0205b57753ace9e3d208b618.pdf<br />
<br />
* Distributed Algorithms for SCC Decomposition<br />
<br />
<br />
https://core.ac.uk/download/pdf/81957312.pdf<br />
<br />
|Contact=< renault at lrde . epita . fr ><br />
|Compensation=1000 € gross/month<br />
|Future work opportunities=The internship can easily be prolonged as a PhD thesis.<br />
|Type=Master Internship<br />
|Language=en<br />
|Published=Yes<br />
}}</div>Renaulthttps://www.lrde.epita.fr/index.php?title=Jobs/M2_2019_MC_Spot_Distribued&diff=122651Jobs/M2 2019 MC Spot Distribued2018-11-27T16:01:15Z<p>Renault: </p>
<hr />
<div>{{Job<br />
|Reference id=M2 2018 MC Spot Distribued<br />
|Title=Distributed Model Checking<br />
|Dates=5-6 months in 2019<br />
|Research field=Model checking, Distributed Algorithms and data structures<br />
|Related project=Spot<br />
|Advisor=Étienne Renault<br />
|General presentation of the field=The Spot library (https://spot.lrde.epita.fr/) written in C++14 offers several<br />
algorithms and data structures to build model checkers. Such a tool<br />
checks whether the model of a system meets a given specification. <br />
One way to perform this verification is to encode both the specification <br />
and the model as omega-automata, build the synchronous product <br />
<br />
The model-checking process takes a model of a system and a LTL formula to check, and outputs either "correct" if the property holds, or a run of the system on which the property does not hold (a counterexample).<br />
|Prerequisites=This internship targets students who:<br />
<br />
* have some experience in multithreaded/distributed and C++ programming<br />
* like to write clean and optimized code<br />
* facilities with theoretical matters (especially Automata)<br />
|Objectives=We wish to build a distributed model-checker so that we can outcome the limitation (time and memory) of multithreaded algorithms.<br />
The internship aims:<br />
* to implement optimized scalable versions of state-of-the-art emptiness checks<br />
* to evaluate relative performances of each of them <br />
* to help in the development of the thread-safe part of the Spot library by adding distributed data structures and algorithms.<br />
|References=<br />
<br />
* One-Sided Communications for more Efficient Parallel State Space Exploration over RDMA Clusters<br />
<br />
https://www-lipn.univ-paris13.fr/~coti/papiers/CEP18.pdf<br />
<br />
* On-The-Fly Parallel Decomposition of Strongly Connected Components<br />
<br />
https://pdfs.semanticscholar.org/2644/fb1d8009fccee7900524bf6ddd0f3fd8431c.pdf<br />
<br />
* Parallel Explicit Model Checking for Generalized Büchi Automata: <br />
<br />
https://www.lrde.epita.fr/~renault/publis/TACAS15.pdf<br />
<br />
* Improved Multi-Core Nested Depth-First: <br />
<br />
http://eprints.eemcs.utwente.nl/21967/01/cndfs.pdf<br />
<br />
* Scalable Multi-core LTL Model-Checking: <br />
<br />
http://anna.fi.muni.cz/papers/src/public/bd4df1ce0205b57753ace9e3d208b618.pdf<br />
<br />
* Distributed Algorithms for SCC Decomposition<br />
<br />
<br />
https://core.ac.uk/download/pdf/81957312.pdf<br />
<br />
|Contact=< renault at lrde . epita . fr ><br />
|Compensation=1000 € gross/month<br />
|Future work opportunities=The internship can easily be prolonged as a PhD thesis.<br />
|Type=Master Internship<br />
|Language=en<br />
|Published=Yes<br />
}}</div>Renaulthttps://www.lrde.epita.fr/index.php?title=Offers_Master&diff=122650Offers Master2018-11-27T15:59:26Z<p>Renault: </p>
<hr />
<div>{{DISPLAYTITLE:Internship Proposals for Master Students}}<br />
<br />
{{#ask: [[Category:Jobs]] [[Job type::Master Internship]] [[Language::en]] [[Job dates::~*2019*]] [[Job published::true]]<br />
| ?Job research field<br />
| format = valuerank<br />
| liststyle = ul<br />
| template = Offers/ItemTemplate<br />
| userparam = en/Master Internship/2018/2018<br />
| default = No offers<br />
}}</div>Renaulthttps://www.lrde.epita.fr/index.php?title=Offers_Master&diff=122649Offers Master2018-11-27T15:59:07Z<p>Renault: </p>
<hr />
<div>{{DISPLAYTITLE:Internship Proposals for Master Students}}<br />
<br />
{{#ask: [[Category:Jobs]] [[Job type::Master Internship]] [[Language::en]] [[Job dates::~*2018*]] [[Job published::true]]<br />
| ?Job research field<br />
| format = valuerank<br />
| liststyle = ul<br />
| template = Offers/ItemTemplate<br />
| userparam = en/Master Internship/2018/2018<br />
| default = No offers<br />
}}</div>Renaulthttps://www.lrde.epita.fr/index.php?title=Offers_Master&diff=122648Offers Master2018-11-27T15:58:50Z<p>Renault: </p>
<hr />
<div>{{DISPLAYTITLE:Internship Proposals for Master Students}}<br />
<br />
{{#ask: [[Category:Jobs]] [[Job type::Master Internship]] [[Language::en]] [[Job dates::~*2019*]] [[Job published::true]]<br />
| ?Job research field<br />
| format = valuerank<br />
| liststyle = ul<br />
| template = Offers/ItemTemplate<br />
| userparam = en/Master Internship/2018/2018<br />
| default = No offers<br />
}}</div>Renaulthttps://www.lrde.epita.fr/index.php?title=Jobs/M2_2019_MC_Spot_Distribued&diff=122647Jobs/M2 2019 MC Spot Distribued2018-11-27T15:57:40Z<p>Renault: Created page with "{{Job |Reference id=M2 2019 MC Spot Distribued |Title=Distributed Model Checking |Dates=5-6 months in 2019 |Research field=Model checking, Distributed Algorithms and data stru..."</p>
<hr />
<div>{{Job<br />
|Reference id=M2 2019 MC Spot Distribued<br />
|Title=Distributed Model Checking<br />
|Dates=5-6 months in 2019<br />
|Research field=Model checking, Distributed Algorithms and data structures<br />
|Related project=Spot<br />
|Advisor=Étienne Renault<br />
|General presentation of the field=The Spot library (https://spot.lrde.epita.fr/) written in C++14 offers several<br />
algorithms and data structures to build model checkers. Such a tool<br />
checks whether the model of a system meets a given specification. <br />
One way to perform this verification is to encode both the specification <br />
and the model as omega-automata, build the synchronous product <br />
<br />
The model-checking process takes a model of a system and a LTL formula to check, and outputs either "correct" if the property holds, or a run of the system on which the property does not hold (a counterexample).<br />
|Prerequisites=This internship targets students who:<br />
<br />
* have some experience in multithreaded/distributed and C++ programming<br />
* like to write clean and optimized code<br />
* facilities with theoretical matters (especially Automata)<br />
|Objectives=We wish to build a distributed model-checker so that we can outcome the limitation (time and memory) of multithreaded algorithms.<br />
The internship aims:<br />
* to implement optimized scalable versions of state-of-the-art emptiness checks<br />
* to evaluate relative performances of each of them <br />
* to help in the development of the thread-safe part of the Spot library by adding distributed data structures and algorithms.<br />
|References=<br />
<br />
* One-Sided Communications for more Efficient Parallel State Space Exploration over RDMA Clusters<br />
<br />
https://www-lipn.univ-paris13.fr/~coti/papiers/CEP18.pdf<br />
<br />
* On-The-Fly Parallel Decomposition of Strongly Connected Components<br />
<br />
https://pdfs.semanticscholar.org/2644/fb1d8009fccee7900524bf6ddd0f3fd8431c.pdf<br />
<br />
* Parallel Explicit Model Checking for Generalized Büchi Automata: <br />
<br />
https://www.lrde.epita.fr/~renault/publis/TACAS15.pdf<br />
<br />
* Improved Multi-Core Nested Depth-First: <br />
<br />
http://eprints.eemcs.utwente.nl/21967/01/cndfs.pdf<br />
<br />
* Scalable Multi-core LTL Model-Checking: <br />
<br />
http://anna.fi.muni.cz/papers/src/public/bd4df1ce0205b57753ace9e3d208b618.pdf<br />
<br />
* Distributed Algorithms for SCC Decomposition<br />
<br />
<br />
https://core.ac.uk/download/pdf/81957312.pdf<br />
<br />
|Contact=< renault at lrde . epita . fr ><br />
|Compensation=1000 € gross/month<br />
|Future work opportunities=The internship can easily be prolonged as a PhD thesis.<br />
|Type=Master Internship<br />
|Language=en<br />
|Published=Yes<br />
}}</div>Renaulthttps://www.lrde.epita.fr/index.php?title=Recruiting_ING1_students&diff=122584Recruiting ING1 students2018-11-12T12:46:32Z<p>Renault: </p>
<hr />
<div><br />
Pour rappel, les slides de la présentation sont ici : [https://www.lrde.epita.fr/dload/2018-presentation-lrde.pdf ICI]<br />
<br />
Le recrutement des ING1 se fera en trois étapes :<br />
<br />
== 1. Inscription == <br />
* <span style="color:#FF0000"> Urgent </span> : Remplissez le ''<b>[[Application Form|formulaire]]</b>'' de candidature au LRDE avant le <span style="color:#FF0000"> 12 décembre 23h42</span>.<br />
* Tous les candidats doivent remplir le formulaire. Toutefois aucune décision de recrutement ne sera prise en décembre.<br />
== 2. Soirée de Recrutement ==<br />
* Lundi 7 janvier 2019 à partir de 18h30.<br />
* Tous les candidats seront conviés à la soirée de recrutement.<br />
* Ce sera l'occasion de discuter avec vous <b>et de vous tester</b>! <br />
** Un niveau technique/scolaire minimum est attendu! <br />
* Lors de cette soirée, nous procéderons à ''<i>La cooptation par les membres du LRDE</i>''. En effet, le laboratoire "recrute" des élèves qui devront collaborer étroitement. Pour des raisons évidentes de bon fonctionnement, une forme de compatibilité d'humeur est requise.<br />
== 3. Semaine d'intégration ==<br />
* FIXME Pendant la semaine "inter-promos" du 29 janvier au 2 février 2018 sera organisée la semaine d'intégration.<br />
Ces journées seront consacrées à un projet pour les recrues ING1. À l'issue de cette semaine, le recrutement sera validé<br />
en fonction des résultats obtenus.</div>Renaulthttps://www.lrde.epita.fr/index.php?title=Havm&diff=119849Havm2017-11-27T15:34:25Z<p>Renault: /* Downloads */</p>
<hr />
<div> <br />
== Introduction ==<br />
<br />
<!-- this text is included in other pages of the Web site. --><br />
<!-- HAVMINTROSTART --><br />
HAVM is a virtual machine designed to execute simple register based high level intermediate code. It is based on the intermediate representations ("canonicalized" or not) defined by [http://www.cs.princeton.edu/~appel/ Andrew Appel] in his [http://www.cs.princeton.edu/~appel/modern/ Modern Compiler Implementation] books. It is nevertheless generic enough so that any (student) compiler could target its intermediate language to HAVM's language.<br />
<br />
Its features are:<br />
* two object types, integers and pointers<br />
* tree-like source language (two way conditional jumps, arbitrarily nested subroutines calls, etc.)<br />
* threaded source language (one way conditional jumps, etc.)<br />
* a runtime library comparable to SPIM's<br />
* a debugging mode displaying the instructions being executed <br />
<br />
{{#widget:Ohloh Project|id=480615}}<br />
<!-- HAVMINTROSTOP --><br />
<br />
It was written by Robert Anisko as an LRDE member, so that EPITA students could exercise their [[Tiger.WebHome][Tiger]] compiler projects before the final jump to assembly code. It is implemented in Haskell, a pure non strict functional language very well suited for this kind of symbolic processing. HAVM was coined on both Haskell and VM, standing for Virtual Machine.<br />
<br />
== Downloads ==<br />
<br />
* Version 0.27: https://www.lrde.epita.fr/~tiger/download/havm-0.27.tar.gz<br />
<br />
== Git Repository ==<br />
<br />
* The Git repository is located at https://gitlab.lrde.epita.fr/tiger/havm.git.<br />
* You can browse it online via [https://gitlab.lrde.epita.fr/tiger/havm Gitlab].<br />
<br />
== Documentation ==<br />
<br />
* See HAVM's documentation at https://www.lrde.epita.fr/~tiger/doc/:<br />
** HTML manual: https://www.lrde.epita.fr/~tiger/doc/havm.html.<br />
** PDF manual: https://www.lrde.epita.fr/~tiger/doc/havm.pdf.<br />
<br />
== Additional Resources ==<br />
<br />
This page is to be completed. In the meanwhile, see https://www.lrde.epita.fr/~tiger/download/ and http://www.lrde.epita.fr/~tiger/doc/havm.html.<br />
<br />
== Contact ==<br />
<br />
Send any questions or comments to projects&#8288;@&#8288;lrde&#8288;.&#8288;epita.&#8288;fr.</div>Renaulthttps://www.lrde.epita.fr/index.php?title=Recruiting_ING1_students&diff=119848Recruiting ING1 students2017-11-27T15:08:58Z<p>Renault: </p>
<hr />
<div><br />
Pour rappel, les slides de la présentation sont ici : [https://www.lrde.epita.fr/dload/2017-presentation-lrde.pdf ICI]<br />
<br />
Le recrutement des ING1 se fera en trois étapes :<br />
<br />
== 1. Inscription == <br />
* <span style="color:#FF0000"> Urgent </span> : Remplissez le ''<b>[[Application Form|formulaire]]</b>'' de candidature au LRDE avant le <span style="color:#FF0000"> 19 décembre 23h42</span>.<br />
* Tous les candidats doivent remplir le formulaire. Toutefois aucune décision de recrutement ne sera prise en décembre.<br />
== 2. Soirée de Recrutement ==<br />
* <span style="color:#FF0000"> Date communiqué ultérieurement </span>.<br />
* Tous les candidats seront conviés à la soirée de recrutement.<br />
* Ca sera l'occasion de discuter avec vous <b>et de vous tester</b>! <br />
** Un niveau technique/scolaire minimum est attendu! <br />
* Lors de cette soirée, nous procéderons à ''<i>La cooptation par les membres du LRDE</i>''. En effet, le laboratoire "recrute" des élèves qui devront collaborer étroitement. Pour des raisons évidentes de bon fonctionnement, une forme de compatibilité d'humeur est requise.<br />
== 3. Semaine d'intégration ==<br />
* Pendant la semaine "inter-promos" du 29 janvier au 2 février 2018 sera organisée la semaine d'intégration.<br />
Ces journées seront consacrées à un projet pour les recrues ING1. À l'issue de cette semaine, le recrutement sera validé<br />
en fonction des résultats obtenus.</div>Renaulthttps://www.lrde.epita.fr/index.php?title=Recruiting_ING1_students&diff=119847Recruiting ING1 students2017-11-27T15:08:37Z<p>Renault: </p>
<hr />
<div><br />
Pour rappel, les slides de la présentation sont ici : [https://www.lrde.epita.fr/dload/2017-presentation-lrde.pdf ICI]<br />
<br />
Pour rappel, le recrutement des ING1 se fera en trois étapes :<br />
<br />
== 1. Inscription == <br />
* <span style="color:#FF0000"> Urgent </span> : Remplissez le ''<b>[[Application Form|formulaire]]</b>'' de candidature au LRDE avant le <span style="color:#FF0000"> 19 décembre 23h42</span>.<br />
* Tous les candidats doivent remplir le formulaire. Toutefois aucune décision de recrutement ne sera prise en décembre.<br />
== 2. Soirée de Recrutement ==<br />
* <span style="color:#FF0000"> Date communiqué ultérieurement </span>.<br />
* Tous les candidats seront conviés à la soirée de recrutement.<br />
* Ca sera l'occasion de discuter avec vous <b>et de vous tester</b>! <br />
** Un niveau technique/scolaire minimum est attendu! <br />
* Lors de cette soirée, nous procéderons à ''<i>La cooptation par les membres du LRDE</i>''. En effet, le laboratoire "recrute" des élèves qui devront collaborer étroitement. Pour des raisons évidentes de bon fonctionnement, une forme de compatibilité d'humeur est requise.<br />
== 3. Semaine d'intégration ==<br />
* Pendant la semaine "inter-promos" du 29 janvier au 2 février 2018 sera organisée la semaine d'intégration.<br />
Ces journées seront consacrées à un projet pour les recrues ING1. À l'issue de cette semaine, le recrutement sera validé<br />
en fonction des résultats obtenus.</div>Renaulthttps://www.lrde.epita.fr/index.php?title=Recruiting_ING1_students&diff=119846Recruiting ING1 students2017-11-27T10:54:15Z<p>Renault: </p>
<hr />
<div><br />
<br />
Le recrutement des ING1 se fera en trois étapes :<br />
<br />
== 1. Inscription == <br />
* <span style="color:#FF0000"> Urgent </span> : Remplissez le ''<b>[[Application Form|formulaire]]</b>'' de candidature au LRDE avant le <span style="color:#FF0000"> 19 décembre 23h42</span>.<br />
* Tous les candidats doivent remplir le formulaire. Toutefois aucune décision de recrutement ne sera prise en décembre.<br />
== 2. Soirée de Recrutement ==<br />
* <span style="color:#FF0000"> Date communiqué ultérieurement </span>.<br />
* Tous les candidats seront conviés à la soirée de recrutement.<br />
* Ca sera l'occasion de discuter avec vous <b>et de vous tester</b>! <br />
** Un niveau technique/scolaire minimum est attendu! <br />
* Lors de cette soirée, nous procéderons à ''<i>La cooptation par les membres du LRDE</i>''. En effet, le laboratoire "recrute" des élèves qui devront collaborer étroitement. Pour des raisons évidentes de bon fonctionnement, une forme de compatibilité d'humeur est requise.<br />
== 3. Semaine d'intégration ==<br />
* Pendant la semaine "inter-promos" du 29 janvier au 2 février 2018 sera organisée la semaine d'intégration.<br />
Ces journées seront consacrées à un projet pour les recrues ING1. À l'issue de cette semaine, le recrutement sera validé<br />
en fonction des résultats obtenus.</div>Renaulthttps://www.lrde.epita.fr/index.php?title=Recruiting_ING1_students&diff=119845Recruiting ING1 students2017-11-27T10:53:08Z<p>Renault: </p>
<hr />
<div><br />
<br />
Le recrutement des ING1 se fera en trois étapes :<br />
<br />
== 1. Inscription == <br />
* <span style="color:#FF0000"> Urgent </span> : Remplissez le ''<b>[[Application Form|formulaire]]</b>'' de candidature au LRDE avant le <span style="color:#FF0000"> 19 décembre 23h42</span>.<br />
* Tous les candidats doivent remplir le formulaire. Toutefois aucune décision de recrutement ne sera prise en décembre.<br />
== 2. Soirée de Recrutement ==<br />
* <span style="color:#FF0000"> Date communiqué ultérieurement </span>.<br />
* Tous les candidats seront conviés à la soirée de recrutement.<br />
* Ca sera l'occasion de discuter avec vous <b>et de vous tester</b>!<br />
* Lors de cette soirée, nous procéderons à ''<i>La cooptation par les membres du LRDE</i>''. En effet, le laboratoire "recrute", ou "embauche" des élèves qui devront collaborer étroitement. Pour des raisons évidentes de bon fonctionnement, une forme de compatibilité d'humeur est requise.<br />
== 3. Semaine d'intégration ==<br />
* Pendant la semaine "inter-promos" du 29 janvier au 2 février 2018 sera organisée la semaine d'intégration.<br />
Ces journées seront consacrées à un projet pour les recrues ING1. À l'issue de cette semaine, le recrutement sera validé<br />
en fonction des résultats obtenus.</div>Renaulthttps://www.lrde.epita.fr/index.php?title=Recruiting_ING1_students&diff=119844Recruiting ING1 students2017-11-27T10:52:56Z<p>Renault: </p>
<hr />
<div><br />
<br />
Le recrutement des ING1 se fera en trois étapes :<br />
<br />
== 1. Inscription == <br />
* <span style="color:#FF0000"> Urgent </span> : Remplissez le ''<b>[[Application Form|formulaire]]</b>'' de candidature au LRDE avant le <span style="color:#FF0000"> 19 décembre 23h42</span>.<br />
* Tous les candidats doivent remplir le formulaire. Toutefois aucune décision de recrutement ne sera prise en décembre.<br />
== 2. Soirée de Recrutement ==<br />
* <span style="color:#FF0000"> Date communiqué ultérieurement </span>.<br />
* Tous les candidats seront conviés à la soirée de recrutement.<br />
* Ca sera l'occasion de discuter avec vous <b>et de vous tester</b>!<br />
* Lors de cette soirée, nous procéderons à ''<it>La cooptation par les membres du LRDE</it>''. En effet, le laboratoire "recrute", ou "embauche" des élèves qui devront collaborer étroitement. Pour des raisons évidentes de bon fonctionnement, une forme de compatibilité d'humeur est requise.<br />
== 3. Semaine d'intégration ==<br />
* Pendant la semaine "inter-promos" du 29 janvier au 2 février 2018 sera organisée la semaine d'intégration.<br />
Ces journées seront consacrées à un projet pour les recrues ING1. À l'issue de cette semaine, le recrutement sera validé<br />
en fonction des résultats obtenus.</div>Renaulthttps://www.lrde.epita.fr/index.php?title=Recruiting_ING1_students&diff=119843Recruiting ING1 students2017-11-27T10:51:31Z<p>Renault: </p>
<hr />
<div><br />
<br />
Le recrutement des ING1 se fera en trois étapes :<br />
<br />
== 1. Inscription == <br />
* <span style="color:#FF0000"> Urgent </span> : Remplissez le ''<b>[[Application Form|formulaire]]</b>'' de candidature au LRDE avant le <span style="color:#FF0000"> 19 décembre 23h42</span>.<br />
* Tous les candidats doivent remplir le formulaire. Toutefois aucune décision de recrutement ne sera prise en décembre.<br />
== 2. Soirée de Recrutement ==<br />
* Tous les candidats seront conviés à la soirée de recrutement.<br />
* Ca sera l'occasion de discuter avec vous <b>et de vous tester</b>!<br />
** ''<b>Un très bon niveau "technique/scolaire"</b>''<br />
** ''<b>La cooptation par les membres du LRDE</b>''. En effet, le laboratoire "recrute", ou "embauche" des élèves qui devront collaborer étroitement. Pour des raisons évidentes de bon fonctionnement, une forme de compatibilité d'humeur est requise.<br />
* <span style="color:#FF0000"> date communiqué ultérieurement </span>.<br />
== 3. Semaine d'intégration ==<br />
* Pendant la semaine "inter-promos" du 29 janvier au 2 février 2018 sera organisée la semaine d'intégration.<br />
Ces journées seront consacrées à un projet pour les recrues ING1. À l'issue de cette semaine, le recrutement sera validé<br />
en fonction des résultats obtenus.</div>Renaulthttps://www.lrde.epita.fr/index.php?title=Recruiting_ING1_students&diff=119842Recruiting ING1 students2017-11-27T10:50:51Z<p>Renault: </p>
<hr />
<div><br />
<br />
Le recrutement des ING1 se fera en trois étapes :<br />
<br />
== 1. Inscription == <br />
* <span style="color:#FF0000"> Urgent </span> : Remplissez le ''<b>[[Application Form|formulaire]]</b>'' de candidature au LRDE avant le <span style="color:#FF0000"> 19 décembre 23h42</span>.<br />
* Tous les candidats doivent remplir le formulaire. Toutefois aucune décision de recrutement ne sera prise en décembre.<br />
== 2. Soirée de Recrutement ==<br />
* Tous les candidats seront conviés à la soirée de recrutement.<br />
* Ca sera l'occasion de discuter avec vous et de vous tester!<br />
** ''<b>Un très bon niveau "technique/scolaire"</b>''<br />
** ''<b>La cooptation par les membres du LRDE</b>''. En effet, le laboratoire "recrute", ou "embauche" des élèves qui devront collaborer étroitement. Pour des raisons évidentes de bon fonctionnement, une forme de compatibilité d'humeur est requise.<br />
* <span style="color:#FF0000"> date communiqué ultérieurement </span>.<br />
== 3. Semaine d'intégration ==<br />
* Pendant la semaine "inter-promos" du 29 janvier au 2 février 2018 sera organisée la semaine d'intégration.<br />
Ces journées seront consacrées à un projet pour les recrues ING1. À l'issue de cette semaine, le recrutement sera validé<br />
en fonction des résultats obtenus.</div>Renaulthttps://www.lrde.epita.fr/index.php?title=Recruiting_ING1_students&diff=119841Recruiting ING1 students2017-11-27T10:50:30Z<p>Renault: /* Recrutement dans la promotion 2020 */</p>
<hr />
<div><br />
== Recrutement dans la promotion 2020 ==<br />
<br />
Le recrutement des ING1 se fera en trois étapes :<br />
<br />
== 1. Inscription == <br />
* <span style="color:#FF0000"> Urgent </span> : Remplissez le ''<b>[[Application Form|formulaire]]</b>'' de candidature au LRDE avant le <span style="color:#FF0000"> 19 décembre 23h42</span>.<br />
* Tous les candidats doivent remplir le formulaire. Toutefois aucune décision de recrutement ne sera prise en décembre.<br />
== 2. Soirée de Recrutement ==<br />
* Tous les candidats seront conviés à la soirée de recrutement.<br />
* Ca sera l'occasion de discuter avec vous et de vous tester!<br />
** ''<b>Un très bon niveau "technique/scolaire"</b>''<br />
** ''<b>La cooptation par les membres du LRDE</b>''. En effet, le laboratoire "recrute", ou "embauche" des élèves qui devront collaborer étroitement. Pour des raisons évidentes de bon fonctionnement, une forme de compatibilité d'humeur est requise.<br />
* <span style="color:#FF0000"> date communiqué ultérieurement </span>.<br />
== 3. Semaine d'intégration ==<br />
* Pendant la semaine "inter-promos" du 29 janvier au 2 février 2018 sera organisée la semaine d'intégration.<br />
Ces journées seront consacrées à un projet pour les recrues ING1. À l'issue de cette semaine, le recrutement sera validé<br />
en fonction des résultats obtenus.</div>Renaulthttps://www.lrde.epita.fr/index.php?title=Recruiting_ING1_students&diff=119840Recruiting ING1 students2017-11-27T10:49:54Z<p>Renault: /* Recrutement dans la promotion 2020 */</p>
<hr />
<div><br />
== Recrutement dans la promotion 2020 ==<br />
<br />
Le recrutement des ING1 se fera en trois étapes :<br />
<br />
# Inscription <br />
* <span style="color:#FF0000"> Urgent </span> : Remplissez le ''<b>[[Application Form|formulaire]]</b>'' de candidature au LRDE avant le <span style="color:#FF0000"> 19 décembre 23h42</span>.<br />
* Tous les candidats doivent remplir le formulaire. Toutefois aucune décision de recrutement ne sera prise en décembre.<br />
# Soirée de Recrutement<br />
* Tous les candidats seront conviés à la soirée de recrutement.<br />
* Ca sera l'occasion de discuter avec vous et de vous tester!<br />
** ''<b>Un très bon niveau "technique/scolaire"</b>''<br />
** ''<b>La cooptation par les membres du LRDE</b>''. En effet, le laboratoire "recrute", ou "embauche" des élèves qui devront collaborer étroitement. Pour des raisons évidentes de bon fonctionnement, une forme de compatibilité d'humeur est requise.<br />
* <span style="color:#FF0000"> date communiqué ultérieurement </span>.<br />
# Semaine d'intégration <br />
* Pendant la semaine "inter-promos" du 29 janvier au 2 février 2018 sera organisée la semaine d'intégration.<br />
Ces journées seront consacrées à un projet pour les recrues ING1. À l'issue de cette semaine, le recrutement sera validé<br />
en fonction des résultats obtenus.</div>Renaulthttps://www.lrde.epita.fr/index.php?title=Recruiting_ING1_students&diff=119839Recruiting ING1 students2017-11-27T10:45:14Z<p>Renault: /* Recrutement dans la promotion 2020 */</p>
<hr />
<div><br />
== Recrutement dans la promotion 2020 ==<br />
<br />
Le recrutement des ING1 se fera en trois étapes :<br />
<br />
* Inscription <br />
** <span style="color:#FF0000"> Urgent </span> : Remplissez le ''<b>[[Application Form|formulaire]]</b>'' de candidature au LRDE avant le <span style="color:#FF0000"> 19 décembre 23h42</span>.<br />
** Tous les candidats doivent remplir le formulaire. Toutefois aucune décision de recrutement ne sera prise en décembre.<br />
* Soirée de Recrutement<br />
** Tous les candidats seront conviés à la soirée de recrutement.<br />
** Ca sera l'occasion de discuter avec vous et de vous tester!<br />
*** ''<b>Un très bon niveau "technique/scolaire"</b>''<br />
*** ''<b>La cooptation par les membres du LRDE</b>''. En effet, le laboratoire "recrute", ou "embauche" des élèves qui devront collaborer étroitement. Pour des raisons évidentes de bon fonctionnement, une forme de compatibilité d'humeur est requise.<br />
** <span style="color:#FF0000"> date communiqué ultérieurement </span>.<br />
* Semaine d'intégration <br />
** Pendant la semaine "inter-promos" du 29 janvier au 2 février 2018 sera organisée la semaine d'intégration.<br />
Ces journées seront consacrées à un projet pour les recrues ING1. À l'issue de cette semaine, le recrutement sera validé<br />
en fonction des résultats obtenus.</div>Renaulthttps://www.lrde.epita.fr/index.php?title=Recruiting_ING1_students&diff=119838Recruiting ING1 students2017-11-27T10:44:52Z<p>Renault: /* Recrutement dans la promotion 2020 */</p>
<hr />
<div><br />
== Recrutement dans la promotion 2020 ==<br />
<br />
Le recrutement des ING1 se fera en trois étapes :<br />
<br />
* Inscription <br />
** <span style="color:#FF0000"> Urgent </span> : Remplissez le ''<b>[[Application Form|formulaire]]</b>'' de candidature au LRDE avant le <span style="color:#FF0000"> 19 décembre 23h42</span>.<br />
** Tous les candidats doivent remplir le formulaire. Toutefois aucune décision de recrutement ne sera prise en décembre.<br />
* Soirée de Recrutement<br />
** Tous les candidats seront conviés à la soirée de recrutement.<br />
** Ca sera l'occasion de discuter avec vous et de vous tester!<br />
# ''<b>Un très bon niveau "technique/scolaire"</b>''<br />
# ''<b>La cooptation par les membres du LRDE</b>''. En effet, le laboratoire "recrute", ou "embauche" des élèves qui devront collaborer étroitement. Pour des raisons évidentes de bon fonctionnement, une forme de compatibilité d'humeur est requise.<br />
** <span style="color:#FF0000"> date communiqué ultérieurement </span>.<br />
* Semaine d'intégration <br />
** Pendant la semaine "inter-promos" du 29 janvier au 2 février 2018 sera organisée la semaine d'intégration.<br />
Ces journées seront consacrées à un projet pour les recrues ING1. À l'issue de cette semaine, le recrutement sera validé<br />
en fonction des résultats obtenus.</div>Renaulthttps://www.lrde.epita.fr/index.php?title=Recruiting_ING1_students&diff=119837Recruiting ING1 students2017-11-27T10:41:37Z<p>Renault: /* Recrutement dans la promotion 2020 */</p>
<hr />
<div><br />
== Recrutement dans la promotion 2020 ==<br />
<br />
Le recrutement des ING1 se fera en trois étapes :<br />
<br />
* Inscription <br />
** <span style="color:#FF0000"> Urgent </span> : Remplissez le ''<b>[[Application Form|formulaire]]</b>'' de candidature au LRDE avant le <span style="color:#FF0000"> 19 décembre 23h42</span>.<br />
<br />
* Soirée de Recrutement<br />
* Semaine d'intégration <br />
<br />
<br />
<br />
<br />
<br />
<br />
Tous les candidats doivent remplir le formulaire. Toutefois aucune décision de recrutement ne sera prise en décembre.<br />
<br />
==== La soirée de recrutement ====<br />
<br />
Tous les candidats seront conviés à la soirée de recrutement.<br />
<br />
Cette soirée aura lieu après les partiels de janvier probablement pendant la semaine du 23 janvier. La présence de tous les ING1<br />
qui maintiennent leur candidature est obligatoire.<br />
<br />
* Recrutement <span style="color:#FF0000"> date communiqué ultérieurement </span>.<br />
<br />
La sélection des candidats se fait en suivant plusieurs critères, dont les plus importants sont :<br />
<br />
<br />
# ''<b>Une excellence "scolaire/technique"</b>'', sans laquelle il n'est pas imaginable d'intégrer un élève dans nos sujets de recherche qui demandent de l'investissement.<br />
# ''<b>La cooptation par les membres du LRDE</b>''. En effet, le laboratoire "recrute", ou "embauche" des élèves qui devront collaborer étroitement. Pour des raisons évidentes de bon fonctionnement, une forme de compatibilité d'humeur est requise.<br />
<br />
==== La semaine d'intégration ====<br />
<br />
Pendant la semaine "inter-promos" du 29 janvier au 2 février 2018 sera organisée la semaine d'intégration.<br />
Ces journées seront consacrées à un projet pour les recrues ING1. À l'issue de cette semaine, le recrutement sera validé<br />
en fonction des résultats obtenus.<br />
<br />
<br />
<br />
N.B. : Il s'agit d'un ''<b>semestre probatoire</b>'' en ING1. Par rapport à la scolarité, les étudiants recrutés auront des notes de remplacement labo pour les projets EPITA dont ils seront dispensés.<br />
<br />
En revanche, les étudiants qui restent au LRDE après la période probatoire doivent choisir la ''<b>majeure CSI en ING2</b>''.<br />
<br />
<br />
<br />
Note : Il est aussi possible de postuler pour rentrer en CSI en ING2, à condition d'avoir fait un [[ING2_internship|stage en ING2]] au LRDE.</div>Renaulthttps://www.lrde.epita.fr/index.php?title=Recruiting_ING1_students&diff=119836Recruiting ING1 students2017-11-27T10:41:02Z<p>Renault: /* Recrutement dans la promotion 2019 */</p>
<hr />
<div><br />
== Recrutement dans la promotion 2020 ==<br />
<br />
Le recrutement des ING1 se fera en trois étapes :<br />
<br />
* Inscription <br />
* Soirée de Recrutement<br />
* Semaine d'intégration <br />
<br />
<br />
<br />
<br />
* <span style="color:#FF0000"> Urgent </span> : Remplissez le ''<b>[[Application Form|formulaire]]</b>'' de candidature au LRDE avant le <span style="color:#FF0000"> 19 décembre 23h42</span>.<br />
<br />
Tous les candidats doivent remplir le formulaire. Toutefois aucune décision de recrutement ne sera prise en décembre.<br />
<br />
==== La soirée de recrutement ====<br />
<br />
Tous les candidats seront conviés à la soirée de recrutement.<br />
<br />
Cette soirée aura lieu après les partiels de janvier probablement pendant la semaine du 23 janvier. La présence de tous les ING1<br />
qui maintiennent leur candidature est obligatoire.<br />
<br />
* Recrutement <span style="color:#FF0000"> date communiqué ultérieurement </span>.<br />
<br />
La sélection des candidats se fait en suivant plusieurs critères, dont les plus importants sont :<br />
<br />
<br />
# ''<b>Une excellence "scolaire/technique"</b>'', sans laquelle il n'est pas imaginable d'intégrer un élève dans nos sujets de recherche qui demandent de l'investissement.<br />
# ''<b>La cooptation par les membres du LRDE</b>''. En effet, le laboratoire "recrute", ou "embauche" des élèves qui devront collaborer étroitement. Pour des raisons évidentes de bon fonctionnement, une forme de compatibilité d'humeur est requise.<br />
<br />
==== La semaine d'intégration ====<br />
<br />
Pendant la semaine "inter-promos" du 29 janvier au 2 février 2018 sera organisée la semaine d'intégration.<br />
Ces journées seront consacrées à un projet pour les recrues ING1. À l'issue de cette semaine, le recrutement sera validé<br />
en fonction des résultats obtenus.<br />
<br />
<br />
<br />
N.B. : Il s'agit d'un ''<b>semestre probatoire</b>'' en ING1. Par rapport à la scolarité, les étudiants recrutés auront des notes de remplacement labo pour les projets EPITA dont ils seront dispensés.<br />
<br />
En revanche, les étudiants qui restent au LRDE après la période probatoire doivent choisir la ''<b>majeure CSI en ING2</b>''.<br />
<br />
<br />
<br />
Note : Il est aussi possible de postuler pour rentrer en CSI en ING2, à condition d'avoir fait un [[ING2_internship|stage en ING2]] au LRDE.</div>Renaulthttps://www.lrde.epita.fr/index.php?title=Recruiting_ING1_students&diff=119835Recruiting ING1 students2017-11-27T10:40:44Z<p>Renault: /* Recrutement dans la promotion 2019 */</p>
<hr />
<div><br />
== Recrutement dans la promotion 2019 ==<br />
<br />
Le recrutement des ING1 se fera en trois étapes :<br />
<br />
** Inscription <br />
** Soirée de Recrutement<br />
** Semaine d'intégration <br />
<br />
<br />
<br />
<br />
* <span style="color:#FF0000"> Urgent </span> : Remplissez le ''<b>[[Application Form|formulaire]]</b>'' de candidature au LRDE avant le <span style="color:#FF0000"> 19 décembre 23h42</span>.<br />
<br />
Tous les candidats doivent remplir le formulaire. Toutefois aucune décision de recrutement ne sera prise en décembre.<br />
<br />
==== La soirée de recrutement ====<br />
<br />
Tous les candidats seront conviés à la soirée de recrutement.<br />
<br />
Cette soirée aura lieu après les partiels de janvier probablement pendant la semaine du 23 janvier. La présence de tous les ING1<br />
qui maintiennent leur candidature est obligatoire.<br />
<br />
* Recrutement <span style="color:#FF0000"> date communiqué ultérieurement </span>.<br />
<br />
La sélection des candidats se fait en suivant plusieurs critères, dont les plus importants sont :<br />
<br />
<br />
# ''<b>Une excellence "scolaire/technique"</b>'', sans laquelle il n'est pas imaginable d'intégrer un élève dans nos sujets de recherche qui demandent de l'investissement.<br />
# ''<b>La cooptation par les membres du LRDE</b>''. En effet, le laboratoire "recrute", ou "embauche" des élèves qui devront collaborer étroitement. Pour des raisons évidentes de bon fonctionnement, une forme de compatibilité d'humeur est requise.<br />
<br />
==== La semaine d'intégration ====<br />
<br />
Pendant la semaine "inter-promos" du 29 janvier au 2 février 2018 sera organisée la semaine d'intégration.<br />
Ces journées seront consacrées à un projet pour les recrues ING1. À l'issue de cette semaine, le recrutement sera validé<br />
en fonction des résultats obtenus.<br />
<br />
<br />
<br />
N.B. : Il s'agit d'un ''<b>semestre probatoire</b>'' en ING1. Par rapport à la scolarité, les étudiants recrutés auront des notes de remplacement labo pour les projets EPITA dont ils seront dispensés.<br />
<br />
En revanche, les étudiants qui restent au LRDE après la période probatoire doivent choisir la ''<b>majeure CSI en ING2</b>''.<br />
<br />
<br />
<br />
Note : Il est aussi possible de postuler pour rentrer en CSI en ING2, à condition d'avoir fait un [[ING2_internship|stage en ING2]] au LRDE.</div>Renaulthttps://www.lrde.epita.fr/index.php?title=Recruiting_ING1_students&diff=119834Recruiting ING1 students2017-11-27T10:37:38Z<p>Renault: </p>
<hr />
<div><br />
== Recrutement dans la promotion 2019 ==<br />
<br />
Le recrutement des ING1 se fera en trois étapes :<br />
<br />
* <span style="color:#FF0000"> Urgent </span> : Remplissez le ''<b>[[Application Form|formulaire]]</b>'' de candidature au LRDE avant le <span style="color:#FF0000"> 19 décembre 23h42</span>.<br />
<br />
Tous les candidats doivent remplir le formulaire. Toutefois aucune décision de recrutement ne sera prise en décembre.<br />
<br />
==== La soirée de recrutement ====<br />
<br />
Tous les candidats seront conviés à la soirée de recrutement.<br />
<br />
Cette soirée aura lieu après les partiels de janvier probablement pendant la semaine du 23 janvier. La présence de tous les ING1<br />
qui maintiennent leur candidature est obligatoire.<br />
<br />
* Recrutement <span style="color:#FF0000"> date communiqué ultérieurement </span>.<br />
<br />
La sélection des candidats se fait en suivant plusieurs critères, dont les plus importants sont :<br />
<br />
<br />
# ''<b>Une excellence "scolaire/technique"</b>'', sans laquelle il n'est pas imaginable d'intégrer un élève dans nos sujets de recherche qui demandent de l'investissement.<br />
# ''<b>La cooptation par les membres du LRDE</b>''. En effet, le laboratoire "recrute", ou "embauche" des élèves qui devront collaborer étroitement. Pour des raisons évidentes de bon fonctionnement, une forme de compatibilité d'humeur est requise.<br />
<br />
==== La semaine d'intégration ====<br />
<br />
Pendant la semaine "inter-promos" du 29 janvier au 2 février 2018 sera organisée la semaine d'intégration.<br />
Ces journées seront consacrées à un projet pour les recrues ING1. À l'issue de cette semaine, le recrutement sera validé<br />
en fonction des résultats obtenus.<br />
<br />
<br />
<br />
N.B. : Il s'agit d'un ''<b>semestre probatoire</b>'' en ING1. Par rapport à la scolarité, les étudiants recrutés auront des notes de remplacement labo pour les projets EPITA dont ils seront dispensés.<br />
<br />
En revanche, les étudiants qui restent au LRDE après la période probatoire doivent choisir la ''<b>majeure CSI en ING2</b>''.<br />
<br />
<br />
<br />
Note : Il est aussi possible de postuler pour rentrer en CSI en ING2, à condition d'avoir fait un [[ING2_internship|stage en ING2]] au LRDE.</div>Renaulthttps://www.lrde.epita.fr/index.php?title=Recruiting_ING1_students&diff=119833Recruiting ING1 students2017-11-27T10:37:19Z<p>Renault: </p>
<hr />
<div><br />
== Recrutement dans la promotion 2019 ==<br />
<br />
Le recrutement des ING1 se fera en trois étapes :<br />
<br />
<br />
<br />
<br />
* <span style="color:#FF0000"> Urgent </span> : Remplissez le ''<b>[[Application Form|formulaire]]</b>'' de candidature au LRDE avant le <span style="color:#FF0000"> 19 décembre 23h42</span>.<br />
<br />
Tous les candidats doivent remplir le formulaire. Toutefois aucune décision de recrutement ne sera prise en décembre.<br />
<br />
==== La soirée de recrutement ====<br />
<br />
Tous les candidats seront conviés à la soirée de recrutement.<br />
<br />
Cette soirée aura lieu après les partiels de janvier probablement pendant la semaine du 23 janvier. La présence de tous les ING1<br />
qui maintiennent leur candidature est obligatoire.<br />
<br />
* Recrutement <span style="color:#FF0000"> date communiqué ultérieurement </span>.<br />
<br />
La sélection des candidats se fait en suivant plusieurs critères, dont les plus importants sont :<br />
<br />
<br />
# ''<b>Une excellence "scolaire/technique"</b>'', sans laquelle il n'est pas imaginable d'intégrer un élève dans nos sujets de recherche qui demandent de l'investissement.<br />
# ''<b>La cooptation par les membres du LRDE</b>''. En effet, le laboratoire "recrute", ou "embauche" des élèves qui devront collaborer étroitement. Pour des raisons évidentes de bon fonctionnement, une forme de compatibilité d'humeur est requise.<br />
<br />
==== La semaine d'intégration ====<br />
<br />
Pendant la semaine "inter-promos" du 29 janvier au 2 février 2018 sera organisée la semaine d'intégration.<br />
Ces journées seront consacrées à un projet pour les recrues ING1. À l'issue de cette semaine, le recrutement sera validé<br />
en fonction des résultats obtenus.<br />
<br />
<br />
<br />
N.B. : Il s'agit d'un ''<b>semestre probatoire</b>'' en ING1. Par rapport à la scolarité, les étudiants recrutés auront des notes de remplacement labo pour les projets EPITA dont ils seront dispensés.<br />
<br />
En revanche, les étudiants qui restent au LRDE après la période probatoire doivent choisir la ''<b>majeure CSI en ING2</b>''.<br />
<br />
<br />
<br />
Note : Il est aussi possible de postuler pour rentrer en CSI en ING2, à condition d'avoir fait un [[ING2_internship|stage en ING2]] au LRDE.</div>Renaulthttps://www.lrde.epita.fr/index.php?title=Courses/SINU&diff=111121Courses/SINU2017-03-21T08:34:09Z<p>Renault: </p>
<hr />
<div>{{Course<br />
|title=Eléments finis<br />
|acronym=ELFI<br />
|teacher=Ricou<br />
|period=S5, Ing2<br />
|audience=Tronc-commun<br />
|duration=14h<br />
|optional course=oui<br />
|module=Sciences Générales<br />
|prerequisites=Programme Classes Préparatoires, ALLI<br />
|objectives=Donner les connaissances mathématiques de base pour résoudre des problèmes d'équations différentielles partielles à l'aide de la méthode des éléments finis.<br />
|content=# Introduction<br />
## Pourquoi la simulation numérique ?<br />
## Pourquoi les éléments finis ?<br />
# Rappels sur la méthode des différences finies<br />
## Discrétisation d'une équation aux dérivées partielles en 1D et en 2D<br />
## Construction du système matriciel.<br />
#Problèmes d'évolution<br />
## Discrétisation de l'équation de transport<br />
## Stabilité et consistance des schémas.<br />
# Introduction aux distributions <br />
## Comment dériver une fonction discontinue<br />
## La formulation variationnelle<br />
# Les éléments finis<br />
## Méthode de Galerkin,<br />
## Construction du système matriciel.<br />
|references=P.G. Ciarlet, Introduction à l'analyse numérique matricielle et à l'Optimisation, chez Dunod, 1988. <br />
G. Golub et C. Van Loan, Matrix Computation (3e edition), chez John Hopkins, 1996.<br />
G. Allaire, Analyse numérique et optimisation, Editions de l'école polytechnique, 2006<br />
}}</div>Renaulthttps://www.lrde.epita.fr/index.php?title=Courses/LOFO&diff=111120Courses/LOFO2017-03-21T08:33:42Z<p>Renault: </p>
<hr />
<div>{{Course<br />
|title=Logique formelle<br />
|acronym=LOFO<br />
|teacher=Max<br />
|period=S4, Ing1<br />
|audience=Tronc-commun<br />
|exam type=Partiel<br />
|duration=12h<br />
|optional course=oui<br />
|module=Sciences Générales<br />
|prerequisites=Programme Classes Préparatoires, LOGI<br />
|objectives=Le véritable but de ce cours est de présenter l’isomorphisme de Curry-Howard, qui montre une correspondance profonde, et surprenante, entre le programmes et démonstrations. À cette fin tous les prérequis sont introduits dans un premier temps. Ils sont intéressants en soi pour la culture de l’informaticien sensible aux aspects formels.<br />
|content=1) Lambda calcul<br />
<br />
2) Lambda calcul simplement typé<br />
<br />
3) Déduction naturelle pour la logique classique<br />
<br />
4) Calcul des séquents, élimination des coupures<br />
<br />
5) TD Lambda Calcul / Systèmes de déduction<br />
<br />
6) Logique Intuitionniste<br />
<br />
7) Isomorphisme de Curry-Howard<br />
<br />
<br />
Ce cours n'est pas à propos de :<br />
* la théorie des modèles<br />
* l'algèbre de Boole<br />
* les logiques modales<br />
* la preuve automatique<br />
* les logiques "exotiques"<br />
|slides=https://www.lrde.epita.fr/~akim/lofo/handouts/<br />
}}</div>Renaulthttps://www.lrde.epita.fr/index.php?title=Courses/RELATD&diff=111119Courses/RELATD2017-03-21T07:28:19Z<p>Renault: </p>
<hr />
<div>{{Course<br />
|title=SGBD Relationnel (Travaux Dirigés)<br />
|acronym=RELATD<br />
|teacher=Reda<br />
|period=S2, Ing1<br />
|audience=Tronc-commun<br />
|duration=15h+12h<br />
|optional course=non<br />
|module=Systèmes d'Information et Bases de Données<br />
|prerequisites=RELA<br />
|objectives=Appliquer les notions abordées dans le cours RELA.<br />
|content=* Modèle Entité /Association <br />
* Algèbre relationnel <br />
* Calcul relationnel <br />
* SQL <br />
* Dépendances fonctionnelles et Formes normales<br />
|references=Polycopiés de l'école<br />
R. Ramakrishnan, J. Gehrke, « Database Management Systems », 3e édition, 2003.<br />
J.D. Ullman, H.G. Molina, J. Widom, « Database Systems: The Complete Book », 2001.<br />
R. Elmasri, S.B. Navathe, « Fundamentals of Database Systems », 2003.<br />
F. Brouard, « SQL », 2001.<br />
J. Celko, « SQL avancé : programmation et techniques avancées », 2000.<br />
P. Gulutzan, T. Pelzer, « SQL-99 Complete, Really: An Example-Based Manual of the New Standards », 1999<br />
}}</div>Renaulthttps://www.lrde.epita.fr/index.php?title=Courses/RELA&diff=111118Courses/RELA2017-03-21T07:27:19Z<p>Renault: </p>
<hr />
<div>{{Course<br />
|title=SGBD Relationnel<br />
|acronym=RELA<br />
|teacher=Reda<br />
|period=S2, Ing1<br />
|audience=Tronc-commun<br />
|duration=15h<br />
|optional course=non<br />
|module=Systèmes d'Information et Bases de Données<br />
|objectives=Présentation des méthodes et techniques pour la conception, la réalisation et l'utilisation des bases de données relationnelles.<br />
|content=* Introduction aux Bases de données <br />
* Modèle Entité /Association <br />
* Modèle rationnel, Début SQL (DDL) <br />
* Algèbre relationnel <br />
* Logique (CRT et CRD)<br />
* SQL (Interrogation, Modification, Vues, Privilèges) <br />
* Contraintes d'intégrité et Triggers <br />
* Conception et optimisation du schéma relationnel (dépendances fonctionnelles, formes normales)<br />
|references=Polycopiés de l'école<br />
R. Ramakrishnan, J. Gehrke, « Database Management Systems », 3e édition, 2003.<br />
J.D. Ullman, H.G. Molina, J. Widom, « Database Systems: The Complete Book », 2001.<br />
R. Elmasri, S.B. Navathe, « Fundamentals of Database Systems », 2003.<br />
F. Brouard, « SQL », 2001.<br />
J. Celko, « SQL avancé : programmation et techniques avancées », 2000.<br />
P. Gulutzan, T. Pelzer, « SQL-99 Complete, Really: An Example-Based Manual of the New Standards », 1999<br />
}}</div>Renaulthttps://www.lrde.epita.fr/index.php?title=Courses/RELA&diff=111117Courses/RELA2017-03-21T07:26:32Z<p>Renault: </p>
<hr />
<div>{{Course<br />
|title=SGBD Relationnel<br />
|acronym=RELA<br />
|teacher=Reda<br />
|period=S2, Ing1<br />
|audience=Tronc-commun<br />
|duration=15h +RELATDTP<br />
|optional course=non<br />
|module=Systèmes d'Information et Bases de Données<br />
|objectives=Présentation des méthodes et techniques pour la conception, la réalisation et l'utilisation des bases de données relationnelles.<br />
|content=* Introduction aux Bases de données <br />
* Modèle Entité /Association <br />
* Modèle rationnel, Début SQL (DDL) <br />
* Algèbre relationnel <br />
* Logique (CRT et CRD)<br />
* SQL (Interrogation, Modification, Vues, Privilèges) <br />
* Contraintes d'intégrité et Triggers <br />
* Conception et optimisation du schéma relationnel (dépendances fonctionnelles, formes normales)<br />
|references=Polycopiés de l'école<br />
R. Ramakrishnan, J. Gehrke, « Database Management Systems », 3e édition, 2003.<br />
J.D. Ullman, H.G. Molina, J. Widom, « Database Systems: The Complete Book », 2001.<br />
R. Elmasri, S.B. Navathe, « Fundamentals of Database Systems », 2003.<br />
F. Brouard, « SQL », 2001.<br />
J. Celko, « SQL avancé : programmation et techniques avancées », 2000.<br />
P. Gulutzan, T. Pelzer, « SQL-99 Complete, Really: An Example-Based Manual of the New Standards », 1999<br />
}}</div>Renaulthttps://www.lrde.epita.fr/index.php?title=Courses/TYLA&diff=110995Courses/TYLA2017-03-20T18:11:43Z<p>Renault: </p>
<hr />
<div>{{Course<br />
|title=Typologie des Langages<br />
|acronym=TYLA<br />
|teacher=Renault<br />
|period=S2, Ing1, App1<br />
|audience=Tronc-commun, Apprentis<br />
|exam type=Partiel<br />
|duration=12h<br />
|optional course=non<br />
|module=Informatique Fondamentale<br />
|prerequisites=CMP1<br />
|objectives=L'outil principal du programmeur est le langage de programmation. Ce cours cherche à démontrer que les langages ne sont pas égaux, et que certains sont plus adaptés que d'autres. Il cherche à montrer les erreurs du passé, et à souligner qu'elles sont souvent reproduites. Il insiste sur le lien étroit, mais presqu'invisible, qui existe entre les technologies de compilation existantes, et la définition d'un langage, pour mettre l'emphase sur l'évolution des langages de programmation, et le besoin de promouvoir de nouvelles technologies. Enfin, puisque le choix n'est pas toujours disponible, il cherche à promouvoir l'esprit de langages riches dans la lettre du langage imposé.<br />
|content=* Histoire de l'informatique<br />
* Les premiers langages : FORTRAN, COBOL, ALGOL <br />
* La programmation objet : SIMULA, SmallTalk, CLOS, Eiffel<br />
* Les sous-programmes<br />
* La programmation générique<br />
* Traits de programmation fonctionnelle<br />
|references=http://www.lrde.epita.fr/~tiger/<br />
|slides=http://www.lrde.epita.fr/~tiger/lecture-notes/<br />
|logbook=Courses/CompilationLecture2006,<br />
Courses/ConstructionDesCompilateursLecture2007,<br />
Courses/CcmpLog2008,<br />
Courses/CcmpLog2009,<br />
Courses/TylaLogIng2010,<br />
Courses/TylaLogAppIng2010,<br />
Courses/CcmpTylaLogIng2011,<br />
Courses/CcmpTylaLogAppIng2011,<br />
Courses/CcmpTylaLogIng2012,<br />
Courses/CcmpTylaLogAppIng2012,<br />
Courses/TylaLogAppIng2013,<br />
Courses/CcmpTylaLogIng2014,<br />
Courses/CcmpTylaLogAppIng2014,<br />
Courses/CcmpTylaLogIng2015,<br />
Courses/CcmpTylaLogAppIng2015,<br />
Courses/CcmpTylaLogIng2016 (Ing1 students),<br />
Courses/CcmpTylaLogAppIng2016 (AppIng1 students)<br />
}}</div>Renaulthttps://www.lrde.epita.fr/index.php?title=Courses/TYLA&diff=110994Courses/TYLA2017-03-20T18:11:01Z<p>Renault: </p>
<hr />
<div>{{Course<br />
|title=Typologie des Langages<br />
|acronym=TYLA<br />
|teacher=Renault<br />
|period=S2, Ing1, App1<br />
|audience=Tronc-commun, Apprentis<br />
|exam type=Partiel<br />
|duration=12h<br />
|optional course=non<br />
|module=Informatique Fondamentale<br />
|prerequisites=[[Courses/THL]] oú CMP1<br />
|objectives=L'outil principal du programmeur est le langage de programmation. Ce cours cherche à démontrer que les langages ne sont pas égaux, et que certains sont plus adaptés que d'autres. Il cherche à montrer les erreurs du passé, et à souligner qu'elles sont souvent reproduites. Il insiste sur le lien étroit, mais presqu'invisible, qui existe entre les technologies de compilation existantes, et la définition d'un langage, pour mettre l'emphase sur l'évolution des langages de programmation, et le besoin de promouvoir de nouvelles technologies. Enfin, puisque le choix n'est pas toujours disponible, il cherche à promouvoir l'esprit de langages riches dans la lettre du langage imposé.<br />
|content=* Histoire de l'informatique<br />
* Les premiers langages : FORTRAN, COBOL, ALGOL <br />
* La programmation objet : SIMULA, SmallTalk, CLOS, Eiffel<br />
* Les sous-programmes<br />
* La programmation générique<br />
* Traits de programmation fonctionnelle<br />
|references=http://www.lrde.epita.fr/~tiger/<br />
|slides=http://www.lrde.epita.fr/~tiger/lecture-notes/<br />
|logbook=Courses/CompilationLecture2006,<br />
Courses/ConstructionDesCompilateursLecture2007,<br />
Courses/CcmpLog2008,<br />
Courses/CcmpLog2009,<br />
Courses/TylaLogIng2010,<br />
Courses/TylaLogAppIng2010,<br />
Courses/CcmpTylaLogIng2011,<br />
Courses/CcmpTylaLogAppIng2011,<br />
Courses/CcmpTylaLogIng2012,<br />
Courses/CcmpTylaLogAppIng2012,<br />
Courses/TylaLogAppIng2013,<br />
Courses/CcmpTylaLogIng2014,<br />
Courses/CcmpTylaLogAppIng2014,<br />
Courses/CcmpTylaLogIng2015,<br />
Courses/CcmpTylaLogAppIng2015,<br />
Courses/CcmpTylaLogIng2016 (Ing1 students),<br />
Courses/CcmpTylaLogAppIng2016 (AppIng1 students)<br />
}}</div>Renaulthttps://www.lrde.epita.fr/index.php?title=Courses/MOB2&diff=110993Courses/MOB22017-03-20T18:09:22Z<p>Renault: </p>
<hr />
<div>{{Course<br />
|title=Modélisation objets 2<br />
|acronym=MOB2<br />
|teacher=Didier<br />
|period=S2, Ing1, App1<br />
|audience=Tronc-commun, Apprentis<br />
|exam type=Partiel<br />
|duration=14h<br />
|optional course=non<br />
|module=Génie Logiciel et Programmation<br />
|prerequisites=MOB1, PFON<br />
|objectives=Approfondir les techniques de modélisation avec les objets.<br />
|content=* Amélioration de la modularité, de l'extensivité et de la réutilisabilité des logiciels orientés-objets. <br />
* Maîtriser les motifs de conception (design patterns) classiques.<br />
|references=Polycopiés de l'école.<br />
}}</div>Renaulthttps://www.lrde.epita.fr/index.php?title=Courses/ALGO&diff=110992Courses/ALGO2017-03-20T18:07:54Z<p>Renault: </p>
<hr />
<div>{{Course<br />
|title=Algorithmique<br />
|acronym=ALGO<br />
|teacher=Adl<br />
|period=Ing1<br />
|audience=Tronc-commun<br />
|exam type=Partiel, QCM<br />
|duration=28h<br />
|optional course=oui<br />
|module=Informatique Fondamentale<br />
|prerequisites=Programme Classes Préparatoires, piscine<br />
|objectives=Ce cours expose les notions de base de l'algorithmique, avec une emphase sur les calculs de complexité. La présentation des algorithmes de tris et des structures de données classiques (pour la plupart déjà introduits en classes préparatoires intégrées) sert de support à l'introduction de la notion de complexité et des différents outils mathématiques qui permettent de l'étudier.<br />
|content=* Introduction aux mesures de complexité (notations, théorème général, exemples du tri par insertion et du tri fusion)<br />
* Autres tri comparatifs (selection, tri par tas, tri rapide, tri introspectif)<br />
* Borne de complexité des tris comparatifs<br />
* Tris linéaires<br />
* Rangs et médians (sélection stochastique, sélection en O(n))<br />
* Structure de données classiques (tableaux statiques et dynamiques, listes, piles, files, files de priorité)<br />
* Structures associatives (tables de hachage, arbre binaires de recherche, arbre rouge et noir)<br />
* Principaux paradigmes algorithmiques :<br />
a) diviser pour régner (ex.: tri fusion, Karatsuba)<br />
b) programmation dynamique (ex.: distance de Levenshtein, chaîne de multiplications de matrices, plus longue sous-séquence commune)<br />
c) algorithmes gloutons (ex.: distributeur de monnaie, codage de Huffman).<br />
|references="Introduction to algorithms" par Cormen, Leiserson, Rivest et Stein<br />
|slides=http://www.lrde.epita.fr/~adl/ens/algo/<br />
|logbook=Courses/AlgoLog2007, Courses/AlgoLog2008Ing, Courses/AlgoLog2008App, Courses/AlgoLog2009Ing, Courses/AlgoLog2010Ing<br />
|optional=non<br />
}}</div>Renaulthttps://www.lrde.epita.fr/index.php?title=Courses/MOB2&diff=110990Courses/MOB22017-03-20T17:21:37Z<p>Renault: </p>
<hr />
<div>{{Course<br />
|title=Modélisation objets 2<br />
|acronym=MOB2<br />
|teacher=Didier<br />
|period=S2, Ing1, App1<br />
|audience=Tronc-commun, Apprentis<br />
|exam type=Partiel<br />
|duration=14h<br />
|optional course=non<br />
|module=Génie Logiciel et Programmation<br />
|prerequisites=MOB1<br />
|objectives=Approfondir les techniques de modélisation avec les objets.<br />
|content=* Amélioration de la modularité, de l'extensivité et de la réutilisabilité des logiciels orientés-objets. <br />
* Maîtriser les motifs de conception (design patterns) classiques.<br />
|references=Polycopiés de l'école.<br />
}}</div>Renaulthttps://www.lrde.epita.fr/index.php?title=Courses/MOB1&diff=110989Courses/MOB12017-03-20T17:21:19Z<p>Renault: </p>
<hr />
<div>{{Course<br />
|title=Modélisation objets 1<br />
|acronym=MOB1<br />
|teacher=Didier<br />
|period=S2, Ing1, App1<br />
|audience=Tronc-commun, Apprentis<br />
|duration=14h<br />
|optional course=non<br />
|module=Génie Logiciel et Programmation<br />
|objectives=Le but de ce cours est d'apprendre les différents concepts liés au paradigme des objets, de savoir comment plusieurs langages à objets supportent ces concepts, de savoir modéliser un logiciel avec UML et en suivant une méthode.<br />
|content=* la qualité en génie logiciel, <br />
* les cycles de vie d'un logiciel, <br />
* le paradigme des objets avec introduction à UML, <br />
* règles, principes et dilemnes, <br />
* les diagrammes UML, <br />
* les modèles par objets de .C++, Java, Eiffel et Ada<br />
|references=Polycopiés de l'école<br />
}}</div>Renaulthttps://www.lrde.epita.fr/index.php?title=Courses/SEXP&diff=110988Courses/SEXP2017-03-20T17:20:31Z<p>Renault: </p>
<hr />
<div>{{Course<br />
|title=Systèmes d'Exploitation<br />
|acronym=SEXP<br />
|period=S1, Ing1<br />
|audience=Tronc-commun<br />
|optional course=non<br />
|module=Systèmes d'Information et Bases de Données<br />
|objectives=Fournir aux étudiants une culture générale sur les systèmes d'exploitation, ainsi que la connaissance élémentaire relative à leur fonctionnement. On étudiera l'ensemble des problématiques communes à tous les systèmes, ainsi que les différentes solutions qui peuvent y être apportées.<br />
|content=* Introduction / Historique <br />
* Architecture pour les systèmes <br />
* Gestion des processus <br />
* Ordonnancement des processus <br />
* Problématique de la synchronisation <br />
* Outils de synchronisation <br />
* Exemples de synchronisation <br />
* Interbloquages <br />
* Gestion de la mémoire <br />
* Mémoire Virtuelle <br />
* Systèmes de fichiers <br />
* Implémentation des systèmes de fichiers <br />
* Protection et sécurité <br />
* Un exemple de faille: le buffer overflow<br />
|references=http://www.lrde.epita.fr/~didier/comp/lectures/os.php<br />
}}</div>Renaulthttps://www.lrde.epita.fr/index.php?title=Courses/INIM&diff=110987Courses/INIM2017-03-20T17:19:20Z<p>Renault: </p>
<hr />
<div>{{Course<br />
|title=Initiation au traitement d'images<br />
|acronym=INIM<br />
|teacher=<br />
|duration=14h<br />
|optional course=oui<br />
|module=Sciences Générales<br />
|prerequisites=Programme Classes Préparatoires<br />
|objectives=Appliquer au traitement d'images des outils théoriques généraux tirés de la culture actuelle de l'ingénieur.<br />
|content=* Formats d'images <br />
* Signal et espace de Fourier <br />
* Echantillonnage et quantification<br />
* Filtrage linéaire <br />
* Statistique, probabilité et classification <br />
* Segmentation et champs de Markov <br />
* Modèles physiques et énergétiques <br />
* Optimisation combinatoire <br />
* Topologie discrète et morphologie mathématique <br />
* De la théorie des sous-ensembles flous aux croyances <br />
* Théorie de l'information et fusion d'information"<br />
|references=Polycopiés de l'école<br />
}}</div>Renaulthttps://www.lrde.epita.fr/index.php?title=Courses/SINU&diff=110986Courses/SINU2017-03-20T15:00:53Z<p>Renault: </p>
<hr />
<div>{{Course<br />
|title=Eléments finis<br />
|acronym=ELFI<br />
|teacher=Ricou<br />
|period=S5, Ing2<br />
|audience=Tronc-commun<br />
|duration=14h<br />
|optional course=oui<br />
|module=Sciences Générales<br />
|prerequisites=Programme Classes Préparatoires<br />
|objectives=Donner les connaissances mathématiques de base pour résoudre des problèmes d'équations différentielles partielles à l'aide de la méthode des éléments finis.<br />
|content=# Introduction<br />
## Pourquoi la simulation numérique ?<br />
## Pourquoi les éléments finis ?<br />
# Rappels sur la méthode des différences finies<br />
## Discrétisation d'une équation aux dérivées partielles en 1D et en 2D<br />
## Construction du système matriciel.<br />
#Problèmes d'évolution<br />
## Discrétisation de l'équation de transport<br />
## Stabilité et consistance des schémas.<br />
# Introduction aux distributions <br />
## Comment dériver une fonction discontinue<br />
## La formulation variationnelle<br />
# Les éléments finis<br />
## Méthode de Galerkin,<br />
## Construction du système matriciel.<br />
|references=P.G. Ciarlet, Introduction à l'analyse numérique matricielle et à l'Optimisation, chez Dunod, 1988. <br />
G. Golub et C. Van Loan, Matrix Computation (3e edition), chez John Hopkins, 1996.<br />
G. Allaire, Analyse numérique et optimisation, Editions de l'école polytechnique, 2006<br />
}}</div>Renaulthttps://www.lrde.epita.fr/index.php?title=Courses/INIM&diff=110985Courses/INIM2017-03-20T14:59:55Z<p>Renault: </p>
<hr />
<div>{{Course<br />
|title=Initiation au traitement d'images<br />
|acronym=INIM<br />
|teacher=Theo<br />
|duration=14h<br />
|optional course=oui<br />
|module=Sciences Générales<br />
|prerequisites=Programme Classes Préparatoires<br />
|objectives=Appliquer au traitement d'images des outils théoriques généraux tirés de la culture actuelle de l'ingénieur.<br />
|content=* Formats d'images <br />
* Signal et espace de Fourier <br />
* Echantillonnage et quantification<br />
* Filtrage linéaire <br />
* Statistique, probabilité et classification <br />
* Segmentation et champs de Markov <br />
* Modèles physiques et énergétiques <br />
* Optimisation combinatoire <br />
* Topologie discrète et morphologie mathématique <br />
* De la théorie des sous-ensembles flous aux croyances <br />
* Théorie de l'information et fusion d'information"<br />
|references=Polycopiés de l'école<br />
}}</div>Renault