STAF 2016

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

[ICMT 2016 @icmt2016]

Great job by M. Fleck to make his #ICMT16 results reproducible easily in @SHAREdemos, a few weeks after @staf2016! https://t.co/TaQ3znN1sT

[Richard Paige @richpaige]

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

[Richard Paige @richpaige]

Relevant for @staf2016 given keynotes by Czarnecki and Voget this week. https://t.co/uvJXFhhU3A

[Adolfo SBH @adolfosbh]

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

[Adolfo SBH @adolfosbh]

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

[Horacio Hoyos @HoracioHoyosR]

Help me spread the word! :) https://t.co/odCnDSUNQb

[Daniel Strüber @danstrueb]

The slides for my @ICMT2016 talk are now online. Thanks again to the organizers for an exciting conference! https://t.co/Dhwo3DcKFB

[Richard Paige @richpaige]

Kaiserschmarrn at @staf2016 cake wrap up at Cafe Central.

[Richard Paige @richpaige]

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

[Adolfo SBH @adolfosbh]

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

[Richard Paige @richpaige]

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

[Richard Paige @richpaige]

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

[Richard Paige @richpaige]

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

[Richard Paige @richpaige]

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

[Richard Paige @richpaige]

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

[STAF 2016 @staf2016]

Shocking! @grammarware kept successfully tweeting throughout his @modelsconf tutorial in 2013 :-P https://t.co/ZAO3cFc2J2

[Richard Paige @richpaige]

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

[Richard Paige @richpaige]

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

[Richard Paige @richpaige]

Flip now talks about his solution: https://t.co/oK89cnHfIG #ttc16 @staf2016

[Richard Paige @richpaige]

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