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

Work on Blockchainis a global hiring platform for technical professionals aimed at the blockchain, DLT & cryptocurrency space, and has been actively building a blockchain developer community since Jan 2017. Check out the website and sign up today onwww.workonblockchain.com

workonblockchain.com

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 <A HREF="https://workonblockchain.com/" TARGET="_blank" DATA-MSYS-CLICKTRACK="0" REL="nofollow noopener noreferrer">workonblockchain.com</A> (a global hiring platform for techies to service to the blockchain industry due to go live in September) and <A HREF="https://twitter.com/VOLT_Project" TARGET="_blank" DATA-MSYS-CLICKTRACK="0" REL="nofollow noopener noreferrer">VOLT Project</A> (a blockchain related research project around voting and collective decision making from King's College London and University of Surrey)<A HREF="https://www.kclblockchain.com/" TARGET="_blank" DATA-MSYS-CLICKTRACK="0" REL="nofollow noopener noreferrer"> </A>
TITLE: Technical deep dive developer workshop &amp; 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 &amp; 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 &amp; 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 &amp; formal verification. He obtained his PhD in formal methods at KU Leuven (Belgium) &amp; 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 &amp; 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: <A HREF="https://workonblockchain.com/" TARGET="_blank" DATA-MSYS-CLICKTRACK="0" REL="nofollow noopener noreferrer">https://workonblockchain.com/</A>
Follow us on:
LinkedIn: <A HREF="https://www.linkedin.com/company/work-on-blockchain/" TARGET="_blank" DATA-MSYS-CLICKTRACK="0" REL="nofollow noopener noreferrer">https://www.linkedin.com/company/work-on-blockchain/</A>
Twitter: <A HREF="https://twitter.com/work_blockchain" TARGET="_blank" DATA-MSYS-CLICKTRACK="0" REL="nofollow noopener noreferrer">@work_blockchain</A>
 
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 <A HREF="http://www.volt-project.org/" TARGET="_self" DATA-MSYS-CLICKTRACK="0" REL="nofollow noopener noreferrer">http://www.volt-project.org/</A> Follow on Twitter <A HREF="https://twitter.com/VOLT_Project" TARGET="_self" DATA-MSYS-CLICKTRACK="0" REL="nofollow noopener noreferrer">@VOLT_Project</A>
 
Stay up to date on all our future events:
Click <A HREF="https://www.eventbrite.com/o/the-blockchain-connector-12888307012" TARGET="_blank" REL="noopener noreferrer">HERE</A> 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 <A HREF="https://www.meetup.com/Blockchain-Workshop-for-Developers/" TARGET="_blank" DATA-MSYS-CLICKTRACK="0" REL="nofollow noopener noreferrer">https://www.meetup.com/Blockchain-Workshop-for-Developers/</A>

Room K2.40

Our {communityGuidelinesLink} describe the sort of content we prohibit on Eventbrite. If you suspect an event may be in violation, you can report it to us so we can investigate.

To report other categories of prohibited or illegal content, submit {link}

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

More events from workonblockchain.com

Discover more events from workonblockchain.com, from Science & Tech to other experiences you might love.

Still looking for the right event?

Explore all events in London and filter by date, category, and more to find the perfect fit.

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

More events from workonblockchain.com

Discover more events from workonblockchain.com, from Science & Tech to other experiences you might love.

More Science & Tech events

Browse more Science & Tech events with different dates, prices, and formats to find your next great experience.

Still looking for the right event?

Explore all events in London and filter by date, category, and more to find the perfect fit.