Talks

algorand, asset, bitcoin, blockchain, blockchain technology, chainlink, communication, cryptocurrency, dapps, defi, eos, ethereum, haskell, interoperability, iohk, mind, money, proof of stake, risk, smart contracts, software development, stock, system, tezos, communication protocol, digital signature, dropbox (service), elijah, financial transaction, optics, option (finance), proof of work, public-key cryptography, receipt, security guard, signature, wallet, gold coin, charles hoskinson, cardano, vechain, bitcoin protocol, ada, ada coin, blockchain protocol, c-fund, goguen, haskell coding, hoskinson, input output, multi-asset, native assets, ouroboros, shelley, voltaire, wen, chain of trust

algorand, algorithm, bitcoin, blockchain, blockchain technology, chainlink, computer security, cryptocurrency, cryptography , dapps, defi, eos, ethereum, haskell, implementation, iohk, mathematics, mind, proof of stake, reason, science, smart contract, smart contracts, software development, solidity, system, tezos, control flow, for loop, formal verification, function (mathematics), inequality (mathematics), input/output, mathematical proof, modal logic, number, proof of work, randomness, reliability engineering, specification (technical standard), charles hoskinson, cardano, vechain, bitcoin protocol, ada, ada coin, blockchain protocol, c-fund, erc-20, goguen, haskell coding, hoskinson, input output, multi-asset, native assets, ouroboros, shelley, voltaire, wen, evidence-based design

algorand, archive, bitcoin, blockchain, blockchain technology, chainlink, cryptocurrency, cryptography , dapps, decentralization, defi, design, ebay, eos, ethereum, haskell, internet, iohk, library, nothing, personal data, privacy, proof of stake, science, smart contract, smart contracts, software development, software testing, solidity, system, tezos, amazon (company), auction, communication protocol, consensus (computer science), inception, proof of work, secure multi-party computation, specification (technical standard), zero-knowledge proof, charles hoskinson, cardano, vechain, bitcoin protocol, ada, ada coin, blockchain protocol, c-fund, erc-20, goguen, haskell coding, hoskinson, input output, multi-asset, native assets, ouroboros, shelley, voltaire, wen

algorand, bitcoin, blockchain, blockchain technology, chainlink, computer, cryptocurrency, dapps, defi, eos, ethereum, haskell, iohk, proof of stake, smart contracts, software development, solidity, tezos, 64-bit computing, arithmetic, array data structure, cache (computing), communication protocol, cryptographic hash function, data compression, digital signature, domain name system, function (mathematics), hash function, key (cryptography), logarithm, proof of work, recursion (computer science), screw, signal, verification and validation, zero-knowledge proof, charles hoskinson, collision resistance, cardano, vechain, bitcoin protocol, ada, ada coin, blockchain protocol, c-fund, erc-20, goguen, haskell coding, hoskinson, input output, multi-asset, native assets, ouroboros, shelley, voltaire, wen

algorand, automation, bitcoin, blockchain, blockchain technology, chainlink, cryptocurrency, dapps, defi, eos, ethereum, functional programming, haskell, iohk, javascript, mathematics, programmer, programming language, proof of stake, simulation, smart contract, smart contracts, software development, system, tezos, determinism, domain-specific language, eval, formal verification, lambda calculus, lexical analysis, linearizability, logic, payment, proof of work, world wide web, charles hoskinson, cardano, vechain, bitcoin protocol, ada, ada coin, blockchain protocol, c-fund, goguen, haskell coding, hoskinson, input output, multi-asset, native assets, ouroboros, shelley, voltaire, wen, plutus, marlowe, system f, natural deduction

algorand, blockchain, blockchain technology, chainlink, cryptocurrency, dapps, defi, eos, ethereum, haskell, iohk, proof of stake, smart contracts, software development, solidity, tezos, proof of work, charles hoskinson, cardano, vechain, bitcoin protocol, ada, ada coin, blockchain protocol, c-fund, erc-20, goguen, haskell coding, hoskinson, input output, multi-asset, native assets, ouroboros, shelley, voltaire, wen

