Beeindruckende Porträts. Aber 13 Männer und 2 Frauen ... seriously, habt ihr nicht mehr Heldinnen gefunden, brand eins?

Happy and honored to work with Sarah and Paolo Felli, pushing the boundaries of verification for data-aware processes: The paper “Linear-Time Verification of Data-Aware Dynamic Systems with Arithmetic” has been accepted AAAI #AAAI2022

interessante Analyse der #TT zur Bedeutung der Stichwahl für die ÖVP #ibk12 ots.at/presseaussendu…

In den 5 Eckpunkten von FI und Grünen kommt OpenData für Innsbruck vor. Cool! #ibk12 grueneinnsbruck.at/2012/04/26/arb…

♻ Wolfgang Gassler Astrid NAils interessant: tgr.ph/JHrkvj

♻ Christoph Wild die Twitter-Forscher am Institut sind anderer Meinung ;) Astrid NAils: Sarah Wolfgang Gassler what about dl.acm.org/citation.cfm?i… ?

#piraten rekurrieren in Urheberrechtsdebatte auf die Theorie vom Tod des Subjekts, argumentiert Assheuer in der #zeit zeit.de/2012/19/Intern…

hab mich gerade angemeldet: Open Source Day am Freitag in #ibk (mit eva_lichtenberger) opensourceday.at

Warum der 8. Mai Nationalfeiertag sein sollte. Und nicht der 26.10. schreuder.at/2010/10/25/war…

#Twitter hacked? 35Thousands of passwords posted on file sharing site zite.to/K1gWMy #privacy

Vorratsdatenspeicherung widerspricht Verfassung bit.ly/Jd6uDD

Was speichert Twitter über mich? Ein Selbstversuch: bit.ly/J2SzDh

... und eva_lichtenberger! RT Josef Kruckenberg (he/him) 2te open source day innsbruck keynote von Andreas Bogk, CCC Berlin opensourceday.at

regen in tokyo. von wegen land der aufgehenden sonne.

warum gibt es in #innsbruck immer noch keinen live-stream von gemeinderatssitzungen....? #ibk12

$ touch thesis.tex #historicmoment

♻ nice paranoia: ubiquituous maps mapping us RT Marco Schreuder 🐦: How Google and Apple's digital mapping is mapping us gu.com/p/3a329

ZEIT thematisiert österreichische Lügen aus Staatsräson - leider immer noch, immer wieder aktuell: zeit.de/2012/36/A-Verg…

RT Rosa Lyon für alle, die noch mehr von Joseph Stiglitz hören und sehen wollen: heute 21 Uhr, Ö1 'Im Gespräch'. Ebenfalls heute 22.30 ORF 3

Leben wir nicht auf Kosten anderer: der hochinteressante Harald Welzer jetzt Im Gespräch #Ö1 oe1.orf.at/programm/339360