Hilbert-Bernays Summer School on Logic and Computation

24th July 2016   -   30th July 2016
GAttingen, Germany
http://www.uni-goettingen.de/en/530211.html

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

Share with others

Attendance Distribution

Attending this conference 0
Not attendind this conference 0
Not decided 0
Total responses 0

Are you attending this conference ?


Number of Views

Multiple view by same person within a gap of 5 min is counted as single view

Upcoming Conferences in Germany

Based on the conferences in our database