}?>
By Joining you agree to MachPrinciple's Terms and Conditions and Privacy Policy
Click to Login
Please check your email. A registration confirmation link will be sent to your mailbox..
A registration confirmation link has been sent to your email. Please check your email and finish the registration process.
Search a Conference through our dedicated search page
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).
It's free and it will always be
© machprinciple.com