FREE 2-DAY deep dive developer conference, workshop &hackathon with Zilliqa

Please kindly note the following before you register: this is a hands-on developer workshop strictly for blockchain developers, software engineers interested in blockchain development and computer science/software engineering students only. We will review all registrations and select the most appropriate candidates for the event and we will email you to confirm your seat. We require each attendee to register on Eventbrite. Please complete the registration form and provide all required information. As always, our developer focused events are popular and we have limited space therefore advisable to secure your ticket early. Security at the venue will not allow entry to anyone without a valid ticket and registration will be required upon arrival. This is a private event and we have the right to refuse entry.  This event is hosted and organised by workonblockchain.com (a global hiring platform for techies to service to the blockchain industry due to go live in September) and VOLT Project (a blockchain related research project around voting and collective decision making from King's College London and University of Surrey) TITLE: Technical deep dive developer workshop & hackathon with Zilliqa led by internationally recognised  experts in the blockchain space. ABSTRACT: We are looking to connect with software engineers with a background in Formal Methods, Functional Programming, Haskell, Scala, OCaml, F#, Rust & also C++ and Golang developers who would like to join our blockchain tech-focused workshop. This event will cover an in-depth discussion on Scilla semantics, a hands-on workshop on Scilla tools, testnet and IDE Scilla and a hackathon, plus a demonstration of Coq Formal Proof for crowdfunding contracts & how Coq proofs are generated. Scilla is a smart contract language designed as a principled language with smart contract safety in mind. Scilla imposes a structure on smart contracts that will make applications less vulnerable to attacks by eliminating certain known vulnerabilities directly at the language-level. Our deep dive workshop and hackathon will be led by Dr Ilya Sergey who does research in the area of programming languages, program analysis & formal verification. He obtained his PhD in formal methods at KU Leuven (Belgium) & held a postdoctoral position at IMDEA Software Institute (Spain), before taking his current position as a Lecturer at University College London. Dr Amrit Kumar is a Research Fellow (aka a post-doctoral researcher) at the National University of Singapore. He holds a PhD from Université Grenoble-Alpes, France and was hosted at Inria's Grenoble center. Prior to his PhD, he obtained an Engineer's diploma from Ecole Polytechnique, France, where he studied Computer Science and Mathematics. His research interests broadly span across security, privacy and applied cryptography. Location: Room K4U.12, King's College London, Strand, London, WC2R 2LS    Date: Saturday 6th and Sunday 7th of October, 2018 Schedule: Day One, October 6th 10:00 - 11:00 Registration 11:00 - 12:30 Keynote Speech/Intro to Zilliqa & Scilla /Intro to the official business case-providers 12:30 - 13:30 Lunch + Lightning Round Intro 13:30 - 14:30 Idea pitching and group forming for the hackathon (1 min per pitch per person) 14:30 - 15:30 Scilla Semantics and In-depth 16:00 - 16:30 Demo/Workshop on Scilla Tools/Testnet/IDE Scilla 16:30 - 18:00 Demonstration of Coq Formal Proof for Crowdfunding contact and how Coq proofs are generated   Day Two, October 7th 08:00 - 08:15 Registration 08:15 - 09:00 Breakfast. Group discussion and administration 09:00 - 17:00 Hackathon (8 hours) 12:00 – 13:00 Lunch 17:00 - 18:30 Presentation to Judges 18:30 - 19:00 Award Ceremony Location: King's College London, Room K2.40, Strand, London, WC2R 2LS EVENT ORGANIZER Work on Blockchain and VOLT Project workonblockchain.com is a hiring platform for software engineers looking to work on blockchain. It’s the simplest way for software engineers to be hired by companies in the blockchain space. You simply create your own profile and wait for companies to apply to you. The platform is for blockchain engineers and for software engineers without the blockchain development experience who are passionate about entering this space for the first time. Platform going live in Sept. Software engineers and hiring companies can sign-up here for further updates: https://workonblockchain.com/ Follow us on: LinkedIn: https://www.linkedin.com/company/work-on-blockchain/ Twitter: @work_blockchain Voting over Ledger Technology (The VOLT Project) This project aims to explore applications of distributed ledger technologies (DLT) in domains involving voting and collective decision making. There are many domains in which some form of balloting is required, such as voting on proposals or electing in charities, professional organisations, clubs, trades unions, political parties, and private companies. It is important to run such ballots in a way that the result is accepted by all parties even where they do not trust each other. More info available by visiting the following website http://www.volt-project.org/Follow on Twitter @VOLT_Project Stay up to date on all our future events: Click HERE to view all our up and coming blockchain related events on our Eventbrite homepage. We are the go to place for all blockchain technical deep dive sessions geared towards software engineers. We have on average 100+ software engineers attend on a regular basis. Join our developer meetup group held monthly in London. This meetup group is strictly for blockchain developers, software engineers, software architects, DevOps, technical leads, CTO’s, data scientist, researchers and computer science/software engineering students. Technical talk aimed at a strictly technical audience. Join us on https://www.meetup.com/Blockchain-Workshop-for-Developers/