Please note: this is a technical deep dive session strictly for software engineers, software architects, DevOps, CTO’s, technical product managers and computer science/software engineering students only. We will therefore review all registrations and we will send you an email to confirm your seat. We require each attendee to register on Eventbrite to attend this event. Please complete the registration form provided. Security at the venue will not allow entry to anyone without a valid ticket. Registration will be required upon arrival. This is a private event and we have the right to refuse entry. As always, our developer deep dive event is popular and advised you to secure your ticket early.

This event is organized by The Blockchain Connector, workonblockchain.com and VOLT Project.

TITLE: Scilla: Foundations of Verifiable Decentralised Computations on a Blockchain

ABSTRACT:

In this talk, Ilya will outline the key design principles of Scilla, an intermediate-level language for verified smart contracts on a blockchain.

Scilla provides a clean separation between the communication aspect of smart contracts, allowing for the rich interaction patterns, and a programming component, which enjoys principled semantics and is amenable to formal reasoning. Ilya will describe the automata-based model of Scilla, present its programming component, and show how contract definitions in terms of automata streamline the process of mechanised verification of their safety and temporal properties.

KEYWORDS: Smart Contracts, Programming Language Design, Distributed Applications, Verification

SPEAKER: Ilya Sergey

SHORT BIO:

Dr Ilya Sergey does research in the area of programming languages, program analysis, and formal verification. In recent years, Ilya has mainly been concerned with developing scalable methods for building trustworthy concurrent and distributed software, but his earlier work was advancing the state of the art in static analysis for higher-order languages and programming language design. Prior to joining academia, Ilya has spent a part of his career in industry, working in JetBrains Inc., a world-leading company in creating integrated developement environments for software developers. He obtained his PhD in formal methods at KU Leuven (Belgium), and held a postdoctoral position at IMDEA Software Institute (Spain), before taking his current position as a Lecturer at University College London.

Location:

Room K6.29 (Anatomy Lecture Theatre), King's College London, Strand, London, WC2R 2LS

Please enter from the main Strand entrance. You are required by security at reception to sign in and collect your visitors badge.

Date: 24th of May, 2018

Schedule:

18:00 – 18:40 Registration & Networking. Please arrive no earlier than 18:30. Registration is required at reception from the main Strand entrance.

18:45 - 19:00 Intro from The Blockchain Connector, workonblockchain.com & VOLT Project

19:00 - 10:15 Intro from two promising blockchain start ups based in London

19:15 - 20:15 Main presentation by Ilya Sergey

20:15 - 21:00 Q&A session led by Mustafa Al-Bassam

21:00 Networking at a nearby pub.

Bio: Mustafa Al-Bassam is a PhD researcher at the Information Security Research Group of the Department of Computer Science at University College London, where his research interests include the intersections of peer-to-peer systems, distributed ledgers and information security. He is also an advisor to Cognosec, an information security services company.

EVENT ORGANIZER

Work on Blockchain, The Blockchain Connector 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 coming soon. 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

The Blockchain Connector is a training company focusing entirely on blockchain technology. We have been running a monthly blockchain developer hands-on workshop since Jan 2017 in London. We are now in the process of planning a series of blockchain developer and also business focus workshop for non-technical users across Europe and beyond. Please inquire if you would like us to bring our workshop near you by emailing antonio@theblockchainconnector.com. Click HERE to join our next workshop.

Follow us on

LinkedIn:

https://www.linkedin.com/company/the-blockchain-connector/

Twitter:

@thebc_connector and @bc_workshop

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 technical deep dive sessions on blockchain for software engineers. We have on average 150+ software engineers attend on a regular basis. Join our developer meetup group held monthly in London. This meetup group is strictly for software engineers, software architects, DevOps, technical leads, CTO’s, researchers and computer science/software engineering students. Technical talk aimed at a technical audience only. Join us on https://www.meetup.com/Blockchain-Workshop-for-Developers/