QTCat Get different formats: curl https://pretalx.c3voc.de/qtcat-2026/schedule/\?format=table (default) curl https://pretalx.c3voc.de/qtcat-2026/schedule/\?format=list 2026-08-12 | R. 221 | Workshop 1 | Workshop 2 | Outside 07:00 --┌────────────────────┬────────────────────┬────────────────────┬────────────────────┐ │ │ │ │ │ │ Coffee  │ Coffee  │ Coffee  │ Coffee  │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ 07:30 --│ │ │ │ │ │ │ │ │ │ │ │ │ │ │ ├────────────────────┼────────────────────┴────────────────────┴────────────────────┘ │ Opening  │ │ Tessa Kamme… en │ 08:00 --├────────────────────┤--------------------------------------------------------------- │ │ │ Category theory, │ │ formalised  │ │ humanely  │ │ │ 08:30 --│ Amélia Liao  │--------------------------------------------------------------- │ │ │ en │ │ │ │ │ │ │ 09:00 --├────────────────────┼────────────────────┬────────────────────┬────────────────────┐ │ │ │ │ │ │ Coffee  │ Coffee  │ Coffee  │ Coffee  │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ 09:30 --├────────────────────┼────────────────────┴────────────────────┴────────────────────┘ │ │ │ The Road from C… │ │ │ │ Scott Wesley  │ │ en │ 10:00 --├────────────────────┤--------------------------------------------------------------- │ │ │ Who cares about… │ │ │ │ Adrián Doña Mat… │ │ en │ 10:30 --├────────────────────┼────────────────────┬────────────────────┬────────────────────┐ │ │ │ │ │ │ Lunch  │ Lunch  │ Lunch  │ Lunch  │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ 11:00 --│ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ 11:30 --│ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ 12:00 --├────────────────────┼────────────────────┴────────────────────┴────────────────────┘ │ │ │ The fundamental  │ │ theorem of  │ │ deeper algebra  │ │ │ 12:30 --│ Theo Johnson-Fr… │--------------------------------------------------------------- │ │ │ en │ │ │ │ │ │ │ 13:00 --├────────────────────┼────────────────────┬────────────────────┬────────────────────┐ │ │ │ │ │ │ Coffee  │ Coffee  │ Coffee  │ Coffee  │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ 13:30 --└────────────────────┼────────────────────┼────────────────────┼────────────────────┘ │ │ │ │ Let's Cross  │ Where is the  │ │ Stitch a QTCat!  │ transmasc  │ │ (beginner  │ community?  │ │ friendly)  │ │ 14:00 -----------------------│ │ Heliadore Johan… │--------------------- │ rhandos  │ │ │ │ en │ │ en │ │ │ │ │ │ │ │ 14:30 -----------------------│ │ │--------------------- │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ 15:00 -----------------------└────────────────────┴────────────────────┘--------------------- 15:30 --------------------------------------------------------------------------------------- 16:00 --------------------------------------------------------------------------------------- 16:30 -----------------------------------------------------------------┌────────────────────┐ │ │ │ Solar Eclipse  │ │ │ │ en │ │ │ 17:00 -----------------------------------------------------------------│ │ │ │ │ │ │ │ │ │ │ │ 17:30 -----------------------------------------------------------------│ │ │ │ │ │ │ │ │ │ │ │ 18:00 -----------------------------------------------------------------│ │ │ │ │ │ │ │ │ │ │ │ 18:30 -----------------------------------------------------------------│ │ │ │ │ │ │ │ │ │ │ │ 19:00 -----------------------------------------------------------------│ │ │ │ │ │ │ │ │ │ │ │ 19:30 -----------------------------------------------------------------└────────────────────┘ 2026-08-13 | R. 221 | Workshop 1 | Workshop 2 | Outside 07:00 --┌────────────────────┬────────────────────┬────────────────────┬────────────────────┐ │ │ │ │ │ │ Coffee  │ Coffee  │ Coffee  │ Coffee  │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ 07:30 --│ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ 08:00 --├────────────────────┼────────────────────┴────────────────────┴────────────────────┘ │ │ │ Coinductive  │ │ invertibility in │ │ higher  │ │ categories  │ 08:30 --│ │--------------------------------------------------------------- │ Ioannis Markakis │ │ │ │ en │ │ │ │ │ 09:00 --├────────────────────┼────────────────────┬────────────────────┬────────────────────┐ │ │ │ │ │ │ Coffee  │ Coffee  │ Coffee  │ Coffee  │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ 09:30 --├────────────────────┼────────────────────┴────────────────────┴────────────────────┘ │ │ │ From Higher to … │ │ │ │ Laura Olivia Fe… │ │ en │ 10:00 --├────────────────────┤--------------------------------------------------------------- │ │ │ The calculus of… │ │ │ │ Daniël Apol (th… │ │ en │ 10:30 --├────────────────────┼────────────────────┬────────────────────┬────────────────────┐ │ │ │ │ │ │ Lunch  │ Lunch  │ Lunch  │ Lunch  │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ 11:00 --│ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ 11:30 --│ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ 12:00 --├────────────────────┼────────────────────┴────────────────────┴────────────────────┘ │ │ │ Cats and Types,  │ │ Side by Side  │ │ │ │ Conor Titania M… │ 12:30 --│ │--------------------------------------------------------------- │ en │ │ │ │ │ │ │ │ │ 13:00 --├────────────────────┼────────────────────┬────────────────────┬────────────────────┐ │ │ │ │ │ │ Coffee  │ Coffee  │ Coffee  │ Coffee  │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ 13:30 --└────────────────────┼────────────────────┼────────────────────┼────────────────────┘ │ │ │ │ Diagrammar:  │ Self hosting for │ │ Drawing Meaning  │ beginners: your  │ │ Together  │ very own web  │ │ │ server in less  │ 14:00 -----------------------│ Kerstin S. Raab  │ than an hour for │--------------------- │ │ under 50€  │ │ en │ │ │ │ Laura Olivia Fe… │ │ │ │ │ │ en │ 14:30 -----------------------│ │ │--------------------- │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ 15:00 -----------------------└────────────────────┴────────────────────┘--------------------- 15:30 --------------------------------------------------------------------------------------- 16:00 --------------------------------------------------------------------------------------- 16:30 -----------------------------------------------------------------┌────────────────────┐ │ │ │ BBQ  │ │ │ │ en │ │ │ 17:00 -----------------------------------------------------------------│ │ │ │ │ │ │ │ │ │ │ │ 17:30 -----------------------------------------------------------------│ │ │ │ │ │ │ │ │ │ │ │ 18:00 -----------------------------------------------------------------│ │ │ │ │ │ │ │ │ │ │ │ 18:30 -----------------------------------------------------------------│ │ │ │ │ │ │ │ │ │ │ │ 19:00 -----------------------------------------------------------------│ │ │ │ │ │ │ │ │ │ │ │ 19:30 -----------------------------------------------------------------└────────────────────┘ 2026-08-14 | R. 221 | Workshop 1 | Workshop 2 | Outside 07:00 --┌────────────────────┬────────────────────┬────────────────────┬────────────────────┐ │ │ │ │ │ │ Coffee  │ Coffee  │ Coffee  │ Coffee  │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ 07:30 --│ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ 08:00 --├────────────────────┼────────────────────┴────────────────────┴────────────────────┘ │ │ │ How to be a mat… │ │ │ │ Jade Master  │ │ en │ 08:30 --├────────────────────┤--------------------------------------------------------------- │ │ │ Worlds where al… │ │ │ │ Maia Woolf (she… │ │ en │ 09:00 --├────────────────────┼────────────────────┬────────────────────┬────────────────────┐ │ │ │ │ │ │ Coffee  │ Coffee  │ Coffee  │ Coffee  │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ 09:30 --└────────────────────┴────────────────────┴────────────────────┴────────────────────┘ ┌────────────────────┐ │ │ │ Poly is  │ 10:00 --│ difficult, but  │--------------------------------------------------------------- │ rewarding  │ │ │ │ Jules Hedges  │ │ │ │ en │ 10:30 --│ │--------------------------------------------------------------- │ │ │ │ ├────────────────────┤ │ │ │ Lunch  │ 11:00 --│ │--------------------------------------------------------------- │ │ │ │ │ │ │ │ │ │ 11:30 --│ │--------------------------------------------------------------- │ │ │ │ │ │ │ │ │ │ 12:00 --│ │--------------------------------------------------------------- │ │ │ │ │ │ │ │ │ │ 12:30 --├────────────────────┤--------------------------------------------------------------- │ │ │ Parametrised Re… │ │ │ │ Ruby Khondaker  │ │ en │ 13:00 --├────────────────────┤--------------------------------------------------------------- │ │ │ Closing/Closure… │ │ │ │ Tessa Kammermei… │ │ en │ 13:30 --├────────────────────┼────────────────────┬────────────────────┬────────────────────┐ │ │ │ │ │ │ Coffee  │ Coffee  │ Coffee  │ Coffee  │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ 14:00 --├────────────────────┼────────────────────┼────────────────────┼────────────────────┘ │ │ │ │ │ How to QT[...]  │ Introduction to  │ Queer  │ │ │ Queer Tango  │ mathematics?  │ │ Tessa Kammermei… │ │ │ │ │ Ioannis Markaki… │ Andrea Blunck  │ 14:30 --│ en │ │ │--------------------- │ │ en │ en │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ 15:00 --│ │ │ │--------------------- │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ 15:30 --└────────────────────┴────────────────────┴────────────────────┘--------------------- 📆 powered by pretalx