Accueil : Délégation Académique à l'Action Culturelle

article Les sciences s’invitent - Conférence n°50 : "Logique ou comment faire raisonner la machine : application à la biologie"     -    publié le 27/06/2014    mis à jour le 10/07/2014

opération "les sciences s’invitent..."

• la conférence : Logique ou comment faire raisonner la machine : application à la biologie

La logique est de plus en plus utilisée en informatique. Elle permet de spécifier et vérifier les programmes. Depuis quelques années elle est aussi utilisée dans d’autres domaines (biochimie, contrôle aérien…). Lors de cette conférence je vous conterais cette aventure au travers d’un projet de recherche particulier.

• l’intervenant :

Nom ARNOULD Agnès
Structure Université de Poitiers - CNRS
fonction Enseignant-chercheur
Domaine Informatique, logique, informatique graphique
Laboratoire Xlim-SIC SP2MI - 11 Bd Marie et Pierre Curie Chasseneuil Futuroscope

• la démarche et le public :

Nombre d’interventions par an 2 ou 3
Niveau élèves lycée
Secteur géographique concerné 16 – 17 – 79 – 86

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.
Contact
Accessibilité
Mentions légales
RSS
Académie de Poitiers, Rectorat, 22 rue Guillaume VII le Troubadour BP 625 86022 Poitiers Cedex