Chargement Évènements

« Tous les Évènements

  • Cet évènement est passé

EJCIM 2018 : Inscriptions ouvertes !

mars 26 - mars 30

Le GdR Informatique Mathématique organise chaque année l’Ecole de Jeunes Chercheurs et chercheuses en Informatique Mathématique, l’EJCIM.
L’objectif de l’EJCIM est de donner une formation complémentaire de haut niveau et pluridisciplinaire à des jeunes chercheurs (à plus ou moins deux ans de leur thèse) dans les thèmes de l’informatique mathématique.

L’édition 2018 aura lieu du 26 au 30 mars 2018 au Loria.

L’informatique mathématique comporte des domaines variés (algorithmique, combinatoire, calcul formel, arithmétique, protection de l’information, géométrie, logique, sémantique, théorie de la démonstration, complexité…) à l’interface entre les mathématiques et l’informatique. L’ensemble de ces thèmes est couvert au travers des différentes éditions de l’EJCIM. Après plus de 20 ans d’existence, l’école a vu les participants d’hier vouloir transmettre à leur tour ce qu’ils ont reçu et devenir organisateurs. Cet aspect particulièrement important permet de maintenir l’existence et la cohésion de la communauté de l’informatique mathématique.

Au programme, des cours thématiques :

  • Géométrie numérique avec Bruno Lévy, Nicolas Ray et Dmitry Sokolov.
  • Calcul mathématique avec Sage, avec Vincent Delecroix.
  • Satisfaisabilité (SAT) et Satisfaisabilité Modulo Théories (SMT), avec Pascal Fontaine, Sylvain Conchon et Laurent Simon.
  • Analyses statiques des réseaux booléens pour la biologie systémique avec Loïc Paulevé et Adrien Richard.
  • Couplage probabiliste et combinatoire avec Philippe Chassaing et Irène Marcovici.

Si vous rencontrez des difficultés pour financer votre mission, ou si vous souhaitez exposer vos travaux, merci de contacter les organisateurs.

Inscription obligatoire jusqu’au 15 mars.

Voir le programme provisoire

Détails

Début :
mars 26
Fin :
mars 30
Catégorie d’Évènement:
Site Web :
https://ejcim2018.sciencesconf.org/

Organisateur

LORIA

En ce moment

Colloquium Loria 2018

Exposés précédents

Logo du CNRS
Logo Inria
Logo Université de Lorraine