Carlo A. Furia

@bugcounting

Associate professor in computer science at USI (Università della Svizzera Italiana)

Vrijeme pridruživanja: studeni 2014.

Tweetovi

Blokirali ste korisnika/cu @bugcounting

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

  1. Prikvačeni tweet
    7. ožu 2019.
    Poništi
  2. 24. sij

    Hey a few days have passed but my account is still restricted with no information about how or when (or if!) it can be turned into a functioning one.

    Poništi
  3. 21. sij

    Hey any idea how long it will take to review the information I provided in order to lift access restriction to my (newly created) account?

    Poništi
  4. proslijedio/la je Tweet
    8. sij

    New deadlines for 2020, collocated with in South Korea. Abstract submission: January 16 - Paper submission: January 23 (AoE). Please submit your best work on formal methods in software engineering!

    Poništi
  5. proslijedio/la je Tweet
    5. sij

    Join me! ACM members, sign a petition supporting open access, asking to withdraw signature from anti-OA letter and make OA available at cost. OA is good for science, and good for ACM!

    Prikaži ovu nit
    Poništi
  6. proslijedio/la je Tweet
    3. sij

    Less than a week to submit your abstract to deadline for paper submission: January 16 (AoE)

    Poništi
  7. proslijedio/la je Tweet
    25. pro 2019.

    The Software Institute wishes you all Merry Christmas and a Happy New Year! 🎄🎅🎁

    Poništi
  8. proslijedio/la je Tweet
    21. pro 2019.
    Odgovor korisnicima i sljedećem broju korisnika:

    I studied ’s finances a few years ago, when I was Treasurer of SIGPLAN. As far as I can tell, the ACM DL paywall is a small business whose revenue serves entirely to pay the staff who works for it — sales and support ppl. Very little of it flows elsewhere

    Poništi
  9. 18. pro 2019.

    It'd be interesting to know why IEEE went for an alternative service instead of contributing to

    Poništi
  10. proslijedio/la je Tweet
    18. pro 2019.

    New preprint server from IEEE I wonder how the software engineering research community will choose between it and for depositing their preprints (in addition to institutional repositories...)

    Poništi
  11. 7. pro 2019.

    No they can't. found the bag in Copenhagen but they want to send it only tomorrow.

    Prikaži ovu nit
    Poništi
  12. 7. pro 2019.

    Apparently 2.5 hours of connecting time were not enough for to transfer my bag. Let's see if they manage to send it today...

    Prikaži ovu nit
    Poništi
  13. 5. pro 2019.

    Jean-Christophe Filliâtre opening the second day of with a presentation of recent work on verifying OCaml libraries. Everyone likes a talk with a demo!

    Poništi
  14. 4. pro 2019.

    Wytse Oortwijn walks us through an official natural language specification of a Dutch tunnel, pointing out that it uses first-order quantifiers! The audience approves.

    Poništi
  15. proslijedio/la je Tweet
    3. pro 2019.

    The general chair opens with the PC chairs Lizeth Tapia and Wolfgang Ahrendt

    Poništi
  16. 3. pro 2019.

    Andreas Griesmayer kicking off the PhD symposium of with an interesting talk about verification at About 50% of development resources are for formal verification!

    Poništi
  17. proslijedio/la je Tweet
    28. stu 2019.

    FormaliSE 2020: Call for Papers Submission deadline is on 16 January 2020.

    Poništi
  18. proslijedio/la je Tweet
    21. stu 2019.
    Odgovor korisniku/ci

    At least, they got my age right :-)

    Poništi
  19. proslijedio/la je Tweet
    20. stu 2019.

    Can't wait until in two weeks? Take a peek now at the full publications from our webpage (News). Springer LNCS is ahead of their game! Authors will be happy to take questions at the conference

    Poništi
  20. proslijedio/la je Tweet
    19. stu 2019.

    We have our own YouTube channel now! 😎 Check it out, the first videos are from the we organised last weekend 💪🖥️🙌🥧👏🌧️✌️

    Poništi
  21. 18. stu 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:

    ·