algorand, blockchain, blockchain technology, chainlink, cryptocurrency, dapps, defi, eos, ethereum, haskell, iohk, proof of stake, smart contracts, software development, solidity, tezos, proof of work, charles hoskinson, cardano, vechain, bitcoin protocol, ada, ada coin, blockchain protocol, c-fund, erc-20, goguen, haskell coding, hoskinson, input output, multi-asset, native assets, ouroboros, shelley, voltaire, wen

algorand, blockchain, blockchain technology, cash, chainlink, cryptocurrency, dapps, debt, defi, eos, ethereum, finance, haskell, iohk, money, proof of stake, quantitative easing, smart contracts, software development, solidity, tezos, bank, bretton woods system, capital market, central bank, digital currency, fiat money, financial capital, financial market, fractional-reserve banking, government debt, inflation, legal tender, market liquidity, money supply, negotiable instrument, proof of work, money market, common law, charles hoskinson, cardano, vechain, bitcoin protocol, ada, ada coin, blockchain protocol, c-fund, erc-20, goguen, haskell coding, hoskinson, input output, multi-asset, native assets, ouroboros, shelley, voltaire, wen

adoption, algorand, blockchain, blockchain technology, chainlink, citizenship, cryptocurrency, dapps, defi, eos, ethereum, haskell, innovation, iohk, justice, leadership, learning, news, online community, open-source software, project management, proof of stake, reason, research, smart contracts, social media, software development, solidity, team, tezos, venture capital, community of practice, consumption (economics), decision-making, internet forum, proof of work, self, venture capital financing, video game, world of warcraft, cortana (halo), charles hoskinson, cardano, vechain, bitcoin protocol, ada, ada coin, blockchain protocol, c-fund, erc-20, goguen, haskell coding, hoskinson, input output, multi-asset, native assets, ouroboros, shelley, voltaire, wen

algorand, bitcoin, blockchain, blockchain technology, bluetooth, chainlink, cryptocurrency, cryptography , dapps, decentralization, defi, eos, ethereum, haskell, iohk, leadership, news, privacy, proof of stake, quality assurance, simulation, smart contract, smart contracts, software development, tezos, youtube, bitcoin network, coin flipping, consensus (computer science), cryptographic hash function, efficient energy use, immutable object, incentive, mathematical optimization, mining pool, network time protocol, proof of work, randomness, router (computing), charles hoskinson, cardano, vechain, bitcoin protocol, ada, ada coin, blockchain protocol, c-fund, goguen, haskell coding, hoskinson, input output, multi-asset, native assets, ouroboros, shelley, voltaire, wen, ouroborous

algorand, blockchain, blockchain technology, chainlink, cryptocurrency, dapps, defi, eos, ethereum, governance, haskell, internet, internet of things, iohk, language, proof of stake, reason, smart contracts, software development, tezos, voting, electoral system, formal methods, game theory, internet forum, interpreter (computing), kernel (operating system), linguistics, logic, mathematical proof, proof of work, scientific method, theory, instant-runoff voting, charles hoskinson, cardano, vechain, two-round system, bitcoin protocol, liquid democracy, ada, ada coin, blockchain protocol, c-fund, goguen, haskell coding, hoskinson, input output, multi-asset, native assets, ouroboros, shelley, voltaire, wen, sybil attack, ranked voting, tactical voting

algorand, blockchain, blockchain technology, chainlink, computer, continuous integration, cryptocurrency, dapps, defi, eos, ethereum, haskell, iohk, physics, proof of stake, property, reason, simulation, smart contracts, software , software development, system, tezos, attention, client (computing), concurrency (computer science), consensus (computer science), determinism, fee, formal methods, mathematical proof, metaphor, number, proof of work, race condition, server (computing), specification (technical standard), truth, charles hoskinson, cardano, vechain, double standard, bitcoin protocol, ada, ada coin, blockchain protocol, c-fund, goguen, haskell coding, hoskinson, input output, multi-asset, native assets, ouroboros, shelley, voltaire, wen

