Search a Conference through our dedicated search page

Hilbert-Bernays Summer School on Logic and Computation

24th July 2016 - 30th July 2016
GA¶ttingen, Germany
http://www.uni-goettingen.de/en/530211.html
Save

Abstract

This summer school is intended for students of mathematics, philosophy and computer science. The following mini-courses will be offered (with the speakers in parentheses): Computational contents of proofs (H. Schwichtenberg), From Hilbert to Gentzen and beyond (R. Kahle), Lambda-calculus (S. Ronchi della Rocca), and Proof mining (U. Kohlenbach).

Related Fields