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 │ Capturing images │ │ Drawing Meaning  │ beginners: your  │ at their kernel  │ │ Together  │ very own web  │ │ │ │ server in less  │ Aliocha  │ 14:00 -----------------------│ Kerstin S. Raab  │ than an hour for │ │ │ │ under 50€  │ en │ │ 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  │ │ difficult, but  │ │ rewarding  │ │ │ 10:00 --│ Jules Hedges  │--------------------------------------------------------------- │ │ │ en │ │ │ │ │ │ │ 10:30 --├────────────────────┼────────────────────┬────────────────────┬────────────────────┐ │ │ │ │ │ │ Lunch  │ Lunch  │ Lunch  │ Lunch  │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ 11:00 --│ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ 11:30 --│ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ 12:00 --├────────────────────┼────────────────────┴────────────────────┴────────────────────┘ │ │ │ Parametrised Re… │ │ │ │ Ruby Khondaker  │ │ en │ 12:30 --├────────────────────┤--------------------------------------------------------------- │ │ │ Closing  │ │ │ │ Tessa Kammermei… │ │ en │ 13:00 --├────────────────────┼────────────────────┬────────────────────┬────────────────────┐ │ │ │ │ │ │ Coffee  │ Coffee  │ Coffee  │ Coffee  │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ 13:30 --└────────────────────┼────────────────────┼────────────────────┼────────────────────┘ │ │ │ │ Introduction to  │ Queer  │ │ Queer Tango  │ mathematics?  │ │ │ │ │ Ioannis Markaki… │ Andrea Blunck  │ 14:00 -----------------------│ │ │--------------------- │ en │ en │ │ │ │ │ │ │ │ │ │ │ │ │ 14:30 -----------------------│ │ │--------------------- │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ 15:00 -----------------------└────────────────────┴────────────────────┘--------------------- 📆 powered by pretalx