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.