Reading Seminar on Types, Categories and Logic, Winter term 2014/15
Goal: Learn the basics of type theory and its connections to functional programming, category theory and logic. Ultimately, the seminar aims at providing the necessary background for the study of homotopy type theory.
Prerequisites: Enthusiasm and interest, but very little mathematical knowledge! Some background in logic and category theory is surely helpful, but we might as well provide it during the seminar. So everyone is welcome to join!
Preliminary program: here Most references as well as some descriptions of talks are missing at the moment and will hopefully be provided later. If you find mistakes or have suggestions for structuring the content differently, please let me know.
Time and place: tba
If you are interested in attending the seminar, just write me a mail to habecker@math.uni-bonn.de
News
Jessica Fintzen wins Cole Prize
Dr. Regula Krapf receives university teaching award
Prof. Catharina Stroppel joined the North Rhine-Westphalia Academy for Sciences and Arts
Prof. Daniel Huybrechts receives the Compositio Prize for the periode 2017-2019
Prof. Catharina Stroppel receives Gottfried Wilhelm Leibniz Prize 2023
Grants for Mathematics students from Ukraine
Prof. Jessica Fintzen is awarded a Whitehead Prize of the London Mathematical Society
Prof. Peter Scholze elected as Foreign Member of the Royal Society