Date : 11/01/2017 → 15/01/2017
Lieu : Sophia
Organisateur : Jean-Daniel Boissonnat
ER05: Complex Networks (25/01/2017 → 29/01/2017)
Date : 25/01/2017 → 29/01/2017
Lieu : Sophia
Organisateur : Giovanni Neglia
ER04: Advanced Software Verification and Computer Proof (28/11/2016 → 2/12/2016)
Date : 28/11/2016 → 2/12/2016
Lieu : Sophia
Organisateur : Yves Bertot
ER03: École Jeunes Chercheurs du GDR IM (23/01/2017 → 27/01/2017)
Date : 23/01/2017 — 27/01/2017
Lieu : Lyon
Organisateur : Natacha Portier, Colin Riba
The GdR IM organizes each year the EJCIM research school. The 2017 edition will be organized in Lyon, on the ENS de Lyon campus, by the AriC, MC2 and PLUME teams of the LIP laboratory.
The school is primarily aimed at master and PhD students. It intend to cover, over its different editions, the thematics of the GDR-IM. They include algorithmic, combinatorics, symbolic computation, arithmetic, information security, geometry, logic, semantic, proof-theory, complexity.
The courses will be on mornings or early afternoons. They will be given in English, and a book with courses in French will be provided. The following courses are proposed this year:
- Tilings and Cellular Automata (Nathalie Aubrun and Guillaume Theyssier)
- Combinatorial game theory and illustration on graphs (Eric Duchêne and Aline Parreau)
- Logic, automata and games (Jacques Duparc)
- Floating point arithmetic and rounding errors (Claude-Pierre Jeannerod and Nathalie Revol)
- Classical realizability (Alexandre Miquel)
Part of the afternoons will be devoted to talks given by the participants. Attendance to these talks is optional for master students of ENS Lyon. Registration are open from November 15th to December 15th.
ER02: Molecular programing: from theory to wet lab nano-scale computation (16/01/2017 → 20/01/2017)
Date : 16/01/2017 — 20/01/2017
Lieu : Lyon
Intervenant : Damien WOODS (Inria Paris), Yannick RONDELEZ (CNRS, ESPCI), Nicolas SCHABANEL (CNRS, U. Paris Diderot & ENS Lyon)
Organisateur : Nicolas Schabanel
ER01: Scientific methodology and performance evaluation for computer scientists (28/11/2016 → 2/12/2016)
Date : 28/11/2016 — 2/12/2016
Lieu : Lyon
Intervenant : Arnaud LEGRAND
Organisateur : Eddy CARON