en Informatique Mathématique, qui aura lieu du 26 au 30 mars 2018 à Nancy :
https://ejcim2018.sciencesconf.org/
Les cinq cours de cette année sont :
* Géométrie numérique (Bruno Lévy, Nicolas Ray et Dmitry Sokolov)
* Satisfaisabilité (SAT) et Satisfaisabilité Modulo Théories (SMT)
(Pascal Fontaine, Sylvain Conchon et Laurent Simon)
* Analyses statiques des réseaux booléens pour la biologie systémique
(Loïc Paulevé et Adrien Richard)
* Couplage probabiliste et combinatoire (Philippe Chassaing et Irène Marcovici)
Pensez à vous inscrire dès maintenant pour ne pas oublier (date limite le 20 février).
PS: pour ceux/celles qui auraient des difficultés à faire financer leur
mission, merci de contacter les organisateurs.
PS2: pour ceux/celles qui souhaitent exposer leurs travaux, merci de l’indiquer
aux organisateurs, avec un titre d’exposé.