Bristol, England

Stream: Geographic locality

[Laura Monk]

Hi! I am just getting started in Lean and based in Bristol. Thought I would pop a message in case anyone is around :).

[Joseph Tooby-Smith]

Hi Laura! I'm moving to Bath next month to start a faculty position, so will be near by! I'm mainly working on #PhysLean , but I'm interested in all things Lean and maths as well.

[Johan Commelin]

Welcome to Zulip!

[Laura Monk]

Joseph Tooby-Smith said:

Hi Laura! I'm moving to Bath next month to start a faculty position, so will be near by! I'm mainly working on #PhysLean , but I'm interested in all things Lean and maths as well.

Nice! I'd be quite curious to hear about #PhysLean, we should meet after the summer.

[Joseph Tooby-Smith]

Yeah definitely! Let's touch base then.

[Adhyayan Sharma]

Hello everyone! I’m a student at UoB and I’m learning Lean this summer. Nice to see we have a channel for Bristol now :smiley:

[Mukesh Tiwari]

Hi @Laura Monk and @Joseph Tooby-Smith I am based in Swansea, not very far from Bristol and Bath. I dabble with Lean occasionally (I am a regular Rocq user and I hope that is not a deal breaker :)).

[Freddie Nash]

I'm regularly in Bristol: definitely keen to hear if anything Lean (or formal verification or constructive mathematics in general) is happening nearby

[Joseph Tooby-Smith]

Hey all - i just got settled in Bath, should we organize a meet up at some point?

[Laura Monk]

Good idea! I am busy travelling until mid-September but have more time after that

[Freddie Nash]

I also happen to be overwise occupied until early/mid-September

[Joseph Tooby-Smith]

Ok, let us aim for sometime late September then.

[Freddie Nash]

I'm back to having nothing on: is there a particular day of the week that works for people? (anything works for me with a bit of notice)

[Wrenna Robson]

Oh hey, I just noticed this. I am in Bristol and a Leaner (Leanoid? Leanist?)

[Freddie Nash]

I'm (probably) moving to Bristol next week, and will be at the university on the weekend on other business if anyone else is around; otherwise, maybe we should try to arrange something before the new year.

[Laura Monk]

Hi! I have had some personal things to deal with this term which have delayed my Lean greatly. I am getting back at it now. Would people like to meet sometime in December?

[Wrenna Robson]

Yes!

[Wrenna Robson]

Are you based at the University of Bristol or UWE?

[Laura Monk]

UoB

[Laura Monk]

/poll Hi! Here are a few dates suggestions for meeting at the Fry Building on Woodland road:
Monday 1/12 at 2pm
Monday 8/12 at 10am
Wednesday 10/12 at 2pm
Friday 12/12 at 10am

[Laura Monk]

This is just a few options, anyone interested in joining, please let us know your constraints

[Wrenna Robson]

I work from home (Newport, Wales) on Mondays and Fridays

[Freddie Nash]

Anytime suits me with a week or so of warning

[Laura Monk]

Hi @Adhyayan Sharma, @Mukesh Tiwari and @Joseph Tooby-Smith, would you like to join?

[Joseph Tooby-Smith]

Added my availability to the list :). Annoyingly my December is pretty full with conferences and travel :(.

[Mukesh Tiwari]

Added my preferences. I cannot do 10th December and 12th December.

[Laura Monk]

I cannot do Thursday afternoon but morning could work

[Ronan Lamy]

Hi! I'm a software developer learning Lean, I'm keen for a local meet-up. I'm probably available any time, but afternoons are easier.

[Adhyayan Sharma]

Added my preferences too! I have my term exams quite close to 8th December so anything earlier would be easier :)

[Adhyayan Sharma]

Apologies if you’re seeing this a second time, Zulip was giving me a weird server error

I have my term exams quite close to 8th December, so any time earlier would work well :)

[Laura Monk]

Hi! thanks everyone for replying, I added an option on Thursday morning as it looks like Thursday afternoon works for everyone but me ;)

[Freddie Nash]

Is the plan then to meet at UoB? Will access for externals be a problem?

[Laura Monk]

I will discuss this with the head of school and let you know.

[Laura Monk]

Looks like Thursday 4/12 at 10am works for everyone except perhaps @Ronan Lamy , would that work for you? We can set the date then :)

[Laura Monk]

I think we'll be able to organise the event here in UoB, I'll keep you updated.

[Ronan Lamy]

Yes, Thursday morning works for me.

[Laura Monk]

Amazing, let's set this date then! I'll send more practical info soon.

[Wrenna Robson]

Brilliant

[Laura Monk]

Hi! Here is a registration link for the meet-up:
https://forms.office.com/Pages/ResponsePage.aspx?id=MH_ksn3NTkql2rGM8aQVG92eI-w7YZtBmluGqMF-NeJUMk5MV0RKWFJWR0NLMFowREJNV1IyTlZNUi4u

[Wrenna Robson]

This is in two days, right?

[Freddie Nash]

That's my understanding

[Laura Monk]

Hi! Just a little reminder about our meeting tomorrow at 10 am in room G.07 of the Fry Building in Bristol! Please register if you wish to attend. See you :)

[Mukesh Tiwari]

Hi all, it seems I will be missing the meeting tomorrow because something else has come up. I hope to see you all at some point in the future, if not tomorrow.

[Joseph Tooby-Smith]

Thank you for putting the effort in to make this happen, and dealing with the logistics @Laura Monk ! Really appreciate it. I'm looking forward to meeting people tomorrow :).

[Laura Monk]

Mukesh Tiwari said:

Hi all, it seems I will be missing the meeting tomorrow because something else has come up. I hope to see you all at some point in the future, if not tomorrow.

Oh that is a shame! There should be others if all goes well :)

[Laura Monk]

I will bring some nibbles but not coffee so if you want some please bring it. And adaptors for your laptops if you wish to show us something!

[Wrenna Robson]

I will be there.

[Freddie Nash]

Heads up: the room is presently locked (not sure if that's a problem, however)

[Ronan Lamy]

On my way, sorry I'm late!

[Laura Monk]

Thank you again for the lovely meeting! I will send date suggestions early January to organise another meeting in January / early Feb.

[Adhyayan Sharma]

Thank you so much for organising this meeting @Laura Monk , looking forward to the next one!

[Wrenna Robson]

Really happy to help out with any aspect of making this happen again.