jeudi 1er février 2018 : La logique ou comment faire raisonner la machine, application à la biologie

  à l'amphithéâtre Espace Formation, square Balzac à Saumur, à 14 h 30.

Agnès Arnould

conférence donnée par Agnès Arnould, maître de conférences en informatique à l'Université de Poitiers – membre du laboratoire XLIM.

         " La logique est née sous la plume des philosophes, s’est développée comme théorie mathématique et, désormais, est utilisée en informatique. Elle permet de spécifier et vérifier les programmes. 

       Ces techniques sont utilisées pour raisonner dans des systèmes complexes très divers (biologiques, humains, etc.) et ouvrent des perspectives inédites de recherche et de compréhension des systèmes complexes.

Skytrain de Vancouver

       

         Après quelques rappels de logique, nous découvrirons ensemble les principes de la logique temporelle. Nous apprendrons à exprimer des propriétés qui seront vraies dans le futur : une fois, une infinité de fois, ou toujours. 

     Puis nous regarderons comment vérifier ces propriétés temporelles appliquées à des systèmes artificiels du type métro automatique par exemple.

    

          Nous découvrirons comment ces outils peuvent être utilisés dans le domaine de la biochimie. Quel sens cela a-t-il de modéliser-vérifier un système naturel ? Peut-on découvrir le fonctionnement du vivant avec des expériences synthétiques sur ordinateur ?

     

cliquez...

 

 Ces outils sont couramment utilisés pour synthétiser des expériences in-vitro, c’est-à-dire dans un lieu unique (le tube à essai). 

   Le projet de recherche, auquel j’ai participé, avait pour ambition d’étendre ces méthodes aux expériences in-vivo, c’est-à-dire dans différents compartiments de la cellule qui évoluent au gré des changements biochimiques.  

       Après un rapide aperçu du projet, nous parcourrons les travaux qui en découlent.

 

Fulgence Bienvenüe, père du métro de Paris

    

    

                  Cette conférence sera aussi l’occasion de vous conter l’aventure de la recherche, avec ses rencontres improbables, ses chemins de traverses et ses résultats étonnants. 

        Elle est accessible à tous sans prérequis scientifiques, juste le goût pour les jeux de déduction".

Nombre de places limitées, ouverture des portes dès 14 h.

Billetterie sur place.

l'adhésion (18€) vous permet, en plus du tarif réduit, de participer aux sorties, ateliers, concerts, expos, etc

Adhérents 4 € - non-adhérents 6 € - étudiants et demandeurs d’emploi 1 €.