Friday 8.02, Room 5870

Saturday 9.02, Room 5070

Friday 15.02, Room 5870

Saturday 16.02, Room 4050

12.15 S. Szawiel, Web Monoid and Opetopic Sets

10.15 T. Palm, Dendrotopic Sets

12.15 T. Palm, Relating Various Opetopic Definitions of Higher-Dimensional Categories

10.15 T. Palm, Relating Various Opetopic Definitions of Higher-Dimensional Categories (continuation)

13.45 Break for lunch

12.00 E. Finster, The Language of Opetopic Categories

13.45 Break for lunch

12.00 R.Steiner, Opetopes and Chain Complexes

Room 4050

13.00 Break for lunch

Room 4050

13.00 Break for lunch

15.00 T. Palm, Polytopic Sets and Categories with Slicing

15.00 M. Zawadowski, Lax monoidal fibrations and Opetopic Sets

15.00 W. Stekelenburg, Higher Categories in Realizability

15.00 L. Sienkiewicz, Formal Theory of Monoids

16.45 M. Zawadowski, Opetopes and Opetopic Sets

16.45 I. Bakovic, 2-dimensional fibrations

16.00 M. Zawadowski, Opetopic Cardinals

16.00 I. Bakovic, Coherence for fibrations of bicategories

17.15 End of session

17.30 End of session

17.30 End of session

16.45 End of Workshop