algorand, bitcoin, blockchain, blockchain technology, chainlink, communication, cryptocurrency, cryptography , culture, dapps, defi, design, eos, ethereum, haskell, innovation, iohk, java (programming language), language, machine, privacy, proof of stake, reddit, science, smart contract, smart contracts, software , software development, startup company, tezos, back to the future, communication protocol, crowdfunding, finite-state machine, input/output, logic, mobile phone, mockup, proof of work, scientific method, charles hoskinson, cardano, vechain, bitcoin protocol, ada, ada coin, blockchain protocol, c-fund, goguen, haskell coding, hoskinson, input output, multi-asset, native assets, ouroboros, shelley, voltaire, wen

algorand, automation, blockchain, blockchain technology, chainlink, credit, cryptocurrency, dapps, defi, eos, ethereum, finance, haskell, interest, investor, iohk, machine, money, proof of stake, simulation, smart contract, smart contracts, software development, system, tezos, volume, bit, bond (finance), counterexample, credit risk, derivative (finance), domain-specific language, finite-state machine, function (mathematics), futures contract, interest rate, option (finance), payment, proof of work, regulatory compliance, variable (computer science), charles hoskinson, cardano, vechain, bitcoin protocol, ada, ada coin, blockchain protocol, c-fund, goguen, haskell coding, hoskinson, input output, multi-asset, native assets, ouroboros, shelley, voltaire, wen, byron

algorand, asia, blockchain, blockchain technology, central processing unit, chainlink, coffee, cost, cryptocurrency, dapps, data, defi, eos, ethereum, haskell, indonesia, iohk, proof of stake, smart contracts, software , software development, southeast asia, supply chain, tezos, united states, arm architecture, auction, bali, coca-cola, coffee roasting, coffeehouse, export, ice cream, invoice, proof of work, qr code, traceability, transparency (behavior), charles hoskinson, economics of coffee, cardano, vechain, bitcoin protocol, ada, ada coin, blockchain protocol, c-fund, goguen, haskell coding, hoskinson, input output, multi-asset, native assets, ouroboros, shelley, voltaire, wen, byron, coffee production in indonesia, nagaland

algorand, blockchain, blockchain technology, cash, chainlink, cryptocurrency, dapps, database, defi, eos, ethereum, financial technology, haskell, iohk, money, money laundering, personal data, privacy, proof of stake, property, smart contracts, social media, software development, tezos, apple inc., central bank, de facto, digital currency, digital rights management, financial system, fourth amendment to the united states constitution, general data protection regulation, information privacy, market liquidity, patriot act, proof of work, right to privacy, charles hoskinson, swiss franc, cardano, vechain, swiss national bank, bitcoin protocol, ada, ada coin, blockchain protocol, c-fund, goguen, haskell coding, hoskinson, input output, multi-asset, native assets, ouroboros, shelley, voltaire, wen, byron, data protection directive

algorand, blockchain, blockchain technology, business, chainlink, china, content creation, cryptocurrency, dapps, defi, entrepreneurship, eos, ethereum, governance, haskell, internet, iohk, mathematics, operating system, podcast, proof of stake, smart contracts, social media, software development, statistics, tezos, youtube, ambassador, english language, graphic design, infographic, internet forum, internet troll, mission statement, online and offline, proof of work, subtitles, transparency (behavior), word-of-mouth marketing, charles hoskinson, cardano, vechain, bitcoin protocol, ada, ada coin, blockchain protocol, c-fund, goguen, haskell coding, hoskinson, input output, multi-asset, native assets, ouroboros, shelley, voltaire, wen, byron, cardano ambassador, bulgaria national football team

algorand, blockchain, blockchain technology, chainlink, cryptocurrency, dapps, defi, eos, ethereum, haskell, iohk, proof of stake, smart contracts, software development, tezos, proof of work, charles hoskinson, cardano, vechain, bitcoin protocol, ada, ada coin, blockchain protocol, c-fund, goguen, haskell coding, hoskinson, input output, multi-asset, native assets, ouroboros, shelley, voltaire, wen, byron

