Sydney, AU

Stream: Geographic locality

[Qian Hong (wechat: fracting)]

Hello World!

[Mukesh Tiwari]

Hi Qian, mukesh here.

[Mukesh Tiwari]

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

[Qian Hong (wechat: fracting)]

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

[Joshua Moses]

Hi

[Scott Morrison]

(Hi from Canberra!)

[Scott Morrison]

(not that Scott Morrison :-)

[Mukesh Tiwari]

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]

@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)]

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

[Martin Gossow]

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

[Stuart Hungerford]

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

[Stuart Hungerford]

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

[Moritz Firsching]

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