跳到主要內容

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

We are looking for talks in several open-source related areas, please submit your proposal before May 11th, 2020. After the review process from the coordinators, we will publish the full programme in early June.一如往常,在今年的 COSCUP 我們徵求各式各樣不同的 Open Source 相關稿件。請於 5 月 11 日前投稿,或可參考本頁下方各議程軌資訊。Submit your proposalImportant DatesSubmission deadline: May 11th, 2020 (截稿時間)Full programme published: Early June (預定公佈時間)COSCUP 2020: Aug 1-2 (with welcome party at July 31st night), at National Taiwan University of Science and TechnologyTracksQMK Keyboarder / 鍵人谷Open Source ChatbotLet's Read the Source Code / 帶您讀源碼MySQL Open Space / 開放 MySQL 開放空間Cloud Native HubBSDArch Linux & ArchersEnter the FLOSS World / 開源新手村Open Source AI: Human-like & Trustworthy AI / AI 開源:更有智慧與可信賴的 AIEffective GoJulia LanguageMyDataCOSCUP StartupsCOSCUP EnterprisesOpen Source DesignOpen Source EducationPostgreSQLRubyEverything in RustBlockchain and Distributed LedgerOpenStreetMap x WikidataEmbedded Linux / 嵌入式 Linu…

COSCUP 2020 Call for Participation -- now open! 議程軌與攤位即日起開放申請

Photo by Jaime Lopes on UnsplashLadies and gentlemen, time to apply for a COSCUP 2020 community track/booth! 快速跳到中文版TracksCommunity Tracks are assigned to self-organizing groups to work, share, and discuss issues around an open-source-related topic. The application should be submitted before March 30th.You can decide the content and format in your Track.You can decide the duration of each section and the whole schedule in your Track.Key datesMarch 30th: Deadline for Track applicationsApril 10th: Track coordinators provide information of Call for ProposalApril 13 April 20th: Call for Proposal starts (Update: We've postponed the CfP start date to April 20th.)May 11th: Deadline for Call for ProposalLate-May: Track coordinators provide the complete scheduleEarly June: Full schedule published on COSCUP.org (TBC)August 1-2 at Taipei: COSCUP 2020Application rulesScheduleWe do not plan for rooms to be empty during the event. By applying for a Track you are making a commitment to fill th…

來去上海、來去東京!COSCon 與 OSC Tokyo「COSCUP 特別軌」徵稿開始!

嗨,各位關心開源、熱愛分享的夥伴大家今天過得好嗎?今年六月的時候,我們出訪香港開源年會,廣受好評,接下來將帶大家前往上海舉辦的中國開源年會(COSCon)及東京的 OSC 2019 Tokyo/Fall 啦! 給忙碌的你: 往上海的傳送門往東京的傳送門 COSCon COSCon 由開源社為了推廣開放源碼而舉辦,相信大家在今年 COSCUP 有看到許多開源社夥伴的活躍表現,十一月就換我們過去作客啦!我們將在 COSCon 有半天的議程軌作為「COSCUP 特別軌」,重要的資訊如下: 徵稿期間:即日起~9/30 止徵稿對象:能夠以大會接受之語言(漢語、英語)演講、願意配合 COSCUP / COScon 對此專案相關宣傳及訪問者徵稿內容:各式 Open Source 軟體(以 FSF / OSI Licenses 釋出)相關議題皆可投稿結果公佈:暫定 10 月中旬 於 COSCon 網站及 COSCUP Blog 公布COSCon 大會期間: 11/02 ~ 11/03 於 上海普陀區 華東師範大學(中北校區) OSC Tokyo OSC Tokyo 是什麼?就也當成是日本版的 COSCUP 吧 XD (怎麼想來想去形容詞都是這句…) OSC 的主辦單位 OSPN 每年在日本各地辦近 20 場集結開源人的聚會,而我們將直接前往規模較大、一年還辦兩次的東京場交流!一整軌的「COSCUP 特別軌」將讓讓大家見識一下台灣開源人的厲害,重要的資訊如下: 徵稿期間:即日起~9/30 止徵稿對象:能夠以大會接受之語言(日語、英語)演講、願意配合 COSCUP / OSC Tokyo 對此專案相關宣傳及訪問者徵稿內容:各式 Open Source 軟體(以 FSF / OSI Licenses 釋出)相關議題皆可投稿結果公佈:暫定 10 月中旬 於 OSC Tokyo 網站及 COSCUP Blog 公布OSC Tokyo 大會期間: 11/23 ~ 11/24 於 日本東京日野市 明星大學 可能已經有人心中堆滿疑問:看起來很有趣但要怎麼參加?去國外參加 Conf 好像很貴… 別擔心,COSCUP 籌備特別軌自然是有照顧到這些問題。如同六月的香港出征,我們有完整的補助計劃,相關辦法都列在下面的文件了,心動不如馬上行動,十一月讓我們前進上海與東京吧! 上海 徵稿表單旅費補助辦法東京