Zulip Chat Archive

Stream: Geographic locality

Topic: Cambridge, UK


view this post on Zulip 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

view this post on Zulip 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

view this post on Zulip Edward Ayers (Mar 04 2020 at 08:43):

We are in MR10 today, in case someone isn't subscribed to the cambridge stream.

view this post on Zulip Bhavik Mehta (Nov 12 2020 at 17:31):

Reminder to all in Cambridge that this stream exists

view this post on Zulip 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.

view this post on Zulip Edward Ayers (Nov 25 2020 at 14:07):

Feel free to drop in even if you don't like Cambridge

view this post on Zulip Yaël Dillies (Jun 11 2021 at 13:46):

Should we organise meetings in the CMS again now that (first year) exams are finished?

view this post on Zulip 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?

view this post on Zulip 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.

view this post on Zulip Albert Jiang (Sep 04 2021 at 10:31):

That's awesome! I wonder if you could send the Discord link?
Thank you Yaël!

view this post on Zulip Kevin Buzzard (Sep 04 2021 at 11:09):

Will you be doing mathematics or computer science?

view this post on Zulip Albert Jiang (Sep 04 2021 at 13:14):

I'll be doing computer science.

view this post on Zulip 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

view this post on Zulip 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!!!

view this post on Zulip 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!

view this post on Zulip Eric Wieser (Sep 07 2021 at 17:10):

How early are the early parts?

view this post on Zulip Eric Rodriguez (Sep 07 2021 at 18:17):

Should be around till lunchtime or so :)

view this post on Zulip Eric Wieser (Sep 08 2021 at 11:29):

I got pulled into a virtual conference, sounds like I probably missed you

view this post on Zulip Eric Rodriguez (Sep 08 2021 at 13:30):

Sadly so :( will let you all know if I'm up again!

view this post on Zulip 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.

view this post on Zulip 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 .

view this post on Zulip 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!

view this post on Zulip Yaël Dillies (Oct 20 2021 at 11:54):

And this first meeting will be the opportunity to announce a recent result!

view this post on Zulip Sebastian Reichelt (Oct 24 2021 at 17:50):

Sorry, wrong topic.

view this post on Zulip 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

view this post on Zulip 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.

view this post on Zulip 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?

view this post on Zulip 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!

view this post on Zulip Joachim Breitner (Apr 20 2022 at 09:20):

Cool, can I hang out with you next Wednesday then (April 27)?

view this post on Zulip 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.

view this post on Zulip 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!

view this post on Zulip 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