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

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