18th International Conference on Types for Proofs and Programs

TYPES 2011

Bergen, Norway

8—11 September 2011

ORGANIZERS

Local organizers (Bergen)

- Marc Bezem
- Michal Walicki

Program Committee

- Marc Bezem
- Ana Bove
- Thierry Coquand
- Nils Anders Danielsson
- Peter Dybjer
- Bengt Nordström (chair)

Google Sites

Report abuse