Séminaire
L'objectif de cette UE de master 2 et d'impliquer les étudiants dans le monde de la recherche en informatique fondamentale par la lecture d'article et la présentation de séminaire sur ces articles.
Après une brève présentation de quelques conseils pour proposer des séminaires de qualité, une première partie du semestre sera consacrée à la présentation de conjectures (que l'on trouve dans l' article Sketchy tweets: ten minute conjectures in graph theory) dans des plages de temps courtes, pour s'entrainer. Puis, chaque étudiant présentera un exposé de 40 à 50 minutes en s'appuyant sur un article de son choix.
Si par curiosité, vous souhaitez retrouver les articles des années passées, les pages ~/seminaire/####/ (où #### est remplacé par l'année) vous y conduiront.
Planning des présentations de séminaires :
Mardi 28 novembre 2017, 14h, salle 76
-
Pierre-Louis Euvrard :
The covering and boundedness problems for vector addition systems ou Ackermannian and Primitive-Recurisive Bounds with Dickson's Lemma
(proposé par J. Leroux)
-
Mathieu Arthaud :
Well-structured transition systems everywhere!
- A.Finkel, Ph.Schnoebelen
(proposé par J. Leroux)
-
Hugo Le Dily :
On the Complexity of Local Distributed Graph Problems
- Ghaffari Mohsen, Kuhn Fabian, Maus Yannic
(proposé par C. Gavoille)
Mardi 05 décembre 2017, 14h, salle 76
-
Maxime Mondot :
Distributed Exact Shortest Paths in Sublinear Time
- Michael Elkin
proposé par Cyril Gavoille.
- Thomas Le Querec :
Efficient Online Timed Pattern Matching by Automata-Based Skipping
- Masaki Waga, Ichiro Hasuo and Kohei Suenaga
(proposé par F. Herbreteau)
- Virgile Robles :
Imperative functional programs that explain their work
- W. Ricciotti, J. Stolarek, R. Perera, J. Cheney
(proposé par D. Renault)
Mardi 12 décembre 2017, 14h00, salle 76
- Louis Donèche :
Bicolored graph partitioning, or: gerrymandering at its worst
- N. Apollonio, R.I. Becker, I. Lari, F. Ricca, B. Simeone
(proposé par M. L. Lamali)
- Raphaël Gaudy :
Discrete Jordan Curve theorems
- Vince, Andrew, et C. H. C Little
(proposé par S. Labbé)
- Marine Guichard :
The Left-Right Planarity Test
- Ulrik Brandes
(proposé par N. Bonichon)
Planning des présentations des conjectures :
Mardi 10 octobre 2017
- Virgile Robles : Hedetniemi's conjecture
- Thomas Le Querec : P = NP
- Pierre-Louis Euvrard : Vizing's conjecture
- Louis Doneche : Cycle double cover conjecture
Mardi 17 octobre 2017
- Marine Guichard : Hadwiger's conjecture
- Raphaël Gaudy : Erdös Ramsey number conjecture
- Maxime Mondot : Meyniel's Conjecture
- Mathieu Arthaud : Zarankiewicz's conjecture
- Hugo Le Dily : Gracefull tree conjecture
Autres conjectures
- Discrepancy conjecture
- Reconstruction Conjecture
- Tutte 5-flow conjecture
-
Home