Barcelona Group on Pure and Applied Proof Theory
Barcelona Group on Pure and Applied Proof Theory
People
Projects
Events
Publications
Various Links
Recent & Upcoming Events
2023
2023 Workshop on Proof Theory and its Applications
2023 Workshop on Proof Theory and its Applications.
Mar 15, 2023
2023 Summer School on Proof Theory and its Applications
2023 Summer School on Proof Theory and its Applications.
Mar 15, 2023
2023 Summer School and Workshop on Proof Theory and its Applications
2023 Summer School and Workshop on Proof Theory and its Applications.
Mar 15, 2023
2022
Conference on Algorithmic Law Design and Implementation
Conference on Algorithmic Law Design and Implementation.
Jan 18, 2022
2021
PhD Seminar on Mathematical Logic
Seminar on Proof Theory and Foundations of Mathematics.
Feb 24, 2021 00:00
Online
Model Checking Thematic Semester
Seminar on Proof Theory and Foundations of Mathematics.
Feb 24, 2021 00:00
Online
Cuc Seminars
Seminar on Proof Theory and Foundations of Mathematics.
Feb 24, 2021 00:00
Online
2020
Symposium FV Time Manager Presentation
Presenting the first UTC compliant verified time library.
Oct 21, 2020 00:00
Online
Project
2019
Fifth Workshop on Proof Theory, Modal Logic and Reflection Principles (Wormshop)
tb added
Oct 21, 2019 00:00
Barcelona
Project
Cite
×