Les sciences s’invitent - Conférence n°50 : "Logique ou comment faire raisonner la machine : application à la biologie" publié le 27/09/2019 - mis à jour le 30/09/2019
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.