Soutenances Gestion des soutenances Soutenances d'habilitation Prochaines soutenances Soutenances précédentes Soutenances d'habilitation lundi 27 novembre 2017, 14h00, Salle des Thèses, Halle aux Farines Stefano Zacchiroli (IRIF) Large-scale Modeling, Analysis, and Preservation of Free and Open Source Software https://upsilon.cc/~zack/research/hdr/ Soutenances d'habilitation lundi 20 novembre 2017, 10h00, Salle 227C, Halle aux Farines Paul-André Melliès (IRIF) Une étude micrologique de la négation La logique tensorielle est une logique primitive du tenseur et de la négation, dont l'objectif est de circonscrire les ingrédients élémentaires du raisonnement logique, et de les étudier au moyen des outils de l'algèbre contemporaine. La logique est aussi conçue pour fonder la sémantique des jeux en théorie des types, et pour l'articuler de manière précise et harmonieuse avec la logique linéaire et la théorie des continuations dans les langages de programmation. https://www.irif.fr/~mellies/habilitation.html