Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @PerezJorgeA_
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @PerezJorgeA_
-
Prikvačeni tweet
I'm looking for visual resources (videos, animations, etc) explaining - (theoretical) computer science - software verification - formal methods to wide, non-technical audiences. Please DM any pointers! Feel free to RT.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Jorge A. Pérez proslijedio/la je Tweet
An invasion of profs from
@univgroningen at the@VERSEN_NL symposium@CWInl We came, we saw, we discussed software engineering.@PerezJorgeA_@v_andrikopoulos@tvdstormpic.twitter.com/ysOQJDVeY9
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Jorge A. Pérez proslijedio/la je Tweet
I'm looking for setting up a collaboration with researchers in
#dataprotection#law in The#Netherlands! Write me if you're interested!#cybersecurity#privacy#legal#infosec#GDPR#dataprivacypic.twitter.com/ySbNLOgj0M
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Jorge A. Pérez proslijedio/la je Tweet
Coming Friday
@versen_nl organizes the sixth Dutch national software engineering symposium. It will feature six invited talks from academia and industry, see the program http://www.sen-symposium.nl/ Join us at@cwinl!Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Jorge A. Pérez proslijedio/la je Tweet
Our report about the dire consequences of work pressure at Dutch universities is now online! Read it here
https://woinactie.blogspot.com/2020/01/ons-rapport-inventarisatie-omvang-en.html?m=1 …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Thanks to Claudio Mezzina
@ClawAnt (@uniurbit) for a short but productive visit to@univgroningen@BernoulliInsti2. Lots of discussions on extensions of our line of work on message-passing concurrency, reversible semantics & type systems.Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
The
@VERSEN_NL SEN Symposium is approaching (Jan 31)! Invited talks by@wvdaalst@v_andrikopoulos@dino_distefano@veelasha_m@alexandra8silva & Jan van Zoest -Register by Jan 22: https://sen-symposium.nl/registration/@CWInl@wouterswierstra@BernoulliInsti2@tvdstorm@jurgenvinjuHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Jorge A. Pérez proslijedio/la je Tweet
.
@univgroningen FSE TTer? Interested in networking with other TTers, machine learning, nano-electronics, education, and/ or ecology & evolution of infectious ecosystems? Come to next YSEN meeting, afternoon of 28 January! Register athttps://forms.gle/ZWTLS1J3SqcWCSfF9 …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Jorge A. Pérez proslijedio/la je Tweet
Program of the
@VERSEN_NL SEN Symposium at@CWInl is now online! https://www.sen-symposium.nl/program/ I'm looking forward to the event
. Please register here: https://www.sen-symposium.nl/registration/ With talks by @alexandra8silva@v_andrikopoulos@wvdaalst and others.#senHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
My PhD student Mauricio Cano defended today his thesis "Session-based concurrency: between operational and declarative views". https://www.rug.nl/about-us/news-and-events/events/phd-ceremonies/?hfId=119233 … Great defense, with many (tough) questions on all aspects of a thorough work.
@univgroningen@univgron_latamHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
"Universities must embrace complaints if they are to achieve diversity and inclusivity. Otherwise, recruiting top women academics through gender-equality initiatives could become an unintentional search-and-destroy mission."https://twitter.com/YAGroningen/status/1214192272889307136 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Jorge A. Pérez proslijedio/la je Tweet
Registration to the 6th Dutch national symposium on software engineering is open! SEN takes place on 31 Jan
@CWInl. Line-up:@wvdaalst, Vasilios Andrikopoulos,@dino_distefano, Veelasha Moonsamy,@alexandra8silva, Jan van Zoest http://bit.ly/2S5LcCO@jurgenvinju@tvdstormpic.twitter.com/1LjvM9xK60
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Jorge A. Pérez proslijedio/la je Tweet
Registration to the
@VERSEN_NL Dutch Symposium on Software Engineering Research, 31st of January, at@CWInl, is now open: http://www.sen-symposium.nl/registration/ Line-up is gonna be great, including@wvdaalst@alexandra8silva#pleaseRT /cc@PerezJorgeA_@wouterswierstraHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Very proud of the PhD work of my student Mauricio Cano! Mauricio's work is about session types & concurrency. He takes session types out of their "comfort zone" to specify/verify message-passing programs with declarative & reactive features.
@BernoulliInsti2@univgroningenpic.twitter.com/04OlUv663B
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
The call for "lightning talks" at the SEN Symposium is still open! Submit your one-page proposal by December 13. Details: http://sen-symposium.nl
@VERSEN_NL@wouterswierstrahttps://twitter.com/tvdstorm/status/1203986080816603137 …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Sinterklaas has passed by the Bernoulli Institute!
@BernoulliInsti2@univgroningenpic.twitter.com/SKm0GWiYxP
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
What is an effective & practical method of improving one's handwriting? Mine used to be decent (even pretty) but has worsened dramatically in the last 5-6 years - not sure what (motor) skill has degraded... Any suggestions?
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Jorge A. Pérez proslijedio/la je Tweet
http://ICT.OPEN 2020 is coming to Groningen! Save the dates (17, 18 March), and think of what to submit to the VERSEN trackhttps://www.ictopen.nl/
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Doing research in Software Engineering in NL? Join us at the SEN symposium! (Jan 31 2020) http://www.sen-symposium.nl
#sensym We'll have great invited speakers, time for networking & contributed "lightning talks" (deadline Dec 13). Share among students & colleagues!@VERSEN_NLHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Great talk by Prof Peter Mosses (Swansea & TUDelft) today at our CS colloquium
@BernoulliInsti2@univgroningen. He showed how to specify programming languages with reusable 'funcons' (fundamental constructs). Neat compositional support for actual PLs on top of Plotkin's SOS.pic.twitter.com/CSSepFAD9W
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.