Zulip Chat Archive
Stream: Lean Together 2019
Topic: hello
Welcome Bot (Jan 04 2019 at 16:34):
Welcome to #Lean Together 2019.
Description: Communications for the Lean Together 2019 workshop.
Rob Lewis (Jan 04 2019 at 16:35):
For people who aren't able to join us in Amsterdam: the tutorials and talks will be streamed and recorded, links available on the website. https://lean-forward.github.io/lean-together/2019/index.html
Kenny Lau (Jan 07 2019 at 10:31):
the gender composition of this workshop is very balanced
Last updated: Dec 20 2023 at 11:08 UTC