Top Tweets for #itp2019
💡@TobyCMurray & I have put up a preprint of our submission to the Journal of Functional Programming (@CUP_JFP) Special Issue on Secure Compilation, expanding on the paper I presented at #ITP2019 & covering the compilation-relevant parts of my PhD thesis: https://t.co/igfzRWSbRR
Die Spielkonsole memoreBox ermöglicht eine spielerische Prävention und Rehabilitation für Senioren. @SpielMemore #ITP2019 Mehr dazu: https://t.co/6Ikdm1XpDS
Stürze vermeiden mit Hilfe der Analyse von 3D-Bild-Gangbewegungen, das ist das Ziel von @linderade #ITP2019 Mehr dazu: https://t.co/6Ikdm1XpDS
Inkontinenzhosen, die Alarm schlagen können, stellt heute @AssistMe_io bei #ITP2019 vor. Mehr dazu: https://t.co/6Ikdm1XpDS
Digitales Kegeln im #Pflegeheim.
#RetroBrain @SpielMemore
erhält die Gedächtnisleistung von #Senioren.
@HumboldtUni evaluiert Nutzen für #Therapie und #Teilhabe.
#ITP2019 @BMG_Bund
#Pflege #eHealth
#Mobilitätsanalyse per #App stärkt #Sturzprophylaxe. #Smartphone nimmt #Gangbild auf & analysiert #Bewegungsmuster.
"Diese Lösung kommt nicht aus dem Weltraum, sie beginnt In der #Pflege., sagt Diana Heinrichs @dianatells @linderade #ITP2019
@BMG_Bund
Entlastung von Pflegekräften & bessere #Qualität der #Dokumentation mit einem sprachgesteuerten digitalen Assistenten.
Junge Unternehmen mit Lösungen für #Digitalisierung der #Altenpflege @BMG_Bund
#Pflege #eHealth #ITP2019
Heute stellen sich fünf junge Unternehmen zum Thema Digitalisierung in der Altenpflege vor. Mit dabei: #Medixflow @AssistMe_io @linderade @SpielMemore @MelaniephilipPh #ITP2019
Gleich geht´s los mit der vierten Ausgabe von „Innovation trifft Politik“ im BMG. Es wird schon fleißig aufgebaut. #ITP2019
Excited to be back at Imagine the Possibilities 2019! #itp2019
New post on the blog! #ITP2019 blog for you! Astghik Marabyan, ITP 2017 Armenia, on her first few days @britishmuseum and in Brighton for the @MuseumsAssoc conference tomorrow...
https://t.co/PA0gpJQjGW
My slides are up on the #itp2019 website: https://t.co/Y1FNZ65BeD
I'll post a video of a practice talk soon.
Well this is now published, and for those of us here at #ITP2019 Portland OR, I'll be presenting it in Wednesday morning's session. The Isabelle formalisation, along with links to the final (published) and extended version of the paper, are available here: https://t.co/7vC3beJalF
💡@TobyCMurray & I have written a paper on verifying that a compiler preserves concurrent value-dependent information-flow security, using the Isabelle theorem prover. I'll be presenting it at ITP 2019 in September. The extended version is now up on arXiv: https://t.co/u2nWkoz2S4
I will be at the Coq workshop tomorrow, and at ITP starting on Monday. Hope to see all of you there! #ITP2019
Congrats to @Emilie1Rossi from #TeamPnas @umr8612 who received today the best oral presentation award at #ITP2019
Peter Willis nicely conclude #ITP2019 showing us that electrophoresis is the most promising variant for space flight because it can be miniaturized and it is reproducible: which moon or planet will it find life traces on?
Last Seen Hashtags on Sotwe
암캐
Seen from Korea
ukchavs
Seen from United Kingdom
anxiouspanda((((()))))***** +filter:native_video
Seen from Thailand
ankaragay
Seen from Turkey
مرتك
Seen from Netherlands
SPELLINGBEECONTEST
Seen from United States
türkgay
Seen from Turkey
machine #dildo
Seen from Thailand
outdoor sục
Seen from Vietnam
mgai #minichatt
Seen from United States
Trends for you
Most Popular Users
Elon Musk 
@elonmusk
241.5M followers
Barack Obama
@barackobama
118.8M followers
Cristiano Ronaldo
@cristiano
114.5M followers
Donald J. Trump
@realdonaldtrump
111.8M followers
Narendra Modi
@narendramodi
107.1M followers
Rihanna
@rihanna
98.7M followers
NASA
@nasa
92.3M followers
Justin Bieber
@justinbieber
91.8M followers
KATY PERRY
@katyperry
90M followers
Taylor Swift
@taylorswift13
84M followers
Lady Gaga
@ladygaga
75.5M followers
Virat Kohli
@imvkohli
73.5M followers
Kim Kardashian
@kimkardashian
70.9M followers
YouTube
@youtube
68.8M followers
Neymar Jr
@neymarjr
66.5M followers
Bill Gates
@billgates
65.3M followers
Selena Gomez
@selenagomez
63.1M followers
The Ellen Show
@theellenshow
62.2M followers
CNN
@cnn
61.7M followers
X
@x
60.7M followers