The seminar takes place on Fridays 12:15am---2pm, room: 5870.
02.10.2015 Marek Zawadowski, Formal meeting
09.10.2015 Marek Zawadowski, Algebraic Structures
16.10.2015 Stanisław Szawiel, The Category of Physical Processes
23.10.2015 Stanisław Szawiel, The Category of Physical Processes 2
30.10.2015 Stanisław Szawiel, The Category of Physical Processes 3
06.11.2015 Stanisław Szawiel, The Category of Physical Processes 4
13.11.2015 Marek Zawadowski, Algebraic Structures 2
20.11.2015 Marek Zawadowski, Opetopic Cardinals
27.11.2015 Marek Zawadowski, Opetopic Cardinals 2
19.02.2016 Peter LeFanu Lumsdaine, An introduction to Homotopy Type Theory/Univalent Foundations
29.04.2016 Marcelo Fiore, The Calculus of Generalised Species of Structures
In case of questions please contact Marek Zawadowski (zawado at mimuw dot edu dot pl).