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.

Poste d’ATER pour 2017-2018

Poste ATER LIP/ENS Lyon, section 27
Un poste d’ATER pour l’année 2017-2018 sera ouvert au concours prochainement, avec enseignement au département d’informatique de l’ENS de Lyon et recherche au LIP.

Details :
Toutes les informations sur la procédure de recrutement sont disponible sur le site de l’ENS de Lyon

Profil enseignement :
L’enseignant recruté assurera principalement des TD et TP dans les formations dispensées en L3 et en M1 aux étudiants d’informatique de l’ENS de Lyon. On s’attachera à ce que les enseignements soient connexes au projet et à la thématique de recherche des candidats.

Profil recherche :
Intégration dans une des équipes de recherche du laboratoire de l’informatique du parallélisme (LIP). Le projet de recherche sera défini en lien avec la ou le responsable de l’équipe choisie.

Contacts :

Recherche : Guillaume Hanrot, directeur du LIP, Guillaume.Hanrot@ens-lyon.fr
http://www.ens-lyon.fr/LIP/

Enseignement : Nicolas Trotignon, directeur du DI, nicolas.trotignon@ens-lyon.fr
http://www.ens-lyon.fr/DI/