Zulip Chat Archive
Stream: Geographic locality
Topic: Cambridge, UK
Jalex Stark (Feb 28 2020 at 03:43):
There is a regular group meeting here! and an associated private stream on this server! I'm not sure who you ask to be invited
Edward Ayers (Feb 28 2020 at 11:04):
Hi! You can ask me or @Bhavik Mehta to join the secret cambridge stream we meet every Wednesday 15:00 to around 19:00 in MR21 (subject to change) in the CMS
Edward Ayers (Mar 04 2020 at 08:43):
We are in MR10 today, in case someone isn't subscribed to the cambridge stream.
Bhavik Mehta (Nov 12 2020 at 17:31):
Reminder to all in Cambridge that this stream exists
Edward Ayers (Nov 25 2020 at 14:06):
Hi we are having a Cambridge Lean User Group 'CLUG' meetup on Kevin's discord server on the 'live-lean-coding' channel at 15:00. Should be a real slice.
Edward Ayers (Nov 25 2020 at 14:07):
Feel free to drop in even if you don't like Cambridge
Yaël Dillies (Jun 11 2021 at 13:46):
Should we organise meetings in the CMS again now that (first year) exams are finished?
Albert Jiang (Sep 03 2021 at 22:02):
Hi! I'll be starting a PhD at Cambridge in October. Is anyone interested in a HoTT/reasoning/LEAN reading group?
Yaël Dillies (Sep 04 2021 at 07:40):
Yes! We have the CLUG (Cambridge Lean User Group) meeting every Wednesday on Discord and hopefully soon back in person.
Albert Jiang (Sep 04 2021 at 10:31):
That's awesome! I wonder if you could send the Discord link?
Thank you Yaël!
Kevin Buzzard (Sep 04 2021 at 11:09):
Will you be doing mathematics or computer science?
Albert Jiang (Sep 04 2021 at 13:14):
I'll be doing computer science.
Bhavik Mehta (Sep 06 2021 at 17:18):
Albert Jiang said:
Hi! I'll be starting a PhD at Cambridge in October. Is anyone interested in a HoTT/reasoning/LEAN reading group?
You'll probably want to be aware of the existing CL research groups and the alexandria isabelle group as well, if you aren't already
Albert Jiang (Sep 06 2021 at 20:47):
Bhavik Mehta said:
Albert Jiang said:
Hi! I'll be starting a PhD at Cambridge in October. Is anyone interested in a HoTT/reasoning/LEAN reading group?
You'll probably want to be aware of the existing CL research groups and the alexandria isabelle group as well, if you aren't already
Thanks!!!
Eric Rodriguez (Sep 07 2021 at 16:44):
I'm in Cambridge for today and the early parts of tomorrow - would be nice to meet some of you if you're around!
Eric Wieser (Sep 07 2021 at 17:10):
How early are the early parts?
Eric Rodriguez (Sep 07 2021 at 18:17):
Should be around till lunchtime or so :)
Eric Wieser (Sep 08 2021 at 11:29):
I got pulled into a virtual conference, sounds like I probably missed you
Eric Rodriguez (Sep 08 2021 at 13:30):
Sadly so :( will let you all know if I'm up again!
Ferenc Huszár (Sep 16 2021 at 12:13):
Hi everyone - I'm a Senior Lecturer at the Computer Lab working on machine learning. I have absolutely 0 expertise in LEAN or modern theorem proving in general but I started looking into this recently and I'm intrigued.
Jason Rute (Sep 26 2021 at 20:07):
@Ferenc Huszár Welcome! If you haven't already seen it, you should look at the streams #Machine Learning for Theorem Proving and #lean-gptf .
Bhavik Mehta (Oct 20 2021 at 09:28):
The Cambridge Lean user group is back in person! We'll be meeting in MR11 (Pav B) in the CMS at 3pm to 6pm today (and every weds this term). Message me if you need to be let in or need help finding us!
Yaël Dillies (Oct 20 2021 at 11:54):
And this first meeting will be the opportunity to announce a recent result!
Sebastian Reichelt (Oct 24 2021 at 17:50):
Sorry, wrong topic.
Jad Ghalayini (Dec 01 2021 at 20:39):
Bhavik Mehta said:
The Cambridge Lean user group is back in person! We'll be meeting in MR11 (Pav B) in the CMS at 3pm to 6pm today (and every weds this term). Message me if you need to be let in or need help finding us!
Is this still going on over the holidays, and/or next week? Just started a new project using Lean for the first time haha
Shing Tak Lam (Dec 01 2021 at 21:12):
Jad Ghalayini said:
Bhavik Mehta said:
The Cambridge Lean user group is back in person! We'll be meeting in MR11 (Pav B) in the CMS at 3pm to 6pm today (and every weds this term). Message me if you need to be let in or need help finding us!
Is this still going on over the holidays, and/or next week? Just started a new project using Lean for the first time haha
Today will probably be the last in person one for Michaelmas, so I think the plan would be to move online (probably on the Xena server) until Lent term. On the other hand, I (and maybe a few others) will be around in Cambridge over the Christmas vacation.
Joachim Breitner (Apr 20 2022 at 09:13):
I’m traveling to Cambridge for (non-lean) work next week, and wouldn’t mind meeting up likeminded people for dinner or lunch or so. Anyone around?
Yaël Dillies (Apr 20 2022 at 09:14):
Yes, next time is this afternoon on Discord and next Wednesday we will be meeting in person again!
Joachim Breitner (Apr 20 2022 at 09:20):
Cool, can I hang out with you next Wednesday then (April 27)?
Jad Ghalayini (May 12 2022 at 01:33):
@Edward Ayers @Jalex Stark could I by any chance join the aforementioned secret Cambridge stream? Also are meetings going on? Would like to attend next week if so.
Rémi Bottinelli (Sep 11 2022 at 08:46):
Hey! I'll be in Cambridge starting some time next week if all goes well. Would be happy to meet people there!
Joanna Choules (Sep 23 2022 at 12:59):
I didn't get around to this before but I should say that I am another Cambridge-based person, though alas my work hours largely overlap with the meetup times.
Last updated: Sep 24 2022 at 18:19 UTC