跳到主要內容

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 2019 CfP is now open, submit your proposal before May 6th, 2019.

We are looking for talks in several open-source related areas, please submit your proposal before May 6th, 2019. After the review process from the coordinators, we will publish the full programme in early June.一如往常,在今年的 COSCUP 我們徵求各式各樣不同的 Open Source 相關稿件。請於 5 月 6 日前投稿,或可參考本頁下方各議程軌資訊。Submit your proposalImportant DatesSubmission deadline: May 6th, 2019 (截稿時間)Full programme published: Early June (預定公佈時間)COSCUP 2019: Aug 17-18 (with welcome party at 16th night), at National Taiwan University of Science and TechnologyPartner conferences / 合作研討會特別軌We are gladly welcome HKOSCon (Hong Kong Open Source Conference,) COSCon (China Open Source Conf,) and OSPN OSC (オープンソースカンファレンス) join us with a special track. Please check their CfP form for more information about the track.今年 COSCUP 與 OpenSource HK 的「HKOSCon」、開源社的「COSCon」及 OSPN 的「OSC」合作推出特別軌,以期邀請各地的開源愛好者前來與大家一會。其各自的徵稿資訊,請參考下方連結。opensource.hk "HKOSCon" Special Track開源社 "COSCon" Special TrackOSPN "オープンソースカンファレンス" Spe…

2016 Unconference 議程公告!

嗨、各位親朋好友們
今年的 Unconference 名單出爐啦! 由於每一個 Talk 都相當精彩,因此我們想了辦法讓所有投稿的人都有舞台可以分享。 Unconference 演講場地為中研院活動中心的平面會議室。 對於其中的講題有興趣的朋友們請不要錯過囉 :-D
8/21 Unconference 活動中心的平面會議室時間 講題 講者 10:45
|
11:05 用開放原始碼技術翻轉傳統產業IT架構 Derek Hsu11:10
|
11:30 會自動飛行的"神奇寶貝"and飛行技巧 gavin 11:45
|
12:05 ProbeDroid: Crafting Your Own Dynamic Instrument Tool on Android for App Behavior Exploration | 沈宗賢 (AndyShen)12:10
|
12:30 蒙地卡羅模擬與志願運算 趙元13:30
|
13:50 Runtime PM for CPU idling in Linux kernelfreedom Koan-Sin Tan 13:55
|
14:15 Fuzzing and Mozilla GARY KWONG gkw14:30
|
14:50 無良房東一度電收你 5.5 元,你難道不生氣嗎?——從自幹智慧電表講起 Felix and Timo14:55
|
15:15 COSCUP + AppDevKit Jeff Lin C 備註:議程時間可能會調動。

COSCUP 2019 開源貢獻者保留票申請 / Open Source Contributors (OSC) Tickets Application

開源貢獻者資格 由 2018/5/12 到現在,實際針對開源專案提供開發、推廣、或其他有助專案進展之貢獻者,提出貢獻相關證明即可報名。
開源專案意指專案成果以 FSFOSI 認同之公眾授權條款釋出者 所提出之貢獻,必須可以經由公開途徑查證(例如提供 GitHub、Google Code、SourceForge 等公開專案平台上的討論紀錄、網址、commit log、信件文本、公開釋出之演講投影片紀錄等。) 海外參與者 你身在海外,雖想回台參與 COSCUP,但並非貢獻者又害怕搶不到票嗎?COSCUP 歡迎所有的海外人士前來參加!只要你居住在海外、承諾與會,並願意於 SNS 或個人 blog 公佈自己即將與會之訊息,即使非貢獻者或講者,也將優先獲得我們的 VIP 邀請。請在報名表上註明您的出發地,我們將再與您聯絡。

海外參與者請於第四個 Section 告訴我們您從哪裡來,並勾選相關選項。
Key dates5/12 報名截止。5/13 ~ 5/18 審查期間。5/19 第一次審查完畢,開始補件。5/26 前補件完成。6/2 公告開源貢獻者正式名單,通過的開源貢獻者可以在 KKTIX 上報名。 申請表單 申請方法與詳細資訊:https://goo.gl/forms/x7rmsEPsooBSK46T2

Who can apply for OSC tickets? Your participation in an open source project since 2018/5/12 makes you eligible for applying for a Registration Code. The open source project and your participation must meet the following conditions:
The project source code must be released with a license approved by Free Software Foundation or Open Source InitiativeThe project must be hosted on a public repository such as GitHub, Google Code, Sour…