Zulip Chat Archive

Stream: Geographic locality

Topic: Sydney, AU

Qian Hong (wechat: fracting) (Apr 14 2020 at 01:55):

Hello World!

Mukesh Tiwari (Apr 14 2020 at 12:05):

Hi Qian, mukesh here.

Mukesh Tiwari (Apr 14 2020 at 12:06):

I am currently in Melbourne, and I think we met in DeepSpec summer school, Princeton.

Qian Hong (wechat: fracting) (Oct 01 2020 at 19:34):

Hi Mukesh! Sorry I missed the thread. Long time no see! :)

Joshua Moses (May 06 2021 at 12:44):

Hi

Scott Morrison (May 06 2021 at 12:49):

(Hi from Canberra!)

Scott Morrison (May 06 2021 at 12:49):

(not that Scott Morrison :-)

Mukesh Tiwari (Jun 19 2021 at 08:20):

Hi Scott, You probably don't know me, but I know you. I was a PhD student at the Logic Group, ANU, Canberra and Dirk was my supervisor.

Mukesh Tiwari (Jun 19 2021 at 08:33):

@Qian Hong (wechat: fracting) I am glad that finally you saw my message :)
@Joshua Moses Hi Joshua, nice to meet you.

Btw, there is a formal methods gathering, Formal Methods in Australia/New Zealand on 30 Sep - 1 Oct 2021 at The University of Queensland, St Lucia, https://wp.csiro.au/cdng/ (It's not updated yet, but hopefully, once it is finalise I will update here).

Qian Hong (wechat: fracting) (Jun 21 2021 at 16:55):

@Mukesh Tiwari cool, that's just in a few months, sounds exciting!

Martin Gossow (Dec 05 2021 at 04:03):

Hello! Recently graduated student from USYD here, hoping to get into Lean over the summer

Stuart Hungerford (Sep 24 2022 at 05:32):

I’m on the Central Coast north of Sydney and looking forward to using Lean 4 for self-study of maths concepts.

Stuart Hungerford (Sep 24 2022 at 05:33):

Even aside from mathlib Lean looks very interesting as a general FP language too.

Moritz Firsching (Jan 13 2023 at 05:49):

I'm in Sydney for a few days now...

Craig McLaughlin (Jul 16 2024 at 12:10):

Hi, I'm a programming languages / formal methods researcher based in Sydney. Recently started looking into Lean for developing a security story for an operating system design. I'm keen to connect with any locals hacking in / on Lean.

Jeremy Lindsay (Apr 21 2025 at 14:45):

Hello from between Sydney and Canberra :wave:

Kim Morrison (Apr 22 2025 at 06:08):

Hi @Jeremy Lindsay! I'm down in Canberra.

Notification Bot (Apr 22 2025 at 09:54):

2 messages were moved here from #Geographic locality > Sydney, Australia by Patrick Massot.

Patrick Massot (Apr 22 2025 at 09:55):

@Jeremy Lindsay Note I moved your message because there are two threads about Sydney and this makes it harder for Sydney people to meet each other.

Patrick Massot (Apr 22 2025 at 09:56):

Also don’t hesitate to add yourself to the map on https://leanprover-community.github.io/meet.html

Patrick Massot (Apr 22 2025 at 09:57):

How to do that is explained below the map.

Jeremy Lindsay (Apr 22 2025 at 10:04):

Added! :smiley:

Ashvni Narayanan (Apr 22 2025 at 13:27):

Hi all! I am a postdoc at University of Sydney, I use Lean a fair bit in my research. Nice to meet all of you! :)

Last updated: May 02 2025 at 03:31 UTC