**Proof
Systems and Programming**

**Proof systems and Programming** is a research group within project
Algebra, Logic, and Computation of Center
of Mathematics of

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

For a foto
(as of 2003) click here.

- Chronologically
- Thematically

- TYPES (2004 - 2008)
- APPSEM II (2003 - 2006)
- EUTYPES (2016 - )

For PhD
opportunities, contact the members of the group.