跳到主要內容

HKOSCon 2019「COSCUP 特別軌」議程出爐

感謝大家對於 COSCUP 首次跨研討會合作如此支持,日前「HKOSCon 2019 『COSCUP 特別軌』」收到了不少稿件,經過與 HKOSCon 團隊討論後,我們選出了數個題目出征,所有講題都會以英文發表。

「COSCUP 特別軌」將於 HKOSCon 的第二天,也就是 2019/06/15 舉辦,相關票券事宜請緊盯 HKOSCon 官網。以下所有時間順序在大會前或有變動,以 HKOSCon 網站公佈為準。

以下是本次入選的講題、講者及內容:


10:00-10:30 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.


10:40-11:10 DApp Game - Blockchain random number generation method and implementation

(Huang Shih Chin(Xixi))

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.

This topic will introduce the DApp Gaming random number generation method on the market and analyze its advantages and disadvantages. And lead the audience together to implement the simple "solidity" version.


11:20-11:50 Decentralized data marketplace based on Distributed Ledgers

(林京樺 (Jing-Hua Lin), 陳冠廷 (Kuan-Ting Chen))

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.


12:10-12:40 (A Talk about OSS Communities in Taiwan)

We will have a short talk about the OSS communities in Taiwan. This talk will be presented by COSCUP staff and the topic and speaker is still TBC.


12:50-13:20 A muggle promote Open Source pathways. Take COSCUP sponsorship team for example.

(Ying-Hsin Hsu)

The normal people who doesn't coding could promote Open Source projects or campaigns. We can do my best. People will know what is Open Source and its spirit by the public relation plan. Companies will know how to use Open Source upgrading their software by sponsor Open Source campaigns.


14:20-14:50 Plant Identification System with AI + AR

(Denken Chen, Wang Fumin, Nandalu)

A smart flower atlas, built on open source image recognition systems, powered by advanced Artificial Intelligence (AI) and Augmented Reality (AR) technologies.

We’ve done real-time identification mobile apps on iOS and Android, without ever taking a picture. We continue to collaborate with specialists to improve the system.

This project won 2018 g0v Civic Tech Grant. Landing page: https://plant-tw.github.io


15:00-15:30 Status-quo of TensorFlow Lite on

(Koan-Sin Tan)

AI, or more precisely neural network-based machine learning, is getting popular on edge devices. In this talk I'll review TensorFlow Lite + Android NN, the most popular open source NN frameworks on Android, and share my experience of using some recently new features of TFLite, such as TFLite GPU delegate.


15:40-16:10 Build a minimal DBMS from scratch by Rust

(Liu, An-Chi)

I will introduce to Rust, including the principles, the traits, and the current state of the Rust community. After that, I am going to talk about how to build a minimal DBMS from scratch - the StellarSQL project. In this talk, the following is covered. What is a DBMS? What is the architecture of the DBMS? What is the progress in developing the project? What are the existed resources in the community that I use for the developing? The speech would manifest that developing a small DBMS is fascinating and Rust is cool and powerful.


16:30-17:00 Decentralized Bare-Metal Operating System Provisioning

(Yu-Chiang Huang 黃宇強)

The EZIO Project proposes a reasonably efficient P2P soultion to deploy bare-metal operating system based on open source software technologies, such as libtorrent-rasterbar and CloneZilla. In this talk, we will discuss the difficult situation of bare-metal deployment in HPC or Cloud, and the performance, reliability and flexibility improvements on existing technologies, such as CloneZilla Multicast Mode.

EZIO has integrated in CloneZilla to provide 1-to-many bare-metal system provisioning on-the-fly, and tested successfully in HPC.


17:10-17:40 Homemade scientific clusters

(Taihsiang Ho)

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.






留言

這個網誌中的熱門文章

COSCUP 2025 Call for Proposals / 徵稿辦法

COSCUP 一如往常,接受任何與開放文化與開源技術相關的演講提案。請於 05 月 10 日(AoE) 前投稿,徵稿主題可參考下方列表。 As always, COSCUP welcomes any talk proposals related to open culture and open source technologies. Please submit your proposal by May 10 (AoE). You may refer to the topic list below for inspiration. 開始投稿 Submit Your Proposal 提案須知 Things you may need to know 演講形式:預設為現場30分鐘演講包含QA,若有其他需求可於提案系統註明,由各主題主辦單位決定如何安排。 Talk Format : The default format is a 30-minute on-site talk, including Q&A. If you have other requirements, please indicate them while submitting your proposal. The final arrangement will be decided independently by the organizers of each topic. 語言:COSCUP 受眾包含海內外與會者,大會不限制發表語言但鼓勵以英語發表。大會將公布雙語議程表,請提供中英文版議程介紹。 Language : There are no restrictions on the language of presentation,   講者須知:一旦提案獲錄取並確認,提案者即同意遵守相關 講者約定 。 Speaker Agreement : Once a proposal is accepted and confirmed, the speaker agrees to abide by the speaker agreements . 早鳥徵稿參與者:您先前...

COSCUP 2025 Call for Participation, 議程軌與攤位即日起開放申請

Jump to English   COSCUP 2025的社群議程/攤位即日起開始接受申請,社群議程於3月22日截止申請,社群攤位於6月10號截止。請有興趣在今年與我們共襄盛舉的社群把握機會! 👉  申請加入 以下介紹如何在 COSCUP 籌辦議程軌或攤位的流程及注意事項。

Early Guide to Joining COSCUP 2025 

(Updated: Feb 13) Many people in the community are excited to find out how to participate in COSCUP 2025. We’ll share more updates soon, but here’s what we can share so far! You can join as a speaker, host a booth, organize a track, or become a sponsor. If you’re new to COSCUP, take a look at the article " COSCUP Unveiled " to learn more. Date and Location The event will take place at NTUST in Taipei, Taiwan, on a weekend in late July to early August, as usual. The planned dates for this year are August 9-10. Be a Speaker Our early bird Call for Proposals (CfP) is now opened!  If you have a presentation about open culture or open-source technology, we want to hear from you. Submitting early means you’ll hear back sooner about your proposal. Host a Booth Open-source communities can set up booths to display their work and interact with attendees. This is a great way to share your community’s projects and connect with others. Businesses that support open-source can also host a ...