Les journées JNIM (Journées Nationales de l’Informatique Mathématique) sont organisées chaque année par le GDR IM (Informatique Mathématique). C’est un lieu d'information et d'échange annuel entre chercheurs et chercheuses de la discipline et, tout particulièrement, entre membres du GDR.
Les journées 2023 sont organisées par l'IRIF et se tiendront à l'Université Paris Cité du mardi 4 avril midi au vendredi 7 avril midi.
Elles comprendront des présentations longues d’ora·teur·trice·s invité·e·s, des présentations plus courtes de membres des GT du GDR, et des posters de jeunes docteur·e·s et doctorant·e·s du GdR IM.
[Mise à jour. 3/4/2023] Étant donnée la journée de mobilisation prévue le 6 avril contre la réforme des retraites, la demie-journée consacrée aux assistants de preuve est annulée.
Toutes les présentations auront lieu dans l'Amphithéâtre Buffon de l'Université Paris Cité.
Pour vous inscrire, cliquez ici. Pour toute question, merci de nous contacter à l'adresse jnim2023@sciencesconf.org.