Scilla-Foundations of Verifiable Decentralised Computations on a Blockchain

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 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 <A HREF="https://www.theblockchainconnector.com/" TARGET="_blank" DATA-MSYS-CLICKTRACK="0" REL="nofollow noopener noreferrer">The Blockchain Connector</A>, <A HREF="https://workonblockchain.com/" TARGET="_blank" DATA-MSYS-CLICKTRACK="0" REL="nofollow noopener noreferrer">workonblockchain.com</A> and <A HREF="https://twitter.com/VOLT_Project" TARGET="_blank" DATA-MSYS-CLICKTRACK="0" REL="nofollow noopener noreferrer">VOLT Project.</A><A HREF="https://www.kclblockchain.com/" TARGET="_blank" DATA-MSYS-CLICKTRACK="0" REL="nofollow noopener noreferrer"> </A>
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: <A HREF="https://www.linkedin.com/in/ilyasergey/" TARGET="_blank" DATA-MSYS-CLICKTRACK="0" REL="nofollow noopener noreferrer">Ilya Sergey</A>
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: <A HREF="http://www0.cs.ucl.ac.uk/staff/M.AlBassam/" TARGET="_blank" DATA-MSYS-CLICKTRACK="0" REL="nofollow noopener noreferrer">Mustafa Al-Bassam</A> 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: <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>
 
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 <A HREF="mailto:antonio@theblockchainconnector.com" TARGET="_blank" REL="nofollow noopener noreferrer">antonio@theblockchainconnector.com</A>. Click <A HREF="https://www.eventbrite.com/o/the-blockchain-connector-12888307012" TARGET="_blank" REL="noopener noreferrer">HERE</A> to join our next workshop. 
Follow us on
LinkedIn:
<A HREF="https://www.linkedin.com/company/the-blockchain-connector/" TARGET="_blank" DATA-MSYS-CLICKTRACK="0" REL="nofollow noopener noreferrer">https://www.linkedin.com/company/the-blockchain-connector/</A>
Twitter:
<A HREF="https://twitter.com/thebc_connector" TARGET="_blank" DATA-MSYS-CLICKTRACK="0" REL="nofollow noopener noreferrer">@thebc_connector </A>and <A HREF="https://twitter.com/bc_workshop" TARGET="_blank" DATA-MSYS-CLICKTRACK="0" REL="nofollow noopener noreferrer">@bc_workshop</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 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 <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 K6.29 (Anatomy Lecture Theatre)

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}

Scilla-Foundations of Verifiable Decentralised Computations on a Blockchain

More events from workonblockchain.com

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

Scilla-Foundations of Verifiable Decentralised Computations on a Blockchain

More events from workonblockchain.com

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

You might also like...

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