Project-team PARTOUT Proof Automation and RepresenTation: a fOundation of compUtation and deducTion Proof Automation and RepresenTation: a fOundation of compUtation and deducTion
Centre(s) inria Inria Saclay Centre In partnership with CNRS,Institut Polytechnique de Paris Publications HALActivity reportsTeam's website Contacts Lutz Strassburger Team leader Michael Barbosa Team assistant News Job opportunities Post-Doctoral Research Visit F/M Bridging the gap between combinatorial proof theory and subatomic proof theory Deadline to apply 31/10/2025 Cryptography © Inria / Photo S. Erôme - Signatures Towards an internet of proof? 12/04/2021 See more news Discover similar project-teams about the same theme
Job opportunities Post-Doctoral Research Visit F/M Bridging the gap between combinatorial proof theory and subatomic proof theory Deadline to apply 31/10/2025
