Zulip Chat Archive

Stream: Geographic locality

Topic: Sydney, AU


view this post on Zulip Qian Hong (wechat: fracting) (Apr 14 2020 at 01:55):

Hello World!

view this post on Zulip Mukesh Tiwari (Apr 14 2020 at 12:05):

Hi Qian, mukesh here.

view this post on Zulip Mukesh Tiwari (Apr 14 2020 at 12:06):

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

view this post on Zulip Qian Hong (wechat: fracting) (Oct 01 2020 at 19:34):

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

view this post on Zulip Joshua Moses (May 06 2021 at 12:44):

Hi

view this post on Zulip Scott Morrison (May 06 2021 at 12:49):

(Hi from Canberra!)

view this post on Zulip Scott Morrison (May 06 2021 at 12:49):

(not that Scott Morrison :-)

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

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

view this post on Zulip Qian Hong (wechat: fracting) (Jun 21 2021 at 16:55):

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


Last updated: Jul 29 2021 at 20:11 UTC