Bas Spitters

@BasspittersBs

Aarhus
cs.au.dk/~spitters/
Vrijeme pridruživanja: svibanj 2018.
0 fotografija ili videozapisa Fotografije i videozapisi

Tweetovi

Blokirali ste korisnika/cu @BasspittersBs

Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @BasspittersBs

  1. 21. sij

    Postdoc position available in blockchain technologies. Multi-party Computation to , high-assurance cryptography for blockchain deployments, and/or blockchain-assisted boardroom voting. With

    6 proslijeđenih tweetova 5 korisnika označava da im se sviđa
    Poništi
  2. 15. sij

    Good discussion on a sustainable path to open access:

    Poništi
  3. 10. sij

    I light of the ACM Open Access discussion, let me add a European perspective: Most European funders will require OA publication starting 2021!

    1 reply 1 korisnik označava da mu se sviđa
    Poništi
  4. 6. sij

    I have signed the petition to the to support open access.

    1 proslijeđeni tweet
    Poništi
  5. 1. sij

    Theory and Practice of Blockchains (20-22april) CfTalks (14Feb) Speakers: Ittay Eyal Patrick Mc Corry Georges Gonthier Mary Maller Lefteris Kokoris-Kogias Dahlia Malkhi Marko Vukolic Jens Groth Francois Garillot Kartik Nayak

    11 proslijeđenih tweetova 13 korisnika označava da im se sviđa
    Poništi
  6. 17. pro 2019.

    Synthetic topology in Homotopy Type Theory for probabilistic programming Martin E. Bidlingmaier, Florian Faissole, Bas Spitters We use synthetic topology to model continuous distributions for probabilistic computations in type theory

    6 proslijeđenih tweetova 14 korisnika označava da im se sviđa
    Poništi
  7. proslijedio/la je Tweet
    14. stu 2019.

    Job Opportunity: Concordium is seeking in both Aarhus, Denmark, and Zurich, Switzerland, to join our science team and help design our blockchain. For the full job description and information on how you can apply, see

    5 proslijeđenih tweetova 14 korisnika označava da im se sviđa
    Poništi
  8. 18. stu 2019.

    We are looking for PhD-students,postdocs,assistant,associate professors in Concordium blockchain research center at Aarhus University. Verified crypto, verified secure distributed systems, smart contracts languages, ...

    2 proslijeđena tweeta 7 korisnika označava da im se sviđa
    Poništi
  9. 13. stu 2019.

    Our execution layer for is now connected with our general framework ConCert: A Smart Contract Certification Framework in Coq Smart Contract Interactions in Coq

    2 proslijeđena tweeta 12 korisnika označava da im se sviđa
    Poništi
  10. 16. lis 2019.

    At Aarhus University and Concordium Blockchain Research Center, we have several PhD and postdoc positions available related to

    1 proslijeđeni tweet 2 korisnika označavaju da im se sviđa
    Poništi
  11. 12. lis 2019.

    Thanks for organizing the interesting workshop.

    Second talk is by Bas Spitters on "Towards a smart contract verification framework in Coq"
    1 proslijeđeni tweet 3 korisnika označavaju da im se sviđa
    Poništi
  12. proslijedio/la je Tweet
    11. lis 2019.

    Last but one talk at is by Jakob Botsch Nielsen on "Smart Contracts interactions in Coq".

    1 reply 1 proslijeđeni tweet 2 korisnika označavaju da im se sviđa
    Poništi
  13. proslijedio/la je Tweet
    13. ruj 2019.

    team is preparing for the Beta release, set to start at the end of September. If you want to join our closed beta waiting list, email us at beta@concordium.com .

    4 proslijeđena tweeta 7 korisnika označava da im se sviđa
    Poništi
  14. 25. srp 2019.

    Two new papers: with Danil Annenkov, Towards a Smart Contract Verification Framework in Coq, with Jakob Botsch Nielsen, Smart Contract Interactions in Coq,

    6 proslijeđenih tweetova 13 korisnika označava da im se sviđa
    Poništi
  15. 4. srp 2019.

    Aarhus CS is looking for assistant and associate professors. Please contact me if you want to know more. Positions at other levels may also be available.

    1 proslijeđeni tweet 3 korisnika označavaju da im se sviđa
    Poništi
  16. proslijedio/la je Tweet
    24. lip 2019.

    's PhD thesis! Egbert Rijke, "Classifying Types"

    1 reply 4 proslijeđena tweeta 13 korisnika označava da im se sviđa
    Poništi
  17. proslijedio/la je Tweet
    19. lip 2019.

    On Tue 25/6 Prof. Ueli Maurer of ETH will visit the "Concordium Blockchain Research Centre Aarhus" and give a lecture on "Constructive Cryptography"

    1 reply 1 proslijeđeni tweet 4 korisnika označavaju da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  18. 17. lip 2019.

    Most of this book has been verified in agda!

    Course/textbook by on
    1 proslijeđeni tweet 15 korisnika označava da im se sviđa
    Poništi
  19. proslijedio/la je Tweet
    12. lip 2019.

    Together with Mike Shulman's recent proof of ∞-topos semantics a proof of homotopy canonicity (see e.g. Sec. 13 in ) would be the second major foundational problem in homotopy type theory solved recently.

    Christian Sattler announces a proof of homotopy canonicity with Chris Kapulkin!
    Prikaži ovu nit
    1 reply 7 proslijeđenih tweetova 24 korisnika označavaju da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  20. proslijedio/la je Tweet
    7. lip 2019.

    'Copenhagen Fintech Week: Fintech Symposium on AI & Blockchain' 17th June at (sessions include , , )

    6 proslijeđenih tweetova 5 korisnika označava da im se sviđa
    Poništi

@BasspittersBs još nije objavio nijedan Tweet.

Čini se da učitavanje traje već neko vrijeme.

Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.

    Možda bi vam se svidjelo i ovo:

    ·