Tweetovi

Blokirali ste korisnika/cu @chritcu

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

  1. 3. velj

    Teaching F* at a spring school for Italian PhD students in March:

    Poništi
  2. 1. velj

    Why learn functional programming?

    Poništi
  3. 27. sij

    The CPP 2020 talk recordings are now also directly linked from our program:

    Prikaži ovu nit
    Poništi
  4. 27. sij

    Just returned from and the CPP and PriSC talk recordings are already available online. Benjamin Chung and the other volunteers did an amazing job at recording the talks! The main conference coming soon too?

    Prikaži ovu nit
    Poništi
  5. 17. sij

    I see that is back to 2001 this year? This and the 1700 character limit on abstracts.

    Poništi
  6. 6. sij

    Happy to announce that this spring I'll be joining the new Max Planck Institute for Security and Privacy (). The institute has more positions to fill though, so if you're looking for an internationally-oriented place with great research conditions: apply!

    Poništi
  7. 27. stu 2019.

    We've just sent out the CPP 2020 notifications and made the list of accepted papers immediately available. Now time for some rest!

    Poništi
  8. 21. stu 2019.

    Our framework for relational program logics for arbitrary effects will be presented at POPL'20. We showed it works for state, recursion, IO, nondeterminism, discrete probabilities, exceptions, and some combinations. What other logics can *you* use it for?

    Poništi
  9. 7. lis 2019.

    CPP 2020 abstract submission deadline coming up on October 16. Send in your certified programs and proofs!

    Poništi
  10. 1. lis 2019.

    The Computer Security Foundations Symposium ( ) is changing to 3 deadlines per year, and the next one is this Friday already (4 October).

    Poništi
  11. 22. ruj 2019.
    Poništi
  12. 20. ruj 2019.
    Poništi
  13. 4. ruj 2019.

    Last week I taught the first half of the Logical Foundations book to a 50+ crowd of young and curious CS and Math students at the summer school in Lyon. The videos will also be available, but for now here are my other materials:

    Poništi
  14. 4. ruj 2019.

    Submit by 16 October 2019 to CPP 2020, the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs:

    Poništi
  15. 9. kol 2019.

    The 9th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP 2020) is looking for sponsors:

    Poništi
  16. 28. srp 2019.
    Poništi
  17. 13. srp 2019.

    And if you want to get their free unlimited hosting plan for open source projects () send an email to support@zulipchat.com once you created your organization

    Prikaži ovu nit
    Poništi
  18. 13. srp 2019.

    If you're switching from Slack, remember that at this point you can only import your conversation history when creating the Zulip organization, but not later

    Prikaži ovu nit
    Poništi
  19. 13. srp 2019.

    Switching my chatting to to escape the trap. Zulip is open source and provides free unlimited hosting plan for open source projects. The conversation model is better, enforcing the use of threads. Already used by , Lean, and now

    Prikaži ovu nit
    Poništi
  20. 2. srp 2019.
    Poništi

Č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:

    ·