Zulip Chat Archive

Stream: Geographic locality

Topic: Singapore

Michael Liu (May 24 2020 at 23:01):

suh

Kenny Lau (May 25 2020 at 04:12):

hey we have the same surname (right? ...)

leafGecko (Aug 11 2021 at 11:59):

:D

Tchsurvives (Oct 24 2022 at 07:16):

Hello

Tchsurvives (Nov 06 2022 at 03:03):

What brings y’all to lean? :)

Tchsurvives (Nov 15 2022 at 01:55):

@Michael Liu @Kenny Lau @Shi Zhengyu @Way Yan

Jeremy Tan (Mar 10 2023 at 01:33):

Hey, who's here lah

Tchsurvives (Mar 15 2023 at 06:03):

Jeremy Tan said:

Hey, who's here lah

hi, u can contact me on telegram at tch1001 if u wanna discuss

Yong Kiam (Apr 19 2024 at 03:57):

hello!

Riccardo Brasca (Apr 19 2024 at 04:45):

As most of you may already know, there is this workshop next week in Singapore. See you there!

Jens Petersen (May 01 2024 at 17:21):

Goodness, just missed that... :wave:

Yong Kiam (Aug 01 2024 at 16:26):

hello, I just wanted to bump my job posting (PhD/Postdoc positions @ NTU) in this channel, in case anyone's interested. I would be happy to chat in Singapore to folks interested in working using Lean or theorem proving in general.

#job postings > PhD and postdoc positions in PL/FM at NTU, Singapore

Last updated: May 02 2025 at 03:31 UTC