Barcelona Group on Pure and Applied Proof Theory
Barcelona Group on Pure and Applied Proof Theory
People
Projects
Events
Publications
Various Links
Logic
Industrial Doctorate Program (Sofía Santiago)
Software verification and formalization of mathematics. The semantics road.
Joost J. Joosten
,
Sofía Santiago
Prometheuss
Research group on verified software.
AUTAR
ERC: A Unified Theory of Algorithmic Relaxations.
Industrial Doctorate Program (Alfonso Alfaro)
Pure and Applied Proof Theory.
Joost J. Joosten
,
Alfonso Alfaro
Industrial Doctorate Program (Ana Borges)
Software verification and formalization of mathematics. The semantics road.
Joost J. Joosten
,
Ana Borges
Industrial Doctorate Program (Esperanza Buitrago)
Foundations of mathematics and verification of software.
Joost J. Joosten
,
Esperanza Buitrago
Industrial Doctorate Program (Nika Pona)
Software verification and formalization of mathematics. The semantics road.
Nika Pona
,
Joost J. Joosten
PROOFS
Proofs.
albert
RETOS
Software de fallo cero.
Cite
×