algorand, blockchain, blockchain technology, chainlink, cryptocurrency, dapps, defi, eos, ethereum, haskell, iohk, privacy, proof of stake, smart contracts, software development, tezos, proof of work, charles hoskinson, cardano, vechain, bitcoin protocol, ada, ada coin, blockchain protocol, c-fund, goguen, haskell coding, hoskinson, input output, multi-asset, native assets, ouroboros, shelley, voltaire, wen, byron

algorand, bitcoin, blockchain, blockchain technology, chainlink, compiler, cryptocurrency, dapps, defi, design, eos, ethereum, haskell, information, iohk, mathematics, motivation, programming language, proof of stake, research, smart contract, smart contracts, software , software development, system, tax, tezos, attention, calculus, finite-state machine, formal verification, function (mathematics), lambda calculus, output (economics), proof of work, recursion (computer science), signature, type system, valuation (finance), recursive data type, charles hoskinson, cardano, vechain, bitcoin protocol, ada, ada coin, blockchain protocol, c-fund, goguen, haskell coding, hoskinson, input output, multi-asset, native assets, ouroboros, shelley, voltaire, wen, byron, system f

algorand, blockchain, blockchain technology, chainlink, cryptocurrency, currency, dapps, defi, dollar, eos, ethereum, haskell, honda, internet, iohk, language, law, money, programming language, proof of stake, question, reason, simulation, smart contract, smart contracts, software development, syntax, tezos, bank, complexity, contract, equation, function (mathematics), parameter (computer programming), proof of work, receipt, sequence, static program analysis, template (c++), timer, charles hoskinson, cardano, vechain, bitcoin protocol, ada, ada coin, blockchain protocol, c-fund, goguen, haskell coding, hoskinson, input output, multi-asset, native assets, ouroboros, shelley, voltaire, wen, byron, marlowe

algorand, blockchain, blockchain technology, chainlink, community, concept, cryptocurrency, dapps, defi, education, engineering, eos, ethereum, experiment, governance, haskell, innovation, iohk, mining, organization, productivity, proof of stake, reality, risk, science, simulation, smart contracts, social innovation, social network, software development, system, tezos, complexity, decision-making, fire, firefighter, nature, nikola tesla, perception, proof of work, universe, charles hoskinson, cardano, vechain, bitcoin protocol, ada, ada coin, blockchain protocol, c-fund, goguen, haskell coding, hoskinson, input output, multi-asset, native assets, ouroboros, shelley, voltaire, wen, byron

algorand, blockchain, blockchain technology, chainlink, cryptocurrency, dapps, defi, eos, ethereum, haskell, iohk, proof of stake, smart contracts, software development, tezos, proof of work, charles hoskinson, cardano, vechain, bitcoin protocol, ada, ada coin, blockchain protocol, c-fund, goguen, haskell coding, hoskinson, input output, multi-asset, native assets, ouroboros, shelley, voltaire, wen, byron

algorand, blockchain, blockchain technology, central processing unit, chainlink, communication, concept, cryptocurrency, dapps, defi, design, eos, ethereum, github, google, haskell, information, iohk, ios, language, mind, proof of stake, research, smart contracts, social media, software development, tezos, youtube, apple inc., bit, catalysis, cheese, collaborative software, communication protocol, directory (computing), distributed version control, outline (list), proof of work, specification (technical standard), charles hoskinson, cardano, vechain, bitcoin protocol, ada, ada coin, blockchain protocol, c-fund, goguen, haskell coding, hoskinson, input output, multi-asset, native assets, ouroboros, shelley, voltaire, wen, byron, cip

algorand, bitcoin, blockchain, blockchain technology, chainlink, computer, cryptocurrency, dapps, defi, eos, ethereum, functional programming, haskell, iohk, java (programming language), language, programming language, proof of stake, reason, smart contracts, software development, technology, tezos, generic programming, hope, lazy evaluation, list comprehension, logic, metaphor, proof of work, proposition, python (programming language), rust (programming language), software bug, swift (programming language), time complexity, translation, type system, type class, charles hoskinson, cardano, vechain, bitcoin protocol, ada, ada coin, blockchain protocol, c-fund, goguen, haskell coding, hoskinson, input output, multi-asset, native assets, ouroboros, shelley, voltaire, wen, byron, miranda (programming language)

