RIP Seminar - Fall 2018 "HoTT and LEAN"

Thursdays 11am-12am


  Topic      Date     Details                   Speaker     Room  
Introduction 11 Oct Overview and a little planning LEAN people WN-R231
18 Oct WN-P631
25 Oct WN-P631
1 Nov WN-R223
8 Nov WN-R223
Functional Programming 15 Nov Elena WN-R223
Tactics 22 Nov Jan-David WN-R223
29 Nov WN-C161
6 Dic WN-R223
13 Dic WN-R231
20 Dic WN-S640

Literature:

back to home page Last semester's MIND Seminar