thegirlwhohadwanderlust.wordpress.com
Small Spaces, Big Hearts – The Girl Who Had Wanderlust
https://thegirlwhohadwanderlust.wordpress.com/2015/08/09/small-spaces-big-hearts
The Girl Who Had Wanderlust. Small Spaces, Big Hearts. August 9, 2015. August 23, 2016. Is housed in a beautiful old historical building in Stellenbosch, and though it is housed under one roof, there are a variety of different food and drink options available. Set out like a market, with separate little stalls you can travel around and piece together a meal as small or as big as you like. Whether you want to just grab a coffee from the friendly, and funny baristas at the Deluxe Coffeeworks. You can share...
spin2015.org
SPIN 2015
http://www.spin2015.org/programme
Day 1: Monday 24 August 2015. CBMC: Bounded Model Checking of Concurrent C Programs. Opening reception at De Warenmarkt. C/o Plein and Ryneveld). Day 2: Tuesday 25 August 2015. String Analysis for Vulnerability Detection and Repair. Session 1: Abstraction, Refinement, Translation. ASTRA: A tool for abstract interpretation of graph transformation systems. Beyer, Löwe, Wendler:. From Helena Ensemble Specifications to Promela Verification Models. Session 2: Büchi Automata and Hashing. Beyer, Löwe, Wendler:.
SOCIAL ENGAGEMENT