algorand, bitcoin, blockchain, blockchain technology, cash, chainlink, cryptocurrency, cryptocurrency exchange, dapps, database, defi, eos, ethereum, european union, exchange, globalization, haskell, iohk, know your customer, mind, money laundering, proof of stake, reality, smart contracts, software development, tezos, usability, central bank, confidentiality, digital currency, digital identity, identity verification service, information sensitivity, market (economics), password, proof of work, regulatory compliance, risk assessment, transparency (behavior), charles hoskinson, cardano, vechain, crypto exchange, bitcoin protocol, diem (digital currency), ada, ada coin, blockchain protocol, c-fund, goguen, haskell coding, hoskinson, input output, multi-asset, native assets, ouroboros, shelley, voltaire, wen, byron

algorand, algorithm, blockchain, blockchain technology, chainlink, compiler, computer programming, continuous testing, cryptocurrency, dapps, debugging, defi, eos, ethereum, functional programming, haskell, iohk, java (programming language), programming language, proof of stake, reason, science, security, smart contracts, software development, tezos, formal methods, garbage collection (computer science), library (computing), memory safety, object-oriented programming, pointer (computer programming), proof of work, requirement, scientific method, software bug, software development process, top-down and bottom-up design, type system, waterfall model, charles hoskinson, cardano, vechain, bitcoin protocol, ada, ada coin, blockchain protocol, c-fund, goguen, haskell coding, hoskinson, input output, multi-asset, native assets, ouroboros, shelley, voltaire, wen, byron

algorand, bitcoin, blockchain, blockchain technology, chainlink, cryptocurrency, dapps, decentralization, defi, divorce, eos, ethereum, food, haskell, iohk, language, lightning network, proof of stake, scalability, science, simulation, smart contract, smart contracts, snapchat, software development, tezos, auction, communication protocol, conflict resolution, consensus (computer science), contract, digital signature, finite-state machine, food safety, foreign exchange market, garbage collection (computer science), inspection, proof of work, public-key cryptography, signature, universe, charles hoskinson, cardano, vechain, bitcoin protocol, ada, ada coin, blockchain protocol, c-fund, goguen, haskell coding, hoskinson, input output, multi-asset, native assets, ouroboros, shelley, voltaire, wen, byron, hydra

algorand, bitcoin, blockchain, blockchain technology, chainlink, cryptocurrency, dapps, defi, eos, ethereum, github, haskell, ico, iohk, miami, news, podcast, proof of stake, root, smart contracts, software , software development, tezos, youtube, barcelona, bulgaria, clothing, dinner, fork, georgia (u.s. state), hotel, laboratory, maize, mongolia, proof of work, tree, truth, lisbon, charles hoskinson, cardano, vechain, pawnbroker, geneva, bitcoin protocol, athens, ada, ada coin, blockchain protocol, c-fund, goguen, haskell coding, hoskinson, input output, multi-asset, native assets, ouroboros, shelley, voltaire, wen, byron, head of state, plovdiv

algorand, api, authentication, behavior, blockchain, blockchain technology, brand, chainlink, cryptocurrency, customer engagement, dapps, decentralization, defi, design, eos, ethereum, haskell, identity, integration, iohk, manufacturing, mobile app, outsourcing, point of sale, proof of stake, risk, smart contracts, software development, solidity, supply chain, tezos, counterfeit, counterfeit consumer goods, luxury goods, market (economics), packaging and labeling, pharmacy, pricing, product (business), proof of work, provenance, target corporation, toy, charles hoskinson, counterfeit medications, cardano, vechain, brand protection, bitcoin protocol, ada, ada coin, adrestia, blockchain protocol, c-fund, erc-20, goguen, haskell coding, hoskinson, input output, multi-asset, native assets, ouroboros, shelley, voltaire, wen, atala scan