École jeunes chercheurs

EJCIM Marseille 2019

École Jeunes Chercheurs et Chercheuses en Informatique Mathématique (EJCIM) à Marseille (CIRM) du 4 au 8 mars 2019.

EJCIM Nancy 2018

La prochaine édition de l'École Jeune chercheu/r/se/s en Informatique Mathématique aura lieu du 26 au 30 mars 2018 à Nancy.

Plus d'informations sur la page dédiée.

Doctorant.e.s, réservez votre semaine ! Et parlez-en à votre encadrant !

EJCIM Lyon 2017

École Jeunes Chercheurs et Chercheuses en Informatique Mathématique (EJCIM) du 23 au 27 janvier 2017 à Lyon.

https://ejcim2017.sciencesconf.org

La prochaine édition de l'École Jeune chercheu/r/se/s en Informatique Mathématique aura lieu du 23 au 27 janvier 2017 à Lyon.

https://ejcim2017.sciencesconf.org

EJCIM Strasbourg 2016

L'école Jeunes Chercheurs en Informatique Mathématique aura lieu à Strasbourg du 4 au 8 avril 2016.

Pour plus d'informations, voir le site de l'EJCIM 2016 (http://ejcim16.unistra.fr).

EJCIM 2015 Orléans

L'École Jeune chercheu/r/se/s en Informatique Mathématique 2015 aura lieu à Orléans du 30 mars au 3 avril 2015

http://www.univ-orleans.fr/lifo/evenements/EJCIM2015/

COURS

Comme chaque année, des thématiques représentatives de la diversité du
GdR Informatique Mathématique seront développées.

EPIT 2015 École de Printemps d'Informatique Théorique « Preuve mécanisée de programmes »

École de Printemps d'Informatique Théorique

« Preuve mécanisée de programmes »

du 24 au 29 mai 2015 à Fréjus

Cette école de printemps s'adresse à tous les jeunes chercheurs et chercheurs en informatique théorique souhaitant mieux comprendre ce qu'est un assistant de preuve et comment intégrer son usage dans sa recherche. Ainsi, aucune connaissance sur le domaine de la preuve sur ordinateur n'est nécessaire pour suivre cette école .

S'abonner à RSS - École jeunes chercheurs