Proof Systems and Programming

Proof systems and Programming is a research subgroup within research grou Algebra, Logic, and Computation of Center of Mathematics of University of Minho.

Research Interests

Members

Publications

Projects

Events

PhD Opportunities

Contacts

Research interests

Structural proof theory, Lambda-calculus, Curry-Howard correspondence, Proof search, Type theory

Members

· José Espírito Santo

· Luís Pinto

For a foto (as of 2003) click here.

For a foto (as of 2018) click here.

Publications

• Chronologically
• Thematically

European networks

• APPSEM II (2003 - 2006)
• TYPES (2004 - 2008)
• COST Action EUTypes (2016 - 2020)
• COST Action EuroProofNet (2021 - )

Events

· Computability in Europe 2025

Past events

· Days in Logic 2004

· Days in Logic 2014

· TYPES 2018

PhD Opportunities

For PhD opportunities, contact the members of the group.

Contacts

jes@math.uminho.pt

luis@math.uminho.pt