Communities Around The World
20
Active Programs in S.E.Asia
18

Our Community

The success of any decentralised network is determined by the efforts of a robust, diverse, and flourishing community. As a member of the Tezos community, Tezos Southeast Asia is committed to providing resources that will help ensure its success and longevity.

Join Our Community

Tezos is committed to supporting organisations which contribute to the growth of the Tezos community and ecosystem. We are very active in supporting regional organisations and university-based groups focused on Tezos and the larger blockchain ecosystem.

Here are some community organisations that compose the Tezos ecosystem:

· Tezos Southeast Asia (Twitter)

· Tezos Japan (Twitter)

· Tezos Korea (Twitter)

Get Involved!
Join the Tezos community to get notified of upcoming events and updates
By clicking the button:
1) It confirms you are a genius.
2) We promise that your privacy is respected and will not be shared.
3) You will not be spammed.

Latest news from Tezos Facebook…

A blockchain is a chain of blocks that contain data or information. It is a new name in the world of technologies and revolutionary. It holds a high potential of applications in many different industries and sectors.
bit.ly/2SGBjJd

#Tezos #Blockchain #Technology
...

View on Facebook

Diego explains at the university of Lisbon the challenge of combining DSLs and generic programming languages with #FormalVerification techniques, in a certified compilation environment, with unusual cost models. Creating a #blockchain like #Tezos requires solving many problems. ...

View on Facebook

There are lots of people this week in #Singapore because of some conferences. If anyone wants to meet with @AsiaTezos just tell us.

#SAFU #SAFUHackathon #BinanceBlockchainWeek
...

View on Facebook

3 days ago

Tezos Southeast Asia - TSA

Meeting in Cascais, Portugal between some representatives of Tezos Southeast Asia and some representatives of Nomadic Labs to discuss Michelson, theorem provers (Coq), refinement types (F*), Domain-Specific Languages and how to combine them to make Tezos a better blockchain. ...

View on Facebook

Check out our tweets…

More detailed answer to Andrew Miller @socrates1024 about his concern that #FormalVerification being simpler in #OCaml could just be a myth: we review formal verification techniques used in blockchains, advantages of OCaml and some classical theorems.

https://t.co/7YkG1qzbhe

If you're in Hong Kong for @iFXEXPO, make sure to check out the blockchain adoption panel! @SandyPeng1, advisor to @AsiaTezos, will be representing #Tezos.

https://t.co/EfZSnCbNyJ

A blockchain is a chain of blocks that contain data or information. It is a new name in the world of technologies and revolutionary. It holds a high potential of applications in many different industries and sectors.
https://t.co/jgVWBxePIR

#Tezos #Blockchain #Technology

Diego explains at the university of Lisbon the challenge of combining DSLs and generic programming languages with #FormalVerification techniques, in a certified compilation environment, with unusual cost models. Creating a #blockchain like #Tezos requires solving many problems.

There are lots of people this week in #Singapore because of some conferences. If anyone wants to meet with @AsiaTezos just tell us.

#SAFU #SAFUHackathon #BinanceBlockchainWeek

Load More...

Follow us on Instagram…