STAF 2016

562 posts

STAF 2016

@staf2016

Software Technologies: Applications and Foundations (STAF) is a federation of leading conferences on software technologies. In 2016, STAF is hosted in Vienna.

Vienna, Austria Katılım Ocak 2016

207 Takip Edilen84 Takipçiler

STAF 2016 retweetledi

ICMT 2016@icmt2016·12 Ağu

Great job by M. Fleck to make his #ICMT16 results reproducible easily in @SHAREdemos, a few weeks after @staf2016! is.ieis.tue.nl/staff/pvgorp/s…

English

STAF 2016 retweetledi

Richard Paige@richpaige·9 Tem

The @UoY_CS posse survived @staf2016 and are now attempting to deal with the Transpennine Express back to York.

English

STAF 2016 retweetledi

Richard Paige@richpaige·8 Tem

Relevant for @staf2016 given keynotes by Czarnecki and Voget this week. twitter.com/mfordfuture/st…

Martin Ford@MFordFuture

Yes, this is Google's new bug-like self-driving car. The thing on top is LIDAR & can see 360 degrees all at once. twitter.com/MFordFuture/st…

English

STAF 2016 retweetledi

Adolfo SBH@adolfosbh·8 Tem

So basically, VIATRA has won all the prizes from off-line contest /cc @istvanrath

English

STAF 2016 retweetledi

Adolfo SBH@adolfosbh·8 Tem

After visiting a couple of gelaterias, I'm up again to properly do tourism in Vienna

English

STAF 2016 retweetledi

Horacio Hoyos@HoracioHoyosR·8 Tem

Help me spread the word! :) twitter.com/mofongoplatfor…

English

STAF 2016 retweetledi

Daniel Strüber@danstrueb·9 Tem

The slides for my @ICMT2016 talk are now online. Thanks again to the organizers for an exciting conference! de.slideshare.net/DanielGStrber/…

English

STAF 2016 retweetledi

Richard Paige@richpaige·8 Tem

Kaiserschmarrn at @staf2016 cake wrap up at Cafe Central.

English

STAF 2016 retweetledi

Richard Paige@richpaige·8 Tem

@staf2016 finishes up at Cafe Central for just a little bit of cake.

English

STAF 2016 retweetledi

Adolfo SBH@adolfosbh·8 Tem

I think I've ended up at the right place at Vienna #staf16

English

STAF 2016 retweetledi

Richard Paige@richpaige·8 Tem

And that's a wrap on a fantastic @staf2016 from Vienna! Thanks to the terrific local organisers for everything.

English

STAF 2016 retweetledi

Richard Paige@richpaige·8 Tem

“Implement first, prove theorems second.” #datamod16 @staf2016

English

STAF 2016 retweetledi

Richard Paige@richpaige·8 Tem

Objective/MC: a new modelling language for model checking. Cool. #datamod16 @staf2016

English

STAF 2016 retweetledi

Richard Paige@richpaige·8 Tem

This talk is modelling systems using the PRISM probabilistic model checker, which we use a lot at York. #datamod16 @staf2016

English

STAF 2016 retweetledi

Richard Paige@richpaige·8 Tem

The first talk of the session makes me feel at home: it’s about modelling! With a focus on model checking. #datamod16 @staf2016

English

STAF 2016@staf2016·8 Tem

Shocking! @grammarware kept successfully tweeting throughout his @modelsconf tutorial in 2013 :-P twitter.com/richpaige/stat…

Richard Paige@richpaige

I’m now slightly out of my element at #datamod16 at @staf2016. I won’t be tweeting from my talk.

English

STAF 2016 retweetledi

Richard Paige@richpaige·8 Tem

The #ttc16 contest winners will be announced at 1600. @staf2016

English

STAF 2016 retweetledi

Richard Paige@richpaige·8 Tem

Flip now talks about his solution: github.com/bluezio/ttc201… #ttc16 @staf2016

English

STAF 2016 retweetledi

Richard Paige@richpaige·8 Tem

Frederic: “We chose the interpreted approach because it was the slowest…” #ttc16 @staf2016

English

Keşfet

@SHAREdemos @UoY_CS @istvanrath @ICMT2016 @grammarware @modelsconf @elonmusk @BarackObama