English

List of Events

Here is a list of event, includes speaker session and other intermediate slots (e.g. lunch):

Diagnosis the internet's health - Mozilla Internet Health Report

Mozilla Internet Health Report (https://internethealthreport.org) is an annual report talk about what’s helping and what’s hurting the internet. It discuss different aspect of Internet, from personal experience to global concerns. In last year's report, we discuss issues from privacy of IoT to domination of Social Network. In the talk, I will introducing and sharing the best stories from this year's latest report.

Decentralized data marketplace based on Distributed Ledgers

The value of data is not a new thing, whether in business or in warfare.

Either the goal of precision marketing or the material collection for machine learning,
their intentions can be shorten into one word: data, the oil in the digital era.

Not surprisingly, data storage and marketplace turn into new challenges.In this session, we'll introduce an innovative type of data marketplace platform with distributed legder technology (DLT) to transform data into profits with better trust basic.

DApp Game - Blockchain random number generation method and implementation

When users realized that the "application" on the ICO was more important than the "token", the virtual currency began to decline in June 2018, prompting users in the market to pay attention to the development of the tokens. The development of DApp began to expand. The DApp industry recorded a turnover of 33.6 billion RMB in 2018. Almost 90% of the turnover comes from DApp games.

Because DApp game is built on the blockchain, it greatly restricts the gameplay. Currently, the common DApp games are: playing cards and dice.

Formal Verification on Smart Contract

For ethereum, 2016 might be a tough year, the DAO has been stolen 3.6 million ETH, equivalent of $70 million at that time, due to improper contract design. As a result, more and more automatic verification tool for smart contract come out to prevent potentially huge financial loss.

Today, we will be looking at how formal verification tools work on smart contract, how can we use mathematical proof to ensure the quality of program.

Homemade scientific clusters

As a great glue language, Python could (definitely) orchestrate many modern and powerful tools to build a scientific cluster. This talk will illustrate one of the real world examples, which is a cluster built and running on top of LXD/LXC/KVM/MaaS/public clouds so you may thus be a amateur CFD (computational fluid dynamics) or physics researcher.