What are criteria for a suitable foundation of mathematicsya-- Homotopy Type Theory, a new interesting alternative to set theoryya

18th July 2016   -   23rd July 2016
Bielefeld, Germany
http://fomus.weebly.com

Abstract

This interdisciplinary workshop, designed as a hybrid between summer school and research conference, is aimed at students and researchers from the fields of mathematics, philosophy and computer science. The confirmed invited speakers include: P. Aczel, B. Ahrens, T. Altenkirch, C. Ballarin, M. Bezem, U. Buchholtz, I. Dimitriou, R. Krapf, J. Ladyman, B. LA¶we, A. Pitts, A. Rodin, U. Schreiber, B. Spitters, T. Streicher, C. Ternullo, and V. Voevodsky. The organizers are: B. Grabmayr, D. Kant, L. KA¼hne, D. Sarikaya, and M. ViehstA¤dt.

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