Les sciences s’invitent - Conférence n°1 : "Logique ou comment faire raisonner la machine : application à la simulation biologique" publié le 17/09/2019  - mis à jour le 22/10/2023

opération "les sciences s’invitent"

la conférence : Logique ou comment faire raisonner la machine : application à la simulation biologique

La logique permet de définir mathématiquement le raisonnement humain. En informatique, elle permet notamment de décrire le comportement d’un logiciel et de prouver ses « bonnes » propriétés.
Pour utiliser ces techniques en simulation nous les adaptons pour : décrire les comportements possibles des objets et prouver des propriétés générales (pour toute évolution).

l’intervenant :

Nom ARNOULD Agnès
Structure Université de Poitiers fonction Maître de conférences, Enseignement et recherche
Domaine Informatique, génie logiciel, méthodes formelles, application à la modélisation géométrique à base topologique Laboratoire XLIM -SP2MI – Bd Marie et Pierre Curie – BP 30179 - 86962 Futuroscope-Chasseneuil Cedex

la démarche et le public :

la démarche 1- quelques éléments de logique, de preuve automatique, ex. du métro automatique,
2- transposition aux objets géométriques, résultats actuels et attendus en biologie,
3- naissance et vie de d’un projet scientifique (idée, collaboration pluri-disciplinaire, encadrement de thèse, financement...).
Nombre d’interventions par an 2
Niveau élèves Lycée
Secteur géographique concerné Tous

si vous êtes intéressés, indiquez dans le {{formulaire}} suivant :

  • votre nom et la matière enseignée,
  • l’adresse complète de l’établissement,
  • la (les) section(s) et le nombre d’élèves prévu pour cette conférence.
  • la plage horaire ou de dates envisagée.