Relevant for STAF 2016 given keynotes by Czarnecki and Voget this week. x.com/mfordfuture/st…

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

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

The #ttc16 contest winners will be announced at 1600. STAF 2016

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

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

Objective/MC: a new modelling language for model checking. Cool. #datamod16 STAF 2016

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

“Implement first, prove theorems second.” #datamod16 STAF 2016

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

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

Shocking! Vadim Zaytsev kept successfully tweeting throughout his MODELS Conference tutorial in 2013 :-P x.com/richpaige/stat…

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

STAF 2016 finishes up at Cafe Central for just a little bit of cake.

Kaiserschmarrn at STAF 2016 cake wrap up at Cafe Central.

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

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

The UoY Computer Science posse survived STAF 2016 and are now attempting to deal with the Transpennine Express back to York.

Great job by M. Fleck to make his #ICMT16 results reproducible easily in Pieter Van Gorp, a few weeks after STAF 2016! is.ieis.tue.nl/staff/pvgorp/s…