Difference between revisions of "Session:Statebox - compositional smart contracts through category theory"

From 34C3_Wiki
Jump to: navigation, search
(Created page with "{{Session |Has session tag=blockchain, category theory, petri nets, supply chains, functional programming, graphical programming, compositionality, formal verification, depend...")
 
m (fixed date)
 
Line 11: Line 11:
 
}}
 
}}
 
{{Event
 
{{Event
|Has start time=2017/12/2x 21:00
+
|Has start time=2017/12/29 21:00
 
|Has duration=20
 
|Has duration=20
 
|Has session location=Room:Chaos West Stage
 
|Has session location=Room:Chaos West Stage

Latest revision as of 17:34, 29 December 2017

Description A short presentation on a new approach to writing programs inspired by graphical calculi developed for quantum protocols (amongst others).
Website(s) statebox.org
Type Talk
Kids session No
Keyword(s) political, hardware, software
Tags blockchain, category theory, petri nets, supply chains, functional programming, graphical programming, compositionality, formal verification, dependent types
Processing assembly Assembly:Chaos West
Person organizing
Language en - English
en - English
Other sessions...

refresh

Starts at 2017/12/29 21:00
Ends at 2017/12/29 21:20
Duration 20 minutes
Location Room:Chaos West Stage

TBD