Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @bugcounting
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @bugcounting
-
Prikvačeni tweet
Why wait until tomorrow?
@drfeldt@rtorkarhttps://twitter.com/tsigalko18/status/1103683801446842370 …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Hey
@PayPal 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.https://twitter.com/bugcounting/status/1219541732829933568 …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Hey
@AskPayPal any idea how long it will take to review the information I provided in order to lift access restriction to my (newly created) account?Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Carlo A. Furia proslijedio/la je Tweet
New deadlines for
@FormaliSEconf 2020, collocated with@ICSEconf in South Korea. Abstract submission: January 16 - Paper submission: January 23 (AoE). Please submit your best work on formal methods in software engineering! https://www.formalise.org/cfp https://twitter.com/FormaliSEconf/status/1214671176674484226 …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Carlo A. Furia proslijedio/la je Tweet
Join me! ACM members, sign a petition supporting open access, asking
@TheOfficialACM to withdraw signature from anti-OA letter and make OA available at cost. OA is good for science, and good for ACM!https://www.change.org/p/association-for-computing-machinery-acm-support-open-access …Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Carlo A. Furia proslijedio/la je Tweet
Less than a week to submit your abstract to
@FormaliSEconf https://www.formalise.org/cfp deadline for paper submission: January 16 (AoE)Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Carlo A. Furia proslijedio/la je Tweet
The Software Institute wishes you all Merry Christmas and a Happy New Year!


pic.twitter.com/eJEuSBJ6TS
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Carlo A. Furia proslijedio/la je Tweet
I studied
@TheOfficialACM’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 elsewhereHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
It'd be interesting to know why IEEE went for an alternative service instead of contributing to
@arxivhttps://twitter.com/bianculld/status/1207235512148385793 …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Carlo A. Furia proslijedio/la je Tweet
New preprint server
#TechRxiv from IEEE https://www.techrxiv.org I wonder how the software engineering research community will choose between it and@arxiv for depositing their preprints (in addition to institutional repositories...)Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
No they can't.
@SAS found the bag in Copenhagen but they want to send it only tomorrow.Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Apparently 2.5 hours of connecting time were not enough for
@SAS to transfer my bag. Let's see if they manage to send it today...Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Jean-Christophe Filliâtre opening the second day of
#ifm19@iFMconf with a presentation of recent work on verifying OCaml libraries. Everyone likes a talk with a demo!pic.twitter.com/vRsGBOLOS3
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Wytse Oortwijn walks us through an official natural language specification of a Dutch tunnel, pointing out that it uses first-order quantifiers! The
#ifm19 audience approves.@iFMconfpic.twitter.com/3lYHXoe3n9
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Carlo A. Furia proslijedio/la je Tweet
The general chair
@fm_volker opens@iFMconf with the PC chairs Lizeth Tapia and Wolfgang Ahrendtpic.twitter.com/UIuM508w62
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Andreas Griesmayer kicking off the PhD symposium of
#ifm19@iFMconf with an interesting talk about verification at@Arm About 50% of development resources are for formal verification!pic.twitter.com/hAKtMMVLIC
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Carlo A. Furia proslijedio/la je Tweet
FormaliSE 2020: Call for Papers https://www.formalise.org/cfp Submission deadline is on 16 January 2020.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Carlo A. Furia proslijedio/la je Tweet
At least, they got my age right :-)
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Carlo A. Furia proslijedio/la je Tweet
Can't wait until
@iFMconf in two weeks? Take a peek now at the full publications from our webpage http://ifm2019.hvl.no (News). Springer LNCS is ahead of their game! Authors will be happy to take questions at the conference@hvl_noHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Carlo A. Furia proslijedio/la je Tweet
We have our own YouTube channel now!
Check it out, the first videos are from the #USIHackathon we organised last weekend





https://www.youtube.com/channel/UC4Pq8i8UP71E5Zv94sg8FHg …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoniš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.