Project

Back to overview

Advances in Proof Theory

Applicant Studer Thomas
Number 150862
Funding scheme Scientific Conferences
Research institution Institut für Informatik Universität Bern
Institution of higher education University of Berne - BE
Main discipline Mathematics
Start/End 01.12.2013 - 28.02.2014
Approved amount 2'000.00
Show all

All Disciplines (2)

Discipline
Mathematics
Information Technology

Keywords (3)

Proof Theory; Constructivity; Computation

Responsible applicant and co-applicants

Scientific events



Self-organised

Title Date Place
Advances in Proof Theory 2013 13.12.2013 Bern, Switzerland

-