Topics:
- postproceedings (2 messages, latest: Oct 29 2022 at 22:33)
- recordings of talks (9 messages, latest: Aug 22 2022 at 14:59)
- Synthetic Tait Computability for Simplicial Type Theory (2 messages, latest: Jul 01 2022 at 07:48)
- Covid (1 message, latest: Jun 27 2022 at 12:25)
- Lost & Found (4 messages, latest: Jun 25 2022 at 06:48)
- Homotopy setoids and quotient completion (1 message, latest: Jun 24 2022 at 21:47)
- Description Operators in Lepage Partial Propositional Logic (1 message, latest: Jun 24 2022 at 21:45)
- A Domain-Specific Language for Name Modifiers (1 message, latest: Jun 24 2022 at 21:44)
- stream events (16 messages, latest: Jun 23 2022 at 15:33)
- Data Types with Negation (4 messages, latest: Jun 23 2022 at 14:35)
- Local Organization (2 messages, latest: Jun 23 2022 at 08:49)
- Before diner at “le un” (1 message, latest: Jun 22 2022 at 16:12)
- TypOS (1 message, latest: Jun 22 2022 at 09:20)
- Fête de la musique (2 messages, latest: Jun 21 2022 at 19:18)
- WiFi (2 messages, latest: Jun 20 2022 at 14:47)
- live streaming from Peter Dybjer is rather inaudible (1 message, latest: Jun 20 2022 at 14:40)
- Help finding the place (1 message, latest: Jun 20 2022 at 07:38)
- Sunday outing (1 message, latest: Jun 19 2022 at 19:25)
- Welcome (2 messages, latest: Jun 17 2022 at 13:25)
Last updated: Apr 19 2024 at 09:01 